|
|
Empirical Software Engineering and Verification
by Meyer, Bertrand.
Publication:
. VII, 213 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2011 Workshops
by Meersman, Robert.
Publication:
. XXXIV, 665 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2011
by Meersman, Robert.
Publication:
. XXVIII, 430 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2011
by Meersman, Robert.
Publication:
. XXVII, 407 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods, Foundations and Applications
by Simao, Adenilso.
Publication:
. X, 205 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rule - Based Modeling and Computing on the Semantic Web
by Olken, Frank.
Publication:
. XVIII, 313p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Xiang, Yang.
Publication:
. XVIII, 411p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Xiang, Yang.
Publication:
. XVIII, 497p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Conceptual Modeling. Recent Developments and New Directions
by Troyer, Olga.
Publication:
. XX, 396p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Stabilization, Safety, and Security of Distributed Systems
by Défago, Xavier.
Publication:
. XIV, 452 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Driven Engineering Languages and Systems
by Whittle, Jon.
Publication:
. XX, 730 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model and Data Engineering
by Bellatreche, Ladjel.
Publication:
. XI, 288 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Information Systems and Mining
by Gong, Zhiguo.
Publication:
. XXI, 472 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Information Systems and Mining
by Gong, Zhiguo.
Publication:
. XXI, 450 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Architecture
by Crnkovic, Ivica.
Publication:
. XV, 448p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multiple Access Communications
by Sacchi, Claudio.
Publication:
. XIII, 255 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Energy-Aware Communications
by Lehnert, Ralf.
Publication:
. XIII, 227 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Autonomic and Trusted Computing
by Calero, Jose M. Alcaraz.
Publication:
. XII, 259 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information and Communication on Technology for the Fight against Global Warming
by Kranzlmüller, Dieter.
Publication:
. XI, 190 p. 77 illus., 35 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Holonic and Multi-Agent Systems for Manufacturing
by Mařík, Vladimír.
Publication:
. XIII, 267 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|