//]]>
Unhighlight Highlight
Automated Reasoning with Analytic Tableaux and Related Methods by Brünnler, Kai. Publication: . VIII, 279p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Verification by Gopalakrishnan, Ganesh. Publication: . XV, 763p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Processing in Medical Imaging by Székely, Gábor. Publication: . XXI, 787 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Composition by Apel, Sven. Publication: . VIII, 181p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Intelligence and Security Informatics by Chau, Michael. Publication: . X, 133p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Aspect-Oriented Software Development VIII by Katz, Shmuel. Publication: . XIII, 221 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Virtual and Mixed Reality - Systems and Applications by Shumaker, Randall. Publication: . XXVII, 436p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Virtual and Mixed Reality - New Trends by Shumaker, Randall. Publication: . 432p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata, Languages and Programming by Aceto, Luca. Publication: . XXVI, 666 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata, Languages and Programming by Aceto, Luca. Publication: . XXIV, 802p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agent and Multi-Agent Systems: Technologies and Applications by O’Shea, James. Publication: . XVII, 704p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Progress in Cryptology – AFRICACRYPT 2011 by Nitaj, Abderrahmane. Publication: . XIII, 387p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Objects, Models, Components, Patterns by Bishop, Judith. Publication: . X, 307p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Intelligence Methods for Bioinformatics and Biostatistics by Rizzo, Riccardo. Publication: . XIII, 288 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Argumentation in Multi-Agent Systems by McBurney, Peter. Publication: . X, 327p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Science and Its Applications - ICCSA 2011 by Murgante, Beniamino. Publication: . LVIII, 662 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Science and Its Applications - ICCSA 2011 by Murgante, Beniamino. Publication: . LVII, 700 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Science and Its Applications - ICCSA 2011 by Murgante, Beniamino. Publication: . LXXXII, 728 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Intelligent Systems by Kryszkiewicz, Marzena. Publication: . XIX, 746p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Science and Its Applications - ICCSA 2011 by Murgante, Beniamino. Publication: . LVII, 666 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 Next >>
Languages: 
English |
العربية