//]]>
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
Towards a Service-Based Internet by Nitto, Elisabetta. Publication: . XIV, 240p. 84 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Central European Functional Programming School by Horváth, Zoltán. Publication: . IX, 391p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing and Networking by Aguilera, Marcos K. Publication: . XVII, 420p. 136 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Swarm, Evolutionary, and Memetic Computing by Panigrahi, Bijaya Ketan. Publication: . XVIII, 755p. 214 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic for Programming, Artificial Intelligence, and Reasoning by Clarke, Edmund M. Publication: . X, 517p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Transformations and Model-Driven Engineering by Engels, Gregor. Publication: . XIV, 768p. 328 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Architecting Dependable Systems VII by Casimiro, Antonio. Publication: . XII, 324p. 101 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Ueda, Kazunori. Publication: . X, 440p. 48 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Boer, Frank S. Publication: . X, 339p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
On the Move to Meaningful Internet Systems: OTM 2010 Workshops by Meersman, Robert. Publication: . XXIX, 711p. 240 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Dong, Jin Song. Publication: . XIV, 712p. 202 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modelling Autonomic Communication Environments by Brennan, Rob. Publication: . X, 125p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming by Qin, Shengchao. Publication: . VIII, 310p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Barringer, Howard. Publication: . XIII, 492p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing Software and Systems by Petrenko, Alexandre. Publication: . XII, 267p. 76 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية