|
|
Managing the Dynamics of Networks and Services
by Chrisment, Isabelle.
Publication:
. X, 181p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Foundations and Applications
by France, Robert B.
Publication:
. XIV, 396p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination Models and Languages
by Meuter, Wolfgang.
Publication:
. XII, 219p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Techniques for Distributed Systems
by Bruni, Roberto.
Publication:
. XIV, 349p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
FM 2011: Formal Methods
by Butler, Michael.
Publication:
. XIV, 450p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Top Productivity through Software Reuse
by Schmid, Klaus.
Publication:
. XIII, 247p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reliable Software Technologies - Ada-Europe 2011
by Romanovsky, Alexander.
Publication:
. XIII, 227p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic Programming and Nonmonotonic Reasoning
by Delgrande, James P.
Publication:
. XIII, 406 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Grid and Pervasive Computing
by Riekki, Jukka.
Publication:
. XIV, 296p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Checking and Artificial Intelligence
by Meyden, Ron.
Publication:
. XI, 131 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Alpuente, María.
Publication:
. X, 249 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NASA Formal Methods
by Bobaru, Mihaela.
Publication:
. XIV, 534 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Adaptive and Natural Computing Algorithms
by Dobnikar, Andrej.
Publication:
. XVI, 433p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Adaptive and Natural Computing Algorithms
by Dobnikar, Andrej.
Publication:
. XVI, 403p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Compiler Construction
by Knoop, Jens.
Publication:
. XII, 307p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Abdulla, Parosh Aziz.
Publication:
. XVI, 394p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods: Foundations and Applications
by Davies, Jim.
Publication:
. VIII, 291 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamental Approaches to Software Engineering
by Giannakopoulou, Dimitra.
Publication:
. XIII, 464p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Barthe, Gilles.
Publication:
. XIV, 501p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Search Computing
by Ceri, Stefano.
Publication:
. XIII, 273 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|