|
|
Advances in Grid and Pervasive Computing
by Li, Ruixuan.
Publication:
. XIII, 370p. 117 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Dependable Networks and Services
by Sadre, Ramin.
Publication:
. XIII, 161 p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Facing the Multicore - Challenge II
by Keller, Rainer.
Publication:
. X, 173 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamentals of Software Engineering
by Arbab, Farhad.
Publication:
. XII, 377 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Multi-Agent Systems
by Collier, Rem.
Publication:
. XI, 159 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NASA Formal Methods
by Goodloe, Alwyn E.
Publication:
. XII, 466p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Privacy Management and Autonomous Spontaneus Security
by Garcia-Alfaro, Joaquin.
Publication:
. XV, 319 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Architecture of Computing Systems – ARCS 2012
by Herkersdorf, Andreas.
Publication:
. XIII, 252 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Engineering Secure Software and Systems
by Barthe, Gilles.
Publication:
. XII, 151p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applied Parallel and Scientific Computing
by Jónasson, Kristján.
Publication:
. XXVII, 339p. 155 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applied Parallel and Scientific Computing
by Jónasson, Kristján.
Publication:
. XXVIII, 477p. 170 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Membrane Computing
by Gheorghe, Marian.
Publication:
. 380p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Components and Objects
by Aichernig, Bernhard K.
Publication:
. VII, 393p. 145 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Communications and Multimedia Security
by Decker, Bart.
Publication:
. XIV, 257 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Dependable and Historic Computing
by Jones, Cliff B.
Publication:
. XII, 523p. 137 illus., 60 illus. in color.
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),
|
|
|
Network and Parallel Computing
by Altman, Erik.
Publication:
. XIII, 368 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Bultan, Tevfik.
Publication:
. XIV, 532 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Architecture
by Varbanescu, Ana Lucia.
Publication:
. XXVII, 378p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Parallel Processing Technologies
by Temam, Olivier.
Publication:
. 190p. 89 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|