|
|
Safe and Secure Software Reuse
by Favaro, John.
Publication:
. XIV, 362 p. 114 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tests and Proofs
by Veanes, Margus.
Publication:
. X, 233 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
SDL 2013: Model-Driven Dependability Engineering
by Khendek, Ferhat.
Publication:
. XII, 291 p. 138 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Model Transformations
by Duddy, Keith.
Publication:
. XIV, 221 p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Dynamical Systems
by Bernardo, Marco.
Publication:
. VIII, 181 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Static Analysis
by Logozzo, Francesco.
Publication:
. X, 499 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Design Science at the Intersection of Physical and Virtual Design
by Brocke, Jan.
Publication:
. XVI, 528 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Supercomputing
by Kunkel, Julian Martin.
Publication:
. XII, 477 p. 210 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Information Systems Engineering
by Salinesi, Camille.
Publication:
. XXXVIII, 706 p. 258 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
End-User Development
by Dittrich, Yvonne.
Publication:
. XII, 311 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Multi-Agent Systems
by Dastani, Mehdi.
Publication:
. X, 245 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Application and Theory of Petri Nets and Concurrency
by Colom, José-Manuel.
Publication:
. XII, 411 p. 166 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Pattern Languages of Programming III
by Noble, James.
Publication:
. X, 195 p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Benchmarking Peer-to-Peer Systems
by Effelsberg, Wolfgang.
Publication:
. VIII, 197 p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Formal Methods
by Johnsen, Einar Broch.
Publication:
. XIV, 443 p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Business Process Models. Change Management
by Gerth, Christian.
Publication:
. XVI, 218 p. 125 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reliable Software Technologies – Ada-Europe 2013
by Keller, Hubert B.
Publication:
. XII, 177 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Techniques for Distributed Systems
by Beyer, Dirk.
Publication:
. XIV, 321 p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction – CADE-24
by Bonacina, Maria Paola.
Publication:
. XVI, 466 p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems
by Cavallaro, Lorenzo.
Publication:
. XVI, 145 p. 29 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|