|
|
Economics of Grids, Clouds, Systems, and Services
by Altmann, Jörn.
Publication:
. IX, 166p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logics in Artificial Intelligence
by Janhunen, Tomi.
Publication:
. XIV, 374p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Network and Parallel Computing
by Ding, Chen.
Publication:
. XII, 492p. 275 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Safety, Reliability, and Security
by Schoitsch, Erwin.
Publication:
. X, 482p. 197 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Advances in the Message Passing Interface
by Keller, Rainer.
Publication:
. XIV, 308p. 120 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Bouajjani, Ahmed.
Publication:
. VIII, 404p. 112 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trustworthly Global Computing
by Wirsing, Martin.
Publication:
. XII, 380p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Business Process Management
by Hull, Richard.
Publication:
. XIII, 359p. 140 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Life System Modeling and Intelligent Computing
by Li, Kang.
Publication:
. XXI, 518p. 230 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing – Practice and Research Techniques
by Bottaci, Leonardo.
Publication:
. XIII, 219p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Software – ICMS 2010
by Fukuda, Komei.
Publication:
. XIV, 368p. 59 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|