//]]>
Formal Methods for Industrial Critical Systems by Kowalewski, Stefan. Publication: . XII, 231p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Intelligent Virtual Agents by Allbeck, Jan. Publication: . XI, 490p. 153 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Performance Engineering by Aldini, Alessandro. Publication: . X, 286p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Static Analysis by Cousot, Radhia. Publication: . XI, 473p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing by Lynch, Nancy A. Publication: . XV, 532p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Collaboration and Technology by Kolfschoten, Gwendolyn. Publication: . XIII, 364p. 139 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Multimedia Information Processing - PCM 2010 by Qiu, Guoping. Publication: . XXII, 745p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Multimedia Information Processing - PCM 2010 by Qiu, Guoping. Publication: . XXII, 759p. 433 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Database and XML Technologies by Lee, Mong Li. Publication: . VI, 156p. 59 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Economics of Grids, Clouds, Systems, and Services by Altmann, Jörn. Publication: . IX, 166p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logics in Artificial Intelligence by Janhunen, Tomi. Publication: . XIV, 374p. 48 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Network and Parallel Computing by Ding, Chen. Publication: . XII, 492p. 275 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Safety, Reliability, and Security by Schoitsch, Erwin. Publication: . X, 482p. 197 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Advances in the Message Passing Interface by Keller, Rainer. Publication: . XIV, 308p. 120 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Bouajjani, Ahmed. Publication: . VIII, 404p. 112 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Trustworthly Global Computing by Wirsing, Martin. Publication: . XII, 380p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Business Process Management by Hull, Richard. Publication: . XIII, 359p. 140 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Life System Modeling and Intelligent Computing by Li, Kang. Publication: . XXI, 518p. 230 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing – Practice and Research Techniques by Bottaci, Leonardo. Publication: . XIII, 219p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Software – ICMS 2010 by Fukuda, Komei. Publication: . XIV, 368p. 59 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart