|
|
Software Product Lines: Going Beyond
by Bosch, Jan.
Publication:
. XXI, 534p. 159 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Incentives, Overlays, and Economic Traffic Control
by Stiller, Burkhard.
Publication:
. X, 109p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multiple Access Communications
by Vinel, Alexey.
Publication:
. XIII, 287p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
CONCUR 2010 - Concurrency Theory
by Gastin, Paul.
Publication:
. XIII, 600p. 134 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reachability Problems
by Kučera, Antonín.
Publication:
. X, 199p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundational and Practical Aspects of Resource Analysis
by Eekelen, Marko.
Publication:
. 170p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evolvable Systems: From Biology to Hardware
by Tempesti, Gianluca.
Publication:
. XII, 394p. 228 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Chatterjee, Krishnendu.
Publication:
. X, 257p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Science Logic
by Dawar, Anuj.
Publication:
. XIV, 548p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Architecture
by Babar, Muhammad Ali.
Publication:
. XII, 534p. 162 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Management in Grid and Peer-to-Peer Systems
by Hameurlain, Abdelkader.
Publication:
. X, 161p. 56 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verified Software: Theories, Tools, Experiments
by Leavens, Gary T.
Publication:
. X, 217p. 68 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Collective Intelligence I
by Nguyen, Ngoc Thanh.
Publication:
. VII, 207p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fields of Logic and Computation
by Blass, Andreas.
Publication:
. XIII, 627p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logic in Multi-Agent Systems
by Dix, Jürgen.
Publication:
. XIV, 257p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination, Organizations, Institutions and Norms in Agent Systems V
by Padget, Julian.
Publication:
. XVIII, 335p. 103 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Future Internet - FIS 2009
by Zseby, Tanja.
Publication:
. IX, 117p. 43 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Smart Spaces and Next Generation Wired/Wireless Networking
by Balandin, Sergey.
Publication:
. XVI, 486p. 212 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithm Engineering
by Müller-Hannemann, Matthias.
Publication:
. XVI, 513 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Multi-Agent Systems
by Braubach, Lars.
Publication:
. XII, 285p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|