//]]>
Theory and Applications of Satisfiability Testing – SAT 2010 by Strichman, Ofer. Publication: . XIII, 400p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2009 – Parallel Processing Workshops by Lin, Hai-Xiang. Publication: . XIX, 468p. 137 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mechanisms for Autonomous Management of Networks and Services by Stiller, Burkhard. Publication: . XIII, 179p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and Proofs by Fraser, Gordon. Publication: . 174p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More by Sato, Mitsuhisa. Publication: . 187p. 121 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Grid and Pervasive Computing by Bellavista, Paolo. Publication: . XVII, 701p. 365 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Large-Scale Scientific Computing by Lirkov, Ivan. Publication: . XVI, 839p. 248 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Search Computing by Ceri, Stefano. Publication: . X, 321p. 81 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Genetic Programming by Esparcia-Alcázar, Anna Isabel. Publication: . XII, 336p. 149 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reconfigurable Computing: Architectures, Tools and Applications by Sirisuk, Phaophak. Publication: . XIV, 446p. 206 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Compiler Construction by Gupta, Rajiv. Publication: . XII, 326p. 119 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Wireless Sensor Networks by Silva, Jorge Sá. Publication: . XIII, 340p. 164 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Barthe, Gilles. Publication: . X, 397p. 105 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Programming by Shen, Alexander. Publication: . XII, 272 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Intelligence and Intelligent Systems by Cai, Zhihua. Publication: . XIII, 289p. 117 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Bioinspired Models of Network, Information, and Computing Systems by Altman, Eitan. Publication: . X, 203p. 79 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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),
Actions: Add to Cart
Genetic Programming Theory and Practice IX by Riolo, Rick. Publication: . XXVIII, 264 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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),
Actions: Add to Cart
Genetic Programming Theory and Practice VIII by Riolo, Rick. Publication: . XXVIII, 248 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية