|
|
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),
|
|
|
Distributed Applications and Interoperable Systems
by Felber, Pascal.
Publication:
. XII, 304 p.
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),
|
|
|
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
by Calinescu, Radu.
Publication:
. 250p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination, Organizations, Institutions, and Norms in Agent Systems VI
by Vos, Marina.
Publication:
. XVI, 377p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in New Technologies, Interactive Interfaces, and Communicability
by Cipolla Ficarra, Francisco V.
Publication:
. X, 193 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NETWORKING 2011
by Domingo-Pascual, Jordi.
Publication:
. XXII, 381 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NETWORKING 2011
by Domingo-Pascual, Jordi.
Publication:
. XXI, 473 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),
|
|
|
Declarative Agent Languages and Technologies VIII
by Omicini, Andrea.
Publication:
. X, 205 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented Perspectives in Design Science Research
by Jain, Hemant.
Publication:
. XII, 476 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Collective Intelligence III
by Nguyen, Ngoc Thanh.
Publication:
. IX, 215p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Compiler Construction
by Knoop, Jens.
Publication:
. XII, 307p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Requirements Engineering: Foundation for Software Quality
by Berry, Daniel.
Publication:
. XII, 209 p.
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),
|
|
|
Fundamental Approaches to Software Engineering
by Giannakopoulou, Dimitra.
Publication:
. XIII, 464p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Communication Technologies for Vehicles
by Strang, Thomas.
Publication:
. XIII, 239 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Barthe, Gilles.
Publication:
. XIV, 501p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reconfigurable Computing: Architectures, Tools and Applications
by Koch, Andreas.
Publication:
. XIV, 398 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|