|
|
Logic Programs, Norms and Action
by Artikis, Alexander.
Publication:
. XX, 425 p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Collective Intelligence VI
by Nguyen, Ngoc Thanh.
Publication:
. XII, 224 p. 67 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Games, Actions and Social Software
by Eijck, Jan.
Publication:
. XIV, 214 p. 15 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Declarative Agent Languages and Technologies IX
by Sakama, Chiaki.
Publication:
. XII, 153 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Multi-Agent Systems
by Collier, Rem.
Publication:
. XI, 159 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Flanagan, Cormac.
Publication:
. XIX, 560 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Software Science and Computational Structures
by Birkedal, Lars.
Publication:
. XVII, 484 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by Bjørner, Nikolaj.
Publication:
. XI, 446 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Science XV
by Gavrilova, Marina L.
Publication:
. XIII, 217 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multi-Agent-Based Simulation XII
by Villatoro, Daniel.
Publication:
. IX, 127 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modelling and Its Theoretical Foundations
by Düsterhöft, Antje.
Publication:
. VIII, 329 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Building a National Distributed e-Infrastructure–PL-Grid
by Bubak, Marian.
Publication:
. XII, 354 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Grid and Pervasive Computing Workshops
by Rautiainen, Mika.
Publication:
. Approx. 195 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Engineering and Management
by Kannan, Rajkumar.
Publication:
. Approx. 355 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verified Software: Theories, Tools, Experiments
by Joshi, Rajeev.
Publication:
. XI, 326p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Practical Aspects of Declarative Languages
by Russo, Claudio.
Publication:
. Approx. 315 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Future Generation Information Technology
by Kim, Tai-hoon.
Publication:
. XIV, 424p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles and Practice of Multi-Agent Systems
by Desai, Nirmit.
Publication:
. XV, 650p. 247 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles of Distributed Systems
by Fernàndez Anta, Antonio.
Publication:
. XIII, 564 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges
by Hummel, Karin Anna.
Publication:
. XII, 255 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|