//]]>
Unhighlight Highlight
Model Checking Software by Groce, Alex. Publication: . X, 195p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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
Software Composition by Apel, Sven. Publication: . VIII, 181p. 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
Objects, Models, Components, Patterns by Bishop, Judith. Publication: . X, 307p. 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
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
Computational Science and Its Applications - ICCSA 2011 by Murgante, Beniamino. Publication: . LVII, 718 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Collective Intelligence IV by Nguyen, Ngoc Thanh. Publication: . IX, 211p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2010 Parallel Processing Workshops by Guarracino, Mario R. Publication: . XXVI, 699p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Product-Focused Software Process Improvement by Caivano, Danilo. Publication: . XIII, 353p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Applications and Theory of Petri Nets by Kristensen, Lars M. Publication: . XII, 349p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human Interface and the Management of Information. Interacting with Information by Smith, Michael J. Publication: . XXX, 673p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and Proofs by Gogolla, Martin. Publication: . X, 205p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 Next >>
Languages: 
English |
العربية