|
|
Objects, Models, Components, Patterns
by Vitek, Jan.
Publication:
. 316p. 103 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Time for Verification
by Manna, Zohar.
Publication:
. VIII, 413p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Model Transformations
by Tratt, Laurence.
Publication:
. X, 278p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applications and Theory of Petri Nets
by Lilius, Johan.
Publication:
. X, 329p. 129 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Foundations and Applications
by Kühne, Thomas.
Publication:
. 364p. 150 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reliable Software Technologiey – Ada-Europe 2010
by Real, Jorge.
Publication:
. XII, 277p. 65 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Techniques for Distributed Systems
by Hatcliff, John.
Publication:
. XII, 233p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination Models and Languages
by Clarke, Dave.
Publication:
. XI, 183p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Languages and Compilers for Parallel Computing
by Gao, Guang R.
Publication:
. XI, 426p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Component-Based Software Engineering
by Grunske, Lars.
Publication:
. X, 253p. 78 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More
by Sato, Mitsuhisa.
Publication:
. 187p. 121 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Grid and Pervasive Computing
by Bellavista, Paolo.
Publication:
. XVII, 701p. 365 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Lectures on Software Engineering
by Müller, Peter.
Publication:
. VII, 189p. 99 illus.
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),
|
|
|
Large-Scale Scientific Computing
by Lirkov, Ivan.
Publication:
. XVI, 839p. 248 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Search Computing
by Ceri, Stefano.
Publication:
. X, 321p. 81 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),
|
|
|
Genetic Programming
by Esparcia-Alcázar, Anna Isabel.
Publication:
. XII, 336p. 149 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reconfigurable Computing: Architectures, Tools and Applications
by Sirisuk, Phaophak.
Publication:
. XIV, 446p. 206 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
by Müller-Clostermann, Bruno.
Publication:
. XI, 323p. 120 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|