//]]>
Runtime Verification by Khurshid, Sarfraz. Publication: . XII, 458 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Large-Scale Scientific Computing by Lirkov, Ivan. Publication: . XIV, 681 p. 147 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems by Beldiceanu, Nicolas. Publication: . XI, 409p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Public Key Infrastructures, Services and Applications by Petkova-Nikova, Svetla. Publication: . X, 209 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2011: Parallel Processing Workshops by Alexander, Michael. Publication: . XXX, 480 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2011: Parallel Processing Workshops by Alexander, Michael. Publication: . XXIX, 524p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Perspectives of Systems Informatics by Clarke, Edmund. Publication: . XIV, 411 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management by Snoeyink, Jack. Publication: . XVII, 370 p. 77 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Research in Computational Molecular Biology by Chor, Benny. Publication: . XVI, 372p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reversible Computation by Vos, Alexis. Publication: . IX, 123p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Program Semantics by Constable, Robert L. Publication: . XIII, 357 p. 45 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Structures for Knowledge Representation and Reasoning by Croitoru, Madalina. Publication: . VII, 209 p. 77 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Swarm and Evolutionary Computation by Rutkowski, Leszek. Publication: . X, 440 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
LATIN 2012: Theoretical Informatics by Fernández-Baca, David. Publication: . XVII, 669 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Computing, Networking and Security by Thilagam, P. Santhi. Publication: . XVII, 641 p. 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
Evolutionary Computation in Combinatorial Optimization by Hao, Jin-Kao. Publication: . XII, 264p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Approximation and Online Algorithms by Solis-Oba, Roberto. Publication: . X, 278 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Petri Nets and Other Models of Concurrency V by Jensen, Kurt. Publication: . XVII, 293 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics by Giacobini, Mario. Publication: . XIII, 255p. 76 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart