|
|
Artificial Intelligence and Computational Intelligence
by Deng, Hepu.
Publication:
. XVIII, 718 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial Intelligence and Computational Intelligence
by Deng, Hepu.
Publication:
. XXXIII, 686 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human-Computer Interaction – INTERACT 2011
by Campos, Pedro.
Publication:
. LV, 670 p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human-Computer Interaction – INTERACT 2011
by Campos, Pedro.
Publication:
. XXX, 702 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human-Computer Interaction – INTERACT 2011
by Campos, Pedro.
Publication:
. XXXVII, 758 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human-Computer Interaction – INTERACT 2011
by Campos, Pedro.
Publication:
. XXIX, 706 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ubiquitous Intelligence and Computing
by Hsu, Ching-Hsien.
Publication:
. XVI, 592 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
CONCUR 2011 – Concurrency Theory
by Katoen, Joost-Pieter.
Publication:
. XIV, 560p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Holonic and Multi-Agent Systems for Manufacturing
by Mařík, Vladimír.
Publication:
. XIII, 267 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Management in Grid and Peer-to-Peer Systems
by Hameurlain, Abdelkader.
Publication:
. X, 135 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|