//]]>
Computational Science and Its Applications – ICCSA 2013 by Murgante, Beniamino. Publication: . XXXVI, 729 p. 317 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Blazy, Sandrine. Publication: . XII, 498 p. 73 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory, Practice, and Applications of Rules on the Web by Morgenstern, Leora. Publication: . XVIII, 249 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Composition by Binder, Walter. Publication: . X, 145 p. 38 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Biere, Armin. Publication: . XII, 281 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Artificial General Intelligence by Kühnberger, Kai-Uwe. Publication: . XII, 207 p. 39 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Inclusive Society: Health and Wellbeing in the Community, and Care at Home by Biswas, Jit. Publication: . XVI, 332 p. 153 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Big Data by Gottlob, Georg. Publication: . XII, 303 p. 89 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Analytical and Stochastic Modeling Techniques and Applications by Dudin, Alexander. Publication: . XII, 474 p. 159 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Structured Object-Oriented Formal Language and Method by Liu, Shaoying. Publication: . X, 149 p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Product-Focused Software Process Improvement by Heidrich, Jens. Publication: . XVI, 374 p. 87 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
RoboCup 2012: Robot Soccer World Cup XVI by Chen, Xiaoping. Publication: . XII, 392 p. 183 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ad-hoc, Mobile, and Wireless Network by Cichoń, Jacek. Publication: . XIV, 329 p. 150 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Detection of Intrusions and Malware, and Vulnerability Assessment by Rieck, Konrad. Publication: . XII, 207 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Engineering by Daniel, Florian. Publication: . XVIII, 528 p. 185 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
E-Voting and Identify by Heather, James. Publication: . X, 211 p. 29 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Checking Software by Bartocci, Ezio. Publication: . X, 377 p. 143 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Health Information Engineering and Systems by Weber, Jens. Publication: . X, 223 p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
ECOOP 2013 – Object-Oriented Programming by Castagna, Giuseppe. Publication: . XXII, 746 p. 206 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Architecture by Drira, Khalil. Publication: . XVI, 354 p. 133 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart