//]]>
Tools for Teaching Logic by Blackburn, Patrick. Publication: . XI, 257p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations on Natural and Artificial Computation by Ferrández, José Manuel. Publication: . XXV, 566 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unconventional Computation by Calude, Cristian S. Publication: . X, 247p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
New Challenges on Bioinspired Applications by Ferrández, José Manuel. Publication: . XXV, 486p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Artificial Life. Darwin Meets von Neumann by Kampis, George. Publication: . XXII, 481p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems by Achterberg, Tobias. Publication: . X, 253p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Inductive Logic Programming by Frasconi, Paolo. Publication: . XI, 278p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems by Calinescu, Radu. Publication: . 250p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Artificial Life. Darwin Meets von Neumann by Kampis, George. Publication: . XXI, 501p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Coordination, Organizations, Institutions, and Norms in Agent Systems VI by Vos, Marina. Publication: . XVI, 377p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Pattern Recognition and Image Analysis by Vitrià, Jordi. Publication: . XXI, 754p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Language and Automata Theory and Applications by Dediu, Adrian-Horia. Publication: . XIII, 512p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hybrid Artificial Intelligent Systems by Corchado, Emilio. Publication: . XXIX, 490 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hybrid Artificial Intelligent Systems by Corchado, Emilio. Publication: . XXX, 472 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Neural Networks – ISNN 2011 by Liu, Derong. Publication: . XXII, 642 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Neural Networks – ISNN 2011 by Liu, Derong. Publication: . XXXIV, 634 p. 39 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Neural Networks – ISNN 2011 by Liu, Derong. Publication: . XXII, 646 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Relational and Algebraic Methods in Computer Science by Swart, Harrie. Publication: . VIII, 363 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Semanic Web: Research and Applications by Antoniou, Grigoris. Publication: . XXIV, 520p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction in Geometry by Sturm, Thomas. Publication: . IX, 225p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية