//]]>
Unhighlight Highlight
Declarative Agent Languages and Technologies VIII by Omicini, Andrea. Publication: . X, 205 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Checking and Artificial Intelligence by Meyden, Ron. Publication: . XI, 131 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Alpuente, María. Publication: . X, 249 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Bobaru, Mihaela. Publication: . XIV, 534 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and Algorithms for the Construction and Analysis of Systems by Abdulla, Parosh Aziz. Publication: . XVI, 394p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods: Foundations and Applications by Davies, Jim. Publication: . VIII, 291 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamental Approaches to Software Engineering by Giannakopoulou, Dimitra. Publication: . XIII, 464p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Software Science and Computational Structures by Hofmann, Martin. Publication: . XV, 473 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Barthe, Gilles. Publication: . XIV, 501p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Barner, Sharon. Publication: . X, 197p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Language Engineering by Malloy, Brian. Publication: . XI, 417 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Namjoshi, Kedar. Publication: . X, 169 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agent-Oriented Software Engineering X by Gleizes, Marie-Pierre. Publication: . XII, 229p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing and Internet Technology by Natarajan, Raja. Publication: . XIII, 325p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Practical Aspects of Declarative Languages by Rocha, Ricardo. Publication: . VIII, 265p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Jhala, Ranjit. Publication: . XI, 419p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Verification of Object-Oriented Software by Beckert, Bernhard. Publication: . X, 199p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generative and Transformational Techniques in Software Engineering III by Fernandes, João M. Publication: . X, 499 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic Methodology and Software Technology by Johnson, Michael. Publication: . X, 238p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation by Leuken, René. Publication: . XII, 260p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Next >>
Languages: 
English |
العربية