|
|
Interactive Theorem Proving
by Eekelen, Marko.
Publication:
. XI, 383 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Towards a Service-Based Internet. ServiceWave 2010 Workshops
by Cezon, Michel.
Publication:
. XXIX, 209 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agent-Oriented Software Engineering XI
by Weyns, Danny.
Publication:
. X, 249 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Hybrid Deliberative Layer for Robotic Agents
by Hartanto, Ronny.
Publication:
. XXII, 215 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rule-Based Reasoning, Programming, and Applications
by Bassiliades, Nick.
Publication:
. XIII, 385 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction – CADE-23
by Bjørner, Nikolaj.
Publication:
. XIII, 508 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logic in Multi-Agent Systems
by Leite, João.
Publication:
. XV, 383 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods
by Brünnler, Kai.
Publication:
. VIII, 279p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Gopalakrishnan, Ganesh.
Publication:
. XV, 763p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Virtual and Mixed Reality - Systems and Applications
by Shumaker, Randall.
Publication:
. XXVII, 436p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Virtual and Mixed Reality - New Trends
by Shumaker, Randall.
Publication:
. 432p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Collective Intelligence IV
by Nguyen, Ngoc Thanh.
Publication:
. IX, 211p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Information Systems Engineering
by Mouratidis, Haralambos.
Publication:
. XVIII, 684p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Toward Useful Services for Elderly and People with Disabilities
by Abdulrazak, Bessam.
Publication:
. XVII, 327p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
by Calinescu, Radu.
Publication:
. 250p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination, Organizations, Institutions, and Norms in Agent Systems VI
by Vos, Marina.
Publication:
. XVI, 377p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Swart, Harrie.
Publication:
. VIII, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic Programming and Nonmonotonic Reasoning
by Delgrande, James P.
Publication:
. XIII, 406 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in New Technologies, Interactive Interfaces, and Communicability
by Cipolla Ficarra, Francisco V.
Publication:
. X, 193 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Declarative Agent Languages and Technologies VIII
by Omicini, Andrea.
Publication:
. X, 205 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|