//]]>
Unhighlight Highlight
Algorithmic Learning Theory by Kivinen, Jyrki. Publication: . XIII, 453 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Bultan, Tevfik. Publication: . XIV, 532 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Frontiers of Combining Systems by Tinelli, Cesare. Publication: . VIII, 275 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Fahrenberg, Uli. Publication: . XI, 353 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Delzanno, Giorgio. Publication: . XII, 245 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Functional Languages by Hage, Jurriaan. Publication: . X, 217 p. 29 illus., 4 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation by Ayala, José L. Publication: . XI, 352p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Rationality, and Interaction by Ditmarsch, Hans. Publication: . XI, 403 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Architecture by Crnkovic, Ivica. Publication: . XV, 448p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles and Practice of Constraint Programming – CP 2011 by Lee, Jimmy. Publication: . XXIV, 836p. 170 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Static Analysis by Yahav, Eran. Publication: . XII, 387 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Edutainment Technologies. Educational Games and Virtual Reality/Augmented Reality Applications by Chang, Maiga. Publication: . XXIV, 560p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical Aspects of Computing – ICTAC 2011 by Cerone, Antonio. Publication: . X, 267p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
CONCUR 2011 – Concurrency Theory by Katoen, Joost-Pieter. Publication: . XIV, 560p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Mathematics of Language by Kanazawa, Makoto. Publication: . IV, 227p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Holonic and Multi-Agent Systems for Manufacturing by Mařík, Vladimír. Publication: . XIII, 267 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Security Analysis and Design VI by Aldini, Alessandro. Publication: . VII, 275p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Business Process Management by Rinderle-Ma, Stefanie. Publication: . Approx. 420 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Foundations of Computer Science 2011 by Murlak, Filip. Publication: . XV, 618 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamentals of Computation Theory by Owe, Olaf. Publication: . XIII, 373 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 Next >>
Languages: 
English |
العربية