//]]>
Artificial Intelligence and Computational Intelligence by Deng, Hepu. Publication: . XVIII, 718 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Artificial Intelligence and Computational Intelligence by Deng, Hepu. Publication: . XXXIII, 686 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Computer Interaction – INTERACT 2011 by Campos, Pedro. Publication: . LV, 670 p. 115 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Computer Interaction – INTERACT 2011 by Campos, Pedro. Publication: . XXX, 702 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Computer Interaction – INTERACT 2011 by Campos, Pedro. Publication: . XXXVII, 758 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Computer Interaction – INTERACT 2011 by Campos, Pedro. Publication: . XXIX, 706 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ubiquitous Intelligence and Computing by Hsu, Ching-Hsien. Publication: . XVI, 592 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
CONCUR 2011 – Concurrency Theory by Katoen, Joost-Pieter. Publication: . XIV, 560p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Holonic and Multi-Agent Systems for Manufacturing by Mařík, Vladimír. Publication: . XIII, 267 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Data Management in Grid and Peer-to-Peer Systems by Hameurlain, Abdelkader. Publication: . X, 135 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Eekelen, Marko. Publication: . XI, 383 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Towards a Service-Based Internet. ServiceWave 2010 Workshops by Cezon, Michel. Publication: . XXIX, 209 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agent-Oriented Software Engineering XI by Weyns, Danny. Publication: . X, 249 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Hybrid Deliberative Layer for Robotic Agents by Hartanto, Ronny. Publication: . XXII, 215 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rule-Based Reasoning, Programming, and Applications by Bassiliades, Nick. Publication: . XIII, 385 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction – CADE-23 by Bjørner, Nikolaj. Publication: . XIII, 508 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Leite, João. Publication: . XV, 383 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning with Analytic Tableaux and Related Methods by Brünnler, Kai. Publication: . VIII, 279p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Verification by Gopalakrishnan, Ganesh. Publication: . XV, 763p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Virtual and Mixed Reality - Systems and Applications by Shumaker, Randall. Publication: . XXVII, 436p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart