|
|
Analytical and Stochastic Modeling Techniques and Applications
by Al-Begain, Khalid.
Publication:
. XI, 347p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Critical Information Infrastructures Security
by Xenakis, Christos.
Publication:
. X, 161p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
End-User Development
by Costabile, Maria Francesca.
Publication:
. XVI, 426p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Managing the Dynamics of Networks and Services
by Chrisment, Isabelle.
Publication:
. X, 181p.
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 Methods for Eternal Networked Software Systems
by Bernardo, Marco.
Publication:
. VIII, 527p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Applications and Interoperable Systems
by Felber, Pascal.
Publication:
. XII, 304 p.
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),
|
|
|
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, 403p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Selected Areas in Cryptography
by Biryukov, Alex.
Publication:
. XIII, 411 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Pattern Languages of Programming II
by Noble, James.
Publication:
. IX, 125p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Privacy Management and Autonomous Spontaneous Security
by Garcia-Alfaro, Joaquin.
Publication:
. XIV, 259 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
High Performance Computing for Computational Science – VECPAR 2010
by Palma, José M. Laginha M.
Publication:
. XIV, 470 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Architecture of Computing Systems - ARCS 2011
by Berekovic, Mladen.
Publication:
. XIII, 271p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Engineering Secure Software and Systems
by Erlingsson, Úlfar.
Publication:
. XI, 273p.
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),
|
|
|
Provenance and Annotation of Data and Processes
by McGuinness, Deborah L.
Publication:
. XII, 306p.
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),
|
|
|
Formal Methods for Components and Objects
by Boer, Frank S.
Publication:
. X, 339p.
Availability:
Copies available:
AUM Main Library
(1),
|
|