|
|
Practical Aspects of Declarative Languages
by Rocha, Ricardo.
Publication:
. VIII, 265p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verification, Model Checking, and Abstract Interpretation
by Jhala, Ranjit.
Publication:
. XI, 419p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Verification of Object-Oriented Software
by Beckert, Bernhard.
Publication:
. X, 199p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Generative and Transformational Techniques in Software Engineering III
by Fernandes, João M.
Publication:
. X, 499 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Methodology and Software Technology
by Johnson, Michael.
Publication:
. X, 238p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Towards a Service-Based Internet
by Nitto, Elisabetta.
Publication:
. XIV, 240p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Central European Functional Programming School
by Horváth, Zoltán.
Publication:
. IX, 391p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Computing and Networking
by Aguilera, Marcos K.
Publication:
. XVII, 420p. 136 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Swarm, Evolutionary, and Memetic Computing
by Panigrahi, Bijaya Ketan.
Publication:
. XVIII, 755p. 214 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by Clarke, Edmund M.
Publication:
. X, 517p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Transformations and Model-Driven Engineering
by Engels, Gregor.
Publication:
. XIV, 768p. 328 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Architecting Dependable Systems VII
by Casimiro, Antonio.
Publication:
. XII, 324p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Ueda, Kazunori.
Publication:
. X, 440p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Components and Objects
by Boer, Frank S.
Publication:
. X, 339p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2010 Workshops
by Meersman, Robert.
Publication:
. XXIX, 711p. 240 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods and Software Engineering
by Dong, Jin Song.
Publication:
. XIV, 712p. 202 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Autonomic Communication Environments
by Brennan, Rob.
Publication:
. X, 125p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unifying Theories of Programming
by Qin, Shengchao.
Publication:
. VIII, 310p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Barringer, Howard.
Publication:
. XIII, 492p. 145 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing Software and Systems
by Petrenko, Alexandre.
Publication:
. XII, 267p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|