|
|
Computational Logic in Multi-Agent Systems
by Fisher, Michael.
Publication:
. Approx. 230 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
PRIMA 2012: Principles and Practice of Multi-Agent Systems
by Rahwan, Iyad.
Publication:
. XII, 243 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rules on the Web: Research and Applications
by Bikakis, Antonis.
Publication:
. XV, 325 p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Beringer, Lennart.
Publication:
. XI, 419 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agents for Educational Games and Simulations
by Beer, Martin.
Publication:
. X, 195 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Vidal, Germán.
Publication:
. X, 254 p. 61 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Collective Intelligence VII
by Nguyen, Ngoc Thanh.
Publication:
. XI, 237 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
RoboCup 2011: Robot Soccer World Cup XV
by Röfer, Thomas.
Publication:
. XXV, 600 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Multi-Agent Systems
by Dennis, Louise.
Publication:
. XII, 217 p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Engineering
by Brambilla, Marco.
Publication:
. XVII, 505p. 177 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Madhusudan, P.
Publication:
. XVI, 789p. 192 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning
by Gramlich, Bernhard.
Publication:
. XIV, 568p. 90 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Image and Signal Processing
by Elmoataz, Abderrahim.
Publication:
. XIX, 609p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Information Systems Engineering
by Ralyté, Jolita.
Publication:
. XVII, 704p. 235 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Persuasive Technology. Design for Health and Safety
by Bang, Magnus.
Publication:
. Approx. 295 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Impact Analysis of Solutions for Chronic Disease Prevention and Management
by Donnelly, Mark.
Publication:
. XIII, 297p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Correct Reasoning
by Erdem, Esra.
Publication:
. XI, 594p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Domenach, Florent.
Publication:
. XII, 309 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Design Science Research in Information Systems. Advances in Theory and Practice
by Peffers, Ken.
Publication:
. XI, 439p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Logic Programming
by Schrijvers, Tom.
Publication:
. X, 333 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|