//]]>
Unhighlight Highlight
Interactive Theorem Proving by Eekelen, Marko. Publication: . XI, 383 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Bioinformatics and Computational Biology by Norberto de Souza, Osmar. Publication: . IX, 83p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Games on Automatic Structures by Kaiser, Łukasz. Publication: . XII, 118 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hybrid Learning by Kwan, Reggie. Publication: . XVI, 367 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Towards a Service-Based Internet. ServiceWave 2010 Workshops by Cezon, Michel. Publication: . XXIX, 209 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages, Methodologies, and Development Tools for Multi-Agent Systems by Dastani, Mehdi. Publication: . IX, 153 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Conceptual Structures for Discovering Knowledge by Andrews, Simon. Publication: . XIV, 424 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computing and Combinatorics by Fu, Bin. Publication: . XIII, 650p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Intelligent Computer Mathematics by Davenport, James H. Publication: . XIII, 312 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Edutainment VI by Pan, Zhigeng. Publication: . XI, 266 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agent-Oriented Software Engineering XI by Weyns, Danny. Publication: . X, 249 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Journal on Data Semantics XV by Spaccapietra, Stefano. Publication: . XV, 193 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Science XIII by Gavrilova, Marina L. Publication: . XX, 205 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modeling Decision for Artificial Intelligence by Torra, Vicenç. Publication: . XIII, 259 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Hybrid Deliberative Layer for Robotic Agents by Hartanto, Ronny. Publication: . XXII, 215 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rule-Based Reasoning, Programming, and Applications by Bassiliades, Nick. Publication: . XIII, 385 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Constraint Logic Programming by Kuchen, Herbert. Publication: . VII, 157 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction – CADE-23 by Bjørner, Nikolaj. Publication: . XIII, 508 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Collaborative Agents - Research and Development by Guttmann, Christian. Publication: . VIII, 187p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Artificial Immune Systems by Liò, Pietro. Publication: . XVI, 468p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 Next >>
Languages: 
English |
العربية