//]]>
Frontiers of Combining Systems by Fontaine, Pascal. Publication: . XII, 359 p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Intelligent Robotics and Applications by Lee, Jangmyung. Publication: . XXVIII, 755 p. 513 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Intelligent Robotics and Applications by Lee, Jangmyung. Publication: . XXVIII, 743 p. 517 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction in Geometry by Ida, Tetsuo. Publication: . X, 193 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Leite, João. Publication: . XXIV, 391 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorics on Words by Karhumäki, Juhani. Publication: . X, 263 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programming and Nonmonotonic Reasoning by Cabalar, Pedro. Publication: . XVIII, 570 p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning with Analytic Tableaux and Related Methods by Galmiche, Didier. Publication: . X, 289 p. 34 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Computer Interaction – INTERACT 2013 by Kotzé, Paula. Publication: . XXXIV, 795 p. 222 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Computer Interaction – INTERACT 2013 by Kotzé, Paula. Publication: . LII, 813 p. 312 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Computer Interaction – INTERACT 2013 by Kotzé, Paula. Publication: . XXX, 791 p. 260 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Computer Interaction – INTERACT 2013 by Kotzé, Paula. Publication: . XXX, 797 p. 262 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Personal Web by Chignell, Mark. Publication: . XIV, 221 p. 97 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agent-Oriented Software Engineering XIII by Müller, Jörg P. Publication: . X, 197 p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming and Formal Engineering Methods by Liu, Zhiming. Publication: . XII, 283 p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical Aspects of Computing – ICTAC 2013 by Liu, Zhiming. Publication: . XII, 445 p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Blazy, Sandrine. Publication: . XII, 498 p. 73 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory, Practice, and Applications of Rules on the Web by Morgenstern, Leora. Publication: . XVIII, 249 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Biere, Armin. Publication: . XII, 281 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Artificial General Intelligence by Kühnberger, Kai-Uwe. Publication: . XII, 207 p. 39 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart