|
|
Service-Oriented Computing
by Liu, Chengfei.
Publication:
. XX, 795 p. 258 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Large-Scale Complex IT Systems. Development, Operation and Management
by Calinescu, Radu.
Publication:
. XII, 417 p. 143 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Driven Engineering Languages and Systems
by France, Robert B.
Publication:
. XX, 828 p. 298 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model and Data Engineering
by Abelló, Alberto.
Publication:
. XII, 187 p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented and Cloud Computing
by Paoli, Flavio.
Publication:
. XI, 282 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods: Foundations and Applications
by Gheyi, Rohit.
Publication:
. X, 227 p. 67 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Security – ESORICS 2012
by Foresti, Sara.
Publication:
. XVII, 896 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Xiang, Yang.
Publication:
. XXI, 563 p. 241 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Xiang, Yang.
Publication:
. XXIV, 331 p. 159 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
FM 2012: Formal Methods
by Giannakopoulou, Dimitra.
Publication:
. XVI, 488 p. 142 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Topics in Performance Evaluation, Measurement and Characterization
by Nambiar, Raghunath.
Publication:
. XIV, 213 p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ICT as Key Technology against Global Warming
by Auweter, Axel.
Publication:
. IX, 127 p. 56 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Business System Management and Engineering
by Ardagna, Claudio A.
Publication:
. X, 197 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Verification of Object-Oriented Software
by Beckert, Bernhard.
Publication:
. X, 251 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ad-hoc, Mobile, and Wireless Networks
by Li, Xiang-Yang.
Publication:
. XIV, 486p. 214 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Foundations and Applications
by Vallecillo, Antonio.
Publication:
. XIII, 446p. 188 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Product-Focused Software Process Improvement
by Dieste, Oscar.
Publication:
. XVI, 378p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Model-Driven Engineering
by Bernardo, Marco.
Publication:
. VII, 439 p. 158 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trustworthy Global Computing
by Bruni, Roberto.
Publication:
. X, 243p. 54 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NETWORKING 2012
by Bestak, Robert.
Publication:
. XXI, 421 p. 182 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|