//]]>
Unhighlight Highlight
Theory and Applications of Satisfiability Testing – SAT 2013 by Järvisalo, Matti. Publication: . XVI, 437 p. 84 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Neural Networks – ISNN 2013 by Guo, Chengan. Publication: . XXVI, 653 p. 234 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Neural Networks – ISNN 2013 by Guo, Chengan. Publication: . XXVI, 687 p. 268 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human Factors in Computing and Informatics by Holzinger, Andreas. Publication: . XXIV, 845 p. 294 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information Security and Privacy by Boyd, Colin. Publication: . XII, 437 p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Case-Based Reasoning Research and Development by Delany, Sarah Jane. Publication: . XII, 374 p. 124 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Nature of Computation. Logic, Algorithms, Applications by Bonizzoni, Paola. Publication: . XVIII, 446 p. 42 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
Modelling Foundations and Applications by Gorp, Pieter. Publication: . X, 237 p. 93 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Emerging Management Mechanisms for the Future Internet by Doyen, Guillaume. Publication: . XVI, 161 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Pattern Recognition by Carrasco-Ochoa, Jesús Ariel. Publication: . XIV, 386 p. 189 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reversible Computation by Dueck, Gerhard W. Publication: . X, 263 p. 92 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Applied Cryptography and Network Security by Jacobson, Michael. Publication: . XIV, 572 p. 115 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Safe and Secure Software Reuse by Favaro, John. Publication: . XIV, 362 p. 114 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Typed Lambda Calculi and Applications by Hasegawa, Masahito. Publication: . XII, 251 p. 18 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and Proofs by Veanes, Margus. Publication: . X, 233 p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
SDL 2013: Model-Driven Dependability Engineering by Khendek, Ferhat. Publication: . XII, 291 p. 138 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Trust and Trustworthy Computing by Huth, Michael. Publication: . XIV, 278 p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Pattern Matching by Fischer, Johannes. Publication: . X, 259 p. 58 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 Next >>
Languages: 
English |
العربية