|
|
Theory and Practice of Model Transformations
by Cabot, Jordi.
Publication:
. XII, 229p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Pervasive Computing
by Lyons, Kent.
Publication:
. XIII, 370 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|
|
System Analysis and Modeling: About Models
by Kraemer, Frank Alexander.
Publication:
. X, 257p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Information Systems Engineering
by Mouratidis, Haralambos.
Publication:
. XVIII, 684p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Wired/Wireless Internet Communications
by Masip-Bruin, Xavier.
Publication:
. XV, 506 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Toward Useful Services for Elderly and People with Disabilities
by Abdulrazak, Bessam.
Publication:
. XVII, 327p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
End-User Development
by Costabile, Maria Francesca.
Publication:
. XVI, 426p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Informatics
by Winkler, Franz.
Publication:
. X, 261p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
OpenMP in the Petascale Era
by Chapman, Barbara M.
Publication:
. X, 179p.
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),
|
|
|
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),
|
|
|
Formal Methods for Eternal Networked Software Systems
by Bernardo, Marco.
Publication:
. VIII, 527p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
FM 2011: Formal Methods
by Butler, Michael.
Publication:
. XIV, 450p.
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),
|
|
|
Reliable Software Technologies - Ada-Europe 2011
by Romanovsky, Alexander.
Publication:
. XIII, 227p.
Availability:
Copies available:
AUM Main Library
(1),
|
|