|
|
Component-Based Software Engineering
by Grunske, Lars.
Publication:
. X, 253p. 78 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),
|
|
|
Models in Software Engineering
by Ghosh, Sudipto.
Publication:
. X, 360p. 139 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),
|
|
|
Software Language Engineering
by Brand, Mark.
Publication:
. 390p. 126 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),
|
|
|
Foundations of Software Science and Computational Structures
by Ong, Luke.
Publication:
. XV, 389p. 47 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamental Approaches to Software Engineering
by Rosenblum, David S.
Publication:
. XIII, 383p. 127 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),
|
|
|
Automata for Branching and Layered Temporal Structures
by Puppis, Gabriele.
Publication:
. 206p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
High Performance Embedded Architectures and Compilers
by Patt, Yale N.
Publication:
. XIII, 364p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Concurrency, Compositionality, and Correctness
by Dams, Dennis.
Publication:
. 377p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|
|
Certified Programs and Proofs
by Gonthier, Georges.
Publication:
. XII, 309 p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|