//]]>
Unhighlight Highlight
Tools and Algorithms for the Construction and Analysis of Systems by Flanagan, Cormac. Publication: . XIX, 560 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Software Science and Computational Structures by Birkedal, Lars. Publication: . XVII, 484 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic for Programming, Artificial Intelligence, and Reasoning by Bjørner, Nikolaj. Publication: . XI, 446 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Science XV by Gavrilova, Marina L. Publication: . XIII, 217 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multi-Agent-Based Simulation XII by Villatoro, Daniel. Publication: . IX, 127 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Conceptual Modelling and Its Theoretical Foundations by Düsterhöft, Antje. Publication: . VIII, 329 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Building a National Distributed e-Infrastructure–PL-Grid by Bubak, Marian. Publication: . XII, 354 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Grid and Pervasive Computing Workshops by Rautiainen, Mika. Publication: . Approx. 195 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Data Engineering and Management by Kannan, Rajkumar. Publication: . Approx. 355 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verified Software: Theories, Tools, Experiments by Joshi, Rajeev. Publication: . XI, 326p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Practical Aspects of Declarative Languages by Russo, Claudio. Publication: . Approx. 315 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Systems Theory – EUROCAST 2011 by Moreno-Díaz, Roberto. Publication: . 637p. 276 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Systems Theory – EUROCAST 2011 by Moreno-Díaz, Roberto. Publication: . XXV, 637 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Future Generation Information Technology by Kim, Tai-hoon. Publication: . XIV, 424p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles and Practice of Multi-Agent Systems by Desai, Nirmit. Publication: . XV, 650p. 247 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles of Distributed Systems by Fernàndez Anta, Antonio. Publication: . XIII, 564 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges by Hummel, Karin Anna. Publication: . XII, 255 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Social Robotics by Mutlu, Bilge. Publication: . XV, 237p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Certified Programs and Proofs by Jouannaud, Jean-Pierre. Publication: . XV, 401p. 87 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ambient Intelligence by Keyson, David V. Publication: . XVI, 383 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 Next >>