Logic, Rationality, and Interaction by Grossi, Davide. Publication: . XII, 363 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction in Geometry by Ida, Tetsuo. Publication: . X, 193 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic Informatics by Muntean, Traian. Publication: . X, 275 p. 14 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles and Practice of Constraint Programming by Schulte, Christian. Publication: . XVIII, 898 p. 226 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programming and Nonmonotonic Reasoning by Cabalar, Pedro. Publication: . XVIII, 570 p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning with Analytic Tableaux and Related Methods by Galmiche, Didier. Publication: . X, 289 p. 34 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms in Bioinformatics by Darling, Aaron. Publication: . XIV, 378 p. 97 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms – ESA 2013 by Bodlaender, Hans L. Publication: . XVIII, 829 p. 134 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques by Raghavendra, Prasad. Publication: . XIV, 716 p. 48 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Foundations of Computer Science 2013 by Chatterjee, Krishnendu. Publication: . XVI, 854 p. 92 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Space-Efficient Data Structures, Streams, and Algorithms by Brodnik, Andrej. Publication: . XXVIII, 363 p. 58 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Spatial and Temporal Databases by Nascimento, Mario A. Publication: . XVIII, 502 p. 233 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamentals of Computation Theory by Gąsieniec, Leszek. Publication: . XII, 318 p. 45 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Data Structures by Dehne, Frank. Publication: . XIV, 538 p. 132 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Cryptology – CRYPTO 2013 by Canetti, Ran. Publication: . XVIII, 558 p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Cryptology – CRYPTO 2013 by Canetti, Ran. Publication: . XVIII, 590 p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Geometric Science of Information by Nielsen, Frank. Publication: . XX, 879 p. 157 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics and Computation in Music by Yust, Jason. Publication: . XVIII, 241 p. 111 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Descriptional Complexity of Formal Systems by Jurgensen, Helmut. Publication: . X, 289 p. 56 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata, Languages, and Programming by Fomin, Fedor V. Publication: . XXVI, 698 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 7 8 9 10 Next >>