//]]>
Unhighlight Highlight
Algorithmic Learning Theory by Hutter, Marcus. Publication: . XIII, 421p. 45 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Transformations by Ehrig, Hartmut. Publication: . XII, 419p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Static Analysis by Cousot, Radhia. Publication: . XI, 473p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logics in Artificial Intelligence by Janhunen, Tomi. Publication: . XIV, 374p. 48 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing – Practice and Research Techniques by Bottaci, Leonardo. Publication: . XIII, 219p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles and Practice of Constraint Programming – CP 2010 by Cohen, David. Publication: . XX, 650p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Kučera, Antonín. Publication: . X, 199p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Chatterjee, Krishnendu. Publication: . X, 257p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science Logic by Dawar, Anuj. Publication: . XIV, 548p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and the Foundations of Game and Decision Theory – LOFT 8 by Bonanno, Giacomo. Publication: . XI, 207p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Foundations of Computer Science 2010 by Hliněný, Petr. Publication: . XVII, 714p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verified Software: Theories, Tools, Experiments by Leavens, Gary T. Publication: . X, 217p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fields of Logic and Computation by Blass, Andreas. Publication: . XIII, 627p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Dix, Jürgen. Publication: . XIV, 257p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Finite-State Methods and Natural Language Processing by Yli-Jyrä, Anssi. Publication: . X, 147p. 44 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming by Butterfield, Andrew. Publication: . IX, 279p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Developments in Language Theory by Gao, Yuan. Publication: . XII, 446p. 48 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing Techniques in Software Engineering by Borba, Paulo. Publication: . IX, 313p. 73 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Mathematics of Language by Ebert, Christian. Publication: . VIII, 297p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A 25-Year Perspective on Logic Programming by Dovier, Agostino. Publication: . XIV, 329p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 2 3 4 5 6 7 8 9 10 11 12 13 14 Next >>
Languages: 
English |
العربية