|
|
Compiler Construction
by O’Boyle, Michael.
Publication:
. XVI, 245 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
by Schmitt, Jens B.
Publication:
. XIII, 331p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modelling and Its Theoretical Foundations
by Düsterhöft, Antje.
Publication:
. VIII, 329 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic and Numeric Biology
by Horimoto, Katsuhisa.
Publication:
. IX, 185 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Software Engineering Techniques
by Szmuc, Tomasz.
Publication:
. Approx. 275 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verification, Model Checking, and Abstract Interpretation
by Kuncak, Viktor.
Publication:
. X, 457p. 111 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Engineering and Management
by Kannan, Rajkumar.
Publication:
. Approx. 355 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verified Software: Theories, Tools, Experiments
by Joshi, Rajeev.
Publication:
. XI, 326p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Practical Aspects of Declarative Languages
by Russo, Claudio.
Publication:
. Approx. 315 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory of Security and Applications
by Mödersheim, Sebastian.
Publication:
. IX, 225 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Aspects of Component Software
by Barbosa, Luís Soares.
Publication:
. X, 305 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Jouannaud, Jean-Pierre.
Publication:
. XV, 401p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Yang, Hongseok.
Publication:
. XI, 372p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Components and Objects
by Aichernig, Bernhard K.
Publication:
. VII, 393p. 145 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
SDL 2011: Integrating System and Software Modeling
by Ober, Iulian.
Publication:
. VIII, 277p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Empirical Software Engineering and Verification
by Meyer, Bertrand.
Publication:
. VII, 213 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods, Foundations and Applications
by Simao, Adenilso.
Publication:
. X, 205 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling: Actors, Open Systems, Biological Systems
by Agha, Gul.
Publication:
. XX, 447 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Foundations in Computer Science
by Kuich, Werner.
Publication:
. X, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering and Formal Methods
by Barthe, Gilles.
Publication:
. XIV, 504p. 154 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|