//]]>
Unhighlight Highlight
Formal Methods for Industrial Critical Systems by Stoelinga, Mariëlle. Publication: . XIV, 223 p. 87 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Beringer, Lennart. Publication: . XI, 419 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computing and Combinatorics by Gudmundsson, Joachim. Publication: . XIV, 606 p. 116 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
DNA Computing and Molecular Programming by Stefanovic, Darko. Publication: . X, 151 p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Inductive Logic Programming by Muggleton, Stephen H. Publication: . XI, 406 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Bioinformatics and Computational Biology by Souto, Marcilio C. Publication: . XII, 204p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Computer Games by Herik, H. Jaap. Publication: . XXIII, 356p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Developments in Language Theory by Yen, Hsu-Chun. Publication: . XIII, 478p. 65 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages Alive by Bordihn, Henning. Publication: . X, 291 p. 29 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Descriptional Complexity of Formal Systems by Kutrib, Martin. Publication: . X, 319p. 23 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Satisfiability Testing – SAT 2012 by Cimatti, Alessandro. Publication: . XIV, 500p. 364 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Automata by Moreira, Nelma. Publication: . XIII, 369 p. 76 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata, Languages, and Programming by Czumaj, Artur. Publication: . 860p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Intelligent Computing Technology by Huang, De-Shuang. Publication: . XXIV, 667 p. 257 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata, Languages, and Programming by Czumaj, Artur. Publication: . 700p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Brain Inspired Cognitive Systems by Zhang, Huaguang. Publication: . XVI, 421p. 146 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Biomimetic and Biohybrid Systems by Prescott, Tony J. Publication: . XVI, 405p. 200 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Neural Networks – ISNN 2012 by Wang, Jun. Publication: . XXV, 669p. 314 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Neural Networks – ISNN 2012 by Wang, Jun. Publication: . XXVI, 683 p. 210 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Application and Theory of Petri Nets by Haddad, Serge. Publication: . XI, 419p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية