|
|
Advanced Information Systems Engineering
by Pernici, Barbara.
Publication:
. XVI, 548p. 164 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Argumentation in Multi-Agent Systems
by McBurney, Peter.
Publication:
. X, 321p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
High Performance Computing Systems and Applications
by Mewhort, Douglas J. K.
Publication:
. XIII, 418p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Schreye, Danny.
Publication:
. X, 205p. 29 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Logic Programming
by Blume, Matthias.
Publication:
. XI, 355p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Esparza, Javier.
Publication:
. XVI, 468p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Constraint Logic Programming
by Escobar, Santiago.
Publication:
. IX, 179p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Gordon, Andrew D.
Publication:
. XV, 632p. 189 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Approaches and Applications of Inductive Programming
by Schmid, Ute.
Publication:
. IX, 195p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata for Branching and Layered Temporal Structures
by Puppis, Gabriele.
Publication:
. 206p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
RoboCup 2009: Robot Soccer World Cup XIII
by Baltes, Jacky.
Publication:
. 460p. 242 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Declarative Agent Languages and Technologies VII
by Baldoni, Matteo.
Publication:
. XII, 263 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles of Distributed Systems
by Baldoni, Roberto.
Publication:
. XIV, 281 p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Swarm, Evolutionary, and Memetic Computing
by Panigrahi, Bijaya Ketan.
Publication:
. XXVI, 672 p. 275 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Swarm, Evolutionary, and Memetic Computing
by Panigrahi, Bijaya Ketan.
Publication:
. XXVI, 776 p. 272 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction
by Urzaiz, Gabriel.
Publication:
. XVI, 401 p. 166 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ambient Assisted Living and Active Aging
by Nugent, Christopher.
Publication:
. XIV, 137 p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hardware and Software: Verification and Testing
by Bertacco, Valeria.
Publication:
. XX, 366 p. 147 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Language Engineering
by Erwig, Martin.
Publication:
. XII, 385 p. 156 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Growing Gap Between Emerging Technologies and Legal-Ethical Oversight
by Marchant, Gary E.
Publication:
. XXXII, 212 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|