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