|
|
Practical Aspects of Declarative Languages
by Carro, Manuel.
Publication:
. XI, 297p. 78 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Perspectives of Systems Informatics
by Pnueli, Amir.
Publication:
. XIII, 426 p.
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),
|
|
|
Verification, Model Checking, and Abstract Interpretation
by Barthe, Gilles.
Publication:
. X, 397p. 105 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
SOFSEM 2010: Theory and Practice of Computer Science
by Leeuwen, Jan.
Publication:
. XV, 780 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Aversa, Rocco.
Publication:
. XXX, 313 p. 108 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multiple Access Communcations
by Jonsson, Magnus.
Publication:
. XII, 185 p. 88 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Kołodziej, Joanna.
Publication:
. XXII, 481 p. 213 illus.
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),
|
|
|
Advances in Multimedia Information Processing – PCM 2013
by Huet, Benoit.
Publication:
. XXIV, 879 p. 437 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Shan, Chung-chieh.
Publication:
. X, 381 p. 40 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),
|
|
|
Stabilization, Safety, and Security of Distributed Systems
by Higashino, Teruo.
Publication:
. XXIV, 380 p. 86 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),
|
|
|
Automated Technology for Verification and Analysis
by Hung, Dang.
Publication:
. XIV, 528 p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Business Process Management
by Daniel, Florian.
Publication:
. XVI, 355 p. 124 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|