Critical U.S. Policy Choices / Iran�s Nuclear Future :
By: Material type: TextPublication details: RAND Corporation,; 2011ISBN:- 9780833051752
- 978-0-8330-5308-4
No physical items for this record
-
41
Modelling Foundations and Applications
-
42
Software Architecture
-
43
ECOOP 2013 – Object-Oriented Programming
-
44
Model Checking Software
-
45
Structured Object-Oriented Formal Language and Method
-
46
Hardware and Software: Verification and Testing
-
47
Search Based Software Engineering
-
48
Multicore Software Engineering, Performance, and Tools
-
49
Software Engineering and Formal Methods
-
50
Computational Logic in Multi-Agent Systems
-
51
Runtime Verification
-
52
Programming Languages
-
53
Reachability Problems
-
54
Formal Methods and Software Engineering
-
55
Model-Driven Engineering Languages and Systems
-
56
Constraint Solving and Language Processing
-
57
Implementation and Application of Functional Languages
-
58
Testing Software and Systems
-
59
Ada 2012 Rationale
by Barnes, John. -
60
Logic for Programming, Artificial Intelligence, and Reasoning
There are no comments on this title.