//]]>
Evolutionary and Biologically Inspired Music, Sound, Art and Design by Machado, Penousal. Publication: . XII, 236p. 87 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Genetic Programming by Moraglio, Alberto. Publication: . XII, 279p. 91 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Multi-Agent Systems by Collier, Rem. Publication: . XI, 159 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Goodloe, Alwyn E. Publication: . XII, 466p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamental Approaches to Software Engineering by Lara, Juan. Publication: . Approx. 535 p. 168 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Seidl, Helmut. Publication: . XV, 602 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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
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
Compiler Construction by O’Boyle, Michael. Publication: . XVI, 245 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance by Schmitt, Jens B. Publication: . XIII, 331p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reconfigurable Computing: Architectures, Tools and Applications by Choy, Oliver C. S. Publication: . XIV, 386p. 24 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Wireless Sensor Networks by Picco, Gian Pietro. Publication: . XII, 261p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Software Engineering Techniques by Szmuc, Tomasz. Publication: . Approx. 275 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Kuncak, Viktor. Publication: . X, 457p. 111 illus. 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
Formal Aspects of Component Software by Barbosa, Luís Soares. Publication: . X, 305 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Swarm, Evolutionary, and Memetic Computing by Panigrahi, Bijaya Ketan. Publication: . XXII, 332p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Swarm, Evolutionary, and Memetic Computing by Panigrahi, Bijaya Ketan. Publication: . XXII, 754 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing and Networking by Bononi, Luciano. Publication: . XIV, 550p. 196 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية