//]]>
Unhighlight Highlight
Relational and Algebraic Methods in Computer Science by Kahl, Wolfram. Publication: . XII, 361 p. 33 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Parallel Problem Solving from Nature - PPSN XII by Coello, Carlos A. Coello. Publication: . XXIII, 531 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Parallel Problem Solving from Nature - PPSN XII by Coello, Carlos A. Coello. Publication: . XXIII, 541 p. 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
Logic-Based Program Synthesis and Transformation by Vidal, Germán. Publication: . X, 254 p. 61 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
Advances in Computer Games by Herik, H. Jaap. Publication: . XXIII, 356p. 131 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
Deontic Logic in Computer Science by Ågotnes, Thomas. Publication: . XII, 215 p. 21 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Lectures on Logic and Computation by Bezhanishvili, Nick. Publication: . VIII, 265 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning by Gramlich, Bernhard. Publication: . XIV, 568p. 90 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
Diagrammatic Representation and Inference by Cox, Philip. Publication: . XIII, 358p. 202 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fun with Algorithms by Kranakis, Evangelos. Publication: . XI, 397p. 148 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Concept Analysis by Domenach, Florent. Publication: . XII, 309 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems by Beldiceanu, Nicolas. Publication: . XI, 409p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Science XV by Gavrilova, Marina L. Publication: . XIII, 217 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Information and Knowledge Systems by Lukasiewicz, Thomas. Publication: . XII, 405 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles of Distributed Systems by Fernàndez Anta, Antonio. Publication: . XIII, 564 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Learning and Intelligent Optimization by Coello, Carlos A. Coello. Publication: . XVII, 636 p. 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 |
العربية