|
|
Advances in Grid and Pervasive Computing
by Li, Ruixuan.
Publication:
. XIII, 370p. 117 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Formal Methods
by Derrick, John.
Publication:
. XII, 360p. 105 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),
|
|
|
Trustworthy Global Computing
by Bruni, Roberto.
Publication:
. X, 243p. 54 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NETWORKING 2012
by Bestak, Robert.
Publication:
. XXI, 421 p. 182 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NETWORKING 2012
by Bestak, Robert.
Publication:
. XXII, 437 p. 191 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NETWORKING 2012 Workshops
by Becvar, Zdenek.
Publication:
. XVI, 158p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Domenach, Florent.
Publication:
. XII, 309 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Khurshid, Sarfraz.
Publication:
. XII, 458 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Large-Scale Scientific Computing
by Lirkov, Ivan.
Publication:
. XIV, 681 p. 147 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2011: Parallel Processing Workshops
by Alexander, Michael.
Publication:
. XXX, 480 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2011: Parallel Processing Workshops
by Alexander, Michael.
Publication:
. XXIX, 524p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Perspectives of Systems Informatics
by Clarke, Edmund.
Publication:
. XIV, 411 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reversible Computation
by Vos, Alexis.
Publication:
. IX, 123p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and Program Semantics
by Constable, Robert L.
Publication:
. XIII, 357 p. 45 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Computing, Networking and Security
by Thilagam, P. Santhi.
Publication:
. XVII, 641 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Petri Nets and Other Models of Concurrency V
by Jensen, Kurt.
Publication:
. XVII, 293 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Compiler Construction
by O’Boyle, Michael.
Publication:
. XVI, 245 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Latent Variable Analysis and Signal Separation
by Theis, Fabian.
Publication:
. XVI, 538p.
Availability:
Copies available:
AUM Main Library
(1),
|
|