|
|
Construction and Evolution of Code Generators
by Jörges, Sven.
Publication:
. XXIV, 246 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles of Distributed Systems
by Baldoni, Roberto.
Publication:
. XIV, 361 p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Hawblitzel, Chris.
Publication:
. X, 305 p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Economics of Grids, Clouds, Systems, and Services
by Vanmechelen, Kurt.
Publication:
. XIV, 245 p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Knowledge Engineering and Knowledge Management
by Teije, Annette.
Publication:
. XVIII, 452 p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Methods in Systems Biology
by Gilbert, David.
Publication:
. XII, 396 p. 145 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2012
by Meersman, Robert.
Publication:
. XXV, 485 p. 135 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2012
by Meersman, Robert.
Publication:
. XXVI, 467 p. 202 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logistics
by Hu, Hao.
Publication:
. X, 217 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Kahl, Wolfram.
Publication:
. XII, 361 p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2012 Parallel Processing
by Kaklamanis, Christos.
Publication:
. XXVII, 960 p. 369 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
E-Voting and Identity
by Kiayias, Aggelos.
Publication:
. X, 257 p. 26 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Topics in Performance Evaluation, Measurement and Characterization
by Nambiar, Raghunath.
Publication:
. XIV, 213 p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ICT as Key Technology against Global Warming
by Auweter, Axel.
Publication:
. IX, 127 p. 56 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Stoelinga, Mariëlle.
Publication:
. XIV, 223 p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Business System Management and Engineering
by Ardagna, Claudio A.
Publication:
. X, 197 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented Computing - ICSOC 2011 Workshops
by Pallis, George.
Publication:
. XII, 334 p. 106 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Engineering
by Brambilla, Marco.
Publication:
. XVII, 505p. 177 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning
by Gramlich, Bernhard.
Publication:
. XIV, 568p. 90 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Information Systems Engineering
by Ralyté, Jolita.
Publication:
. XVII, 704p. 235 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|