//]]>
Logic-Based Program Synthesis and Transformation by Vidal, Germán. Publication: . X, 254 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Collective Intelligence VII by Nguyen, Ngoc Thanh. Publication: . XI, 237 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
RoboCup 2011: Robot Soccer World Cup XV by Röfer, Thomas. Publication: . XXV, 600 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Multi-Agent Systems by Dennis, Louise. Publication: . XII, 217 p. 33 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Engineering by Brambilla, Marco. Publication: . XVII, 505p. 177 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Verification by Madhusudan, P. Publication: . XVI, 789p. 192 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning by Gramlich, Bernhard. Publication: . XIV, 568p. 90 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Image and Signal Processing by Elmoataz, Abderrahim. Publication: . XIX, 609p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Information Systems Engineering by Ralyté, Jolita. Publication: . XVII, 704p. 235 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Persuasive Technology. Design for Health and Safety by Bang, Magnus. Publication: . Approx. 295 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Impact Analysis of Solutions for Chronic Disease Prevention and Management by Donnelly, Mark. Publication: . XIII, 297p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Correct Reasoning by Erdem, Esra. Publication: . XI, 594p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Concept Analysis by Domenach, Florent. Publication: . XII, 309 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Design Science Research in Information Systems. Advances in Theory and Practice by Peffers, Ken. Publication: . XI, 439p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Logic Programming by Schrijvers, Tom. Publication: . X, 333 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programs, Norms and Action by Artikis, Alexander. Publication: . XX, 425 p. 36 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Collective Intelligence VI by Nguyen, Ngoc Thanh. Publication: . XII, 224 p. 67 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Games, Actions and Social Software by Eijck, Jan. Publication: . XIV, 214 p. 15 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Declarative Agent Languages and Technologies IX by Sakama, Chiaki. Publication: . XII, 153 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Multi-Agent Systems by Collier, Rem. Publication: . XI, 159 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart