|
|
Theory and Applications of Satisfiability Testing – SAT 2010
by Strichman, Ofer.
Publication:
. XIII, 400p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2009 – Parallel Processing Workshops
by Lin, Hai-Xiang.
Publication:
. XIX, 468p. 137 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),
|
|
|
Tests and Proofs
by Fraser, Gordon.
Publication:
. 174p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More
by Sato, Mitsuhisa.
Publication:
. 187p. 121 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),
|
|
|
Large-Scale Scientific Computing
by Lirkov, Ivan.
Publication:
. XVI, 839p. 248 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Search Computing
by Ceri, Stefano.
Publication:
. X, 321p. 81 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Genetic Programming
by Esparcia-Alcázar, Anna Isabel.
Publication:
. XII, 336p. 149 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reconfigurable Computing: Architectures, Tools and Applications
by Sirisuk, Phaophak.
Publication:
. XIV, 446p. 206 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Compiler Construction
by Gupta, Rajiv.
Publication:
. XII, 326p. 119 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Wireless Sensor Networks
by Silva, Jorge Sá.
Publication:
. XIII, 340p. 164 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verification, Model Checking, and Abstract Interpretation
by Barthe, Gilles.
Publication:
. X, 397p. 105 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Programming
by Shen, Alexander.
Publication:
. XII, 272 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Intelligence and Intelligent Systems
by Cai, Zhihua.
Publication:
. XIII, 289p. 117 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Bioinspired Models of Network, Information, and Computing Systems
by Altman, Eitan.
Publication:
. X, 203p. 79 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Genetic Programming Theory and Practice X
by Riolo, Rick.
Publication:
. XXVI, 242 p. 71 illus., 26 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Genetic Programming Theory and Practice IX
by Riolo, Rick.
Publication:
. XXVIII, 264 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Guide to Programming and Algorithms Using R
by Ergül, Özgür.
Publication:
. XI, 182 p. 28 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Genetic Programming Theory and Practice VIII
by Riolo, Rick.
Publication:
. XXVIII, 248 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|