//]]>
Unhighlight Highlight
Parallel Processing and Applied Mathematics by Wyrzykowski, Roman. Publication: . XXIV, 628p. 242 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Critical Information Infrastructures Security by Rome, Erich. Publication: . XII, 213p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Biomedical Image Registration by Fischer, Bernd. Publication: . 280p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithmic Aspects in Information and Management by Chen, Bo. Publication: . XI, 336p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
New Modeling Concepts for Today’s Software Processes by Münch, Jürgen. Publication: . XIV, 382p. 133 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing Techniques in Software Engineering by Borba, Paulo. Publication: . IX, 313p. 73 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Mathematics of Language by Ebert, Christian. Publication: . VIII, 297p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A 25-Year Perspective on Logic Programming by Dovier, Agostino. Publication: . XIV, 329p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Data Hiding and Multimedia Security V by Shi, Yun Q. Publication: . XI, 129p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Verification by Touili, Tayssir. Publication: . XVI, 676p. 169 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language and Meaning by Aloni, Maria. Publication: . X, 476p. 1 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Case-Based Reasoning. Research and Development by Bichindaritz, Isabelle. Publication: . 557p. 180 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Current Topics in Artificial Intelligence by Meseguer, Pedro. Publication: . XII, 302p. 77 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web-Age Information Management by Chen, Lei. Publication: . XIX, 785p. 320 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Detection of Intrusions and Malware, and Vulnerability Assessment by Kreibich, Christian. Publication: . XII, 219p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning by Giesl, Jürgen. Publication: . XII, 534p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Conceptual Structures: From Information to Intelligence by Croitoru, Madalina. Publication: . XII, 207p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Requirements Engineering: Foundation for Software Quality by Wieringa, Roel. Publication: . XII, 280p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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
Deontic Logic in Computer Science by Governatori, Guido. Publication: . VIII, 323p. 33 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 Next >>