//]]>
Runtime Verification by Barringer, Howard. Publication: . XIII, 492p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Artificial Intelligence and Computational Intelligence by Wang, Fu Lee. Publication: . XXI, 498p. 203 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Artificial Intelligence and Computational Intelligence by Wang, Fu Lee. Publication: . XXII, 386p. 149 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Job Scheduling Strategies for Parallel Processing by Frachtenberg, Eitan. Publication: . XI, 223p. 99 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Computation and Intelligence by Cai, Zhihua. Publication: . XV, 536p. 227 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Public Key Infrastructures, Services and Applications by Martinelli, Fabio. Publication: . X, 303p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Hiding by Böhme, Rainer. Publication: . X, 277p. 98 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ubiquitous Knowledge Discovery by May, Michael. Publication: . X, 255p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Property Testing by Goldreich, Oded. Publication: . XI, 359p. 5 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Security and Cryptology by Bao, Feng. Publication: . XIII, 460p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Semantic Web Rules by Dean, Mike. Publication: . XIII, 305p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Provable Security by Heng, Swee-Huay. Publication: . X, 279p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Formal Methods by Méry, Dominique. Publication: . X, 337p. 110 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Science VIII by Gavrilova, Marina L. Publication: . XIV, 167p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Facing the Multicore-Challenge by Keller, Rainer. Publication: . X, 156p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Discovery Science by Pfahringer, Bernhard. Publication: . XIII, 384p. 108 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Comparative Genomics by Tannier, Eric. Publication: . XII, 303p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Computing and Applications by Zhu, Rongbo. Publication: . XX, 608p. 206 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops by Dan, Asit. Publication: . XXXIV, 584p. 177 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithmic Learning Theory by Hutter, Marcus. Publication: . XIII, 421p. 45 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Refine your search