|
|
NASA Formal Methods
by Bobaru, Mihaela.
Publication:
. XIV, 534 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Selected Areas in Cryptography
by Biryukov, Alex.
Publication:
. XIII, 411 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Privacy Management and Autonomous Spontaneous Security
by Garcia-Alfaro, Joaquin.
Publication:
. XIV, 259 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Architecture of Computing Systems - ARCS 2011
by Berekovic, Mladen.
Publication:
. XIII, 271p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Provenance and Annotation of Data and Processes
by McGuinness, Deborah L.
Publication:
. XII, 306p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Components and Objects
by Boer, Frank S.
Publication:
. X, 339p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Job Scheduling Strategies for Parallel Processing
by Frachtenberg, Eitan.
Publication:
. XI, 223p. 99 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),
|
|
|
Euro-Par 2010 - Parallel Processing
by D’Ambra, Pasqua.
Publication:
. XXV, 544p. 222 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2010 - Parallel Processing
by D’Ambra, Pasqua.
Publication:
. XXX, 600 p. 264 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Critical Information Infrastructures Security
by Rome, Erich.
Publication:
. XII, 213p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mechanisms for Autonomous Management of Networks and Services
by Stiller, Burkhard.
Publication:
. XIII, 179p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Computing in Sensor Systems
by Rajaraman, Rajmohan.
Publication:
. XVII, 410p. 152 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Applications and Interoperable Systems
by Eliassen, Frank.
Publication:
. XIV, 243p. 98 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Communications and Multimedia Security
by Decker, Bart.
Publication:
. XIII, 281p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Grid and Pervasive Computing
by Bellavista, Paolo.
Publication:
. XVII, 701p. 365 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Post-Quantum Cryptography
by Sendrier, Nicolas.
Publication:
. X, 241p. 27 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Progress in Cryptology – AFRICACRYPT 2010
by Bernstein, Daniel J.
Publication:
. XIII, 437p. 43 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Pervasive Computing
by Floréen, Patrik.
Publication:
. XV, 446p. 203 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Large-Scale Scientific Computing
by Lirkov, Ivan.
Publication:
. XVI, 839p. 248 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|