//]]>
Certified Programs and Proofs by Gonthier, Georges. Publication: . XII, 309 p. 44 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
AI*IA 2013: Advances in Artificial Intelligence by Baldoni, Matteo. Publication: . XVIII, 540 p. 128 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Social Informatics by Jatowt, Adam. Publication: . XVI, 494 p. 168 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Fuzzy Logic and Applications by Masulli, Francesco. Publication: . XII, 249 p. 67 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction by Urzaiz, Gabriel. Publication: . XVI, 401 p. 166 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Advances in Computer Entertainment by Reidsma, Dennis. Publication: . XXVI, 668 p. 284 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Ambient Assisted Living and Active Aging by Nugent, Christopher. Publication: . XIV, 137 p. 44 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Hardware and Software: Verification and Testing by Bertacco, Valeria. Publication: . XX, 366 p. 147 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Advances in Visual Informatics by Zaman, Halimah Badioze. Publication: . XX, 799 p. 371 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Advanced Concepts for Intelligent Vision Systems by Blanc-Talon, Jacques. Publication: . XVI, 717 p. 333 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Interactive Storytelling by Koenitz, Hartmut. Publication: . XII, 288 p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Brain and Health Informatics by Imamura, Kazayuki. Publication: . XVIII, 539 p. 222 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Active Media Technology by Yoshida, Tetsuya. Publication: . XVIII, 434 p. 217 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Human Behavior Understanding by Salah, Albert Ali. Publication: . XII, 259 p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Social Robotics by Herrmann, Guido. Publication: . XVIII, 594 p. 236 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Software Language Engineering by Erwig, Martin. Publication: . XII, 385 p. 156 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Machine Learning in Medical Imaging by Wu, Guorong. Publication: . XII, 262 p. 94 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Multimodal Brain Image Analysis by Shen, Li. Publication: . XII, 260 p. 110 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
Speech and Computer by Železný, Miloš. Publication: . XVI, 368 p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor
DNA Computing and Molecular Programming by Soloveichik, David. Publication: . XII, 205 p. 73 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
See Baker & Taylor