//]]>
Algorithms and Complexity by Spirakis, Paul G. Publication: . XIV, 384 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Services and Formal Methods by Beek, Maurice H. Publication: . X, 151 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Infocomm Technology by Guyot, Vincent. Publication: . XVI, 358 p. 153 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph-Based Representations in Pattern Recognition by Kropatsch, Walter G. Publication: . XII, 255 p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model-Based Methodologies for Pervasive and Embedded Software by Machado, Ricardo J. Publication: . X, 139 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Albert, Elvira. Publication: . X, 245 p. 36 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems by Gomes, Carla. Publication: . XII, 403 p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky by Coecke, Bob. Publication: . XX, 363 p. 26 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Petri Nets and Other Models of Concurrency VII by Jensen, Kurt. Publication: . XVI, 423 p. 250 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Brat, Guillaume. Publication: . XXIV, 486 p. 164 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Augmented Environments for Computer-Assisted Interventions by Linte, Cristian A. Publication: . XII, 179 p. 120 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Future Internet by Galis, Alex. Publication: . XLIV, 369 p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Clinical Image-Based Procedures. From Planning to Intervention by Drechsler, Klaus. Publication: . X, 132 p. 59 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances on Practical Applications of Agents and Multi-Agent Systems by Demazeau, Yves. Publication: . XIV, 330 p. 132 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multiple Classifier Systems by Zhou, Zhi-Hua. Publication: . XI, 400 p. 106 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Bioinformatics Research and Applications by Cai, Zhipeng. Publication: . XIV, 312 p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Security Practice and Experience by Deng, Robert H. Publication: . XIV, 388 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Smart Grid Security by Cuellar, Jorge. Publication: . VIII, 151 p. 39 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Grid and Pervasive Computing by Park, James J. (Jong Hyuk). Publication: . XXXIV, 956 p. 483 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Approximation and Online Algorithms by Erlebach, Thomas. Publication: . XII, 299 p. 39 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart