|
|
Human-Computer Interaction – INTERACT 2013
by Kotzé, Paula.
Publication:
. XXX, 791 p. 260 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human-Computer Interaction – INTERACT 2013
by Kotzé, Paula.
Publication:
. XXX, 797 p. 262 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Personal Web
by Chignell, Mark.
Publication:
. XIV, 221 p. 97 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agent-Oriented Software Engineering XIII
by Müller, Jörg P.
Publication:
. X, 197 p. 78 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unifying Theories of Programming and Formal Engineering Methods
by Liu, Zhiming.
Publication:
. XII, 283 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical Aspects of Computing – ICTAC 2013
by Liu, Zhiming.
Publication:
. XII, 445 p. 100 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Blazy, Sandrine.
Publication:
. XII, 498 p. 73 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory, Practice, and Applications of Rules on the Web
by Morgenstern, Leora.
Publication:
. XVIII, 249 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hardware and Software: Verification and Testing
by Biere, Armin.
Publication:
. XII, 281 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial General Intelligence
by Kühnberger, Kai-Uwe.
Publication:
. XII, 207 p. 39 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Inclusive Society: Health and Wellbeing in the Community, and Care at Home
by Biswas, Jit.
Publication:
. XVI, 332 p. 153 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
RoboCup 2012: Robot Soccer World Cup XVI
by Chen, Xiaoping.
Publication:
. XII, 392 p. 183 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Engineering
by Daniel, Florian.
Publication:
. XVIII, 528 p. 185 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Information Systems Engineering
by Salinesi, Camille.
Publication:
. XXXVIII, 706 p. 258 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Multi-Agent Systems
by Dastani, Mehdi.
Publication:
. X, 245 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction – CADE-24
by Bonacina, Maria Paola.
Publication:
. XVI, 466 p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Collective Intelligence X
by Nguyen, Ngoc-Thanh.
Publication:
. XII, 207 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Cellier, Peggy.
Publication:
. X, 267 p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model-Based Methodologies for Pervasive and Embedded Software
by Machado, Ricardo J.
Publication:
. X, 139 p. 61 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Albert, Elvira.
Publication:
. X, 245 p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|