|
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
by Serna, Maria.
Publication:
. XIII, 782p. 54 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Algebra in Scientific Computing
by Gerdt, Vladimir P.
Publication:
. XIV, 304p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|
|
Mathematical Foundations of Computer Science 2010
by Hliněný, Petr.
Publication:
. XVII, 714p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cryptographic Hardware and Embedded Systems, CHES 2010
by Mangard, Stefan.
Publication:
. XIII, 458p. 142 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Cryptology – CRYPTO 2010
by Rabin, Tal.
Publication:
. XIV, 744p. 63 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Diagrammatic Representation and Inference
by Goel, Ashok K.
Publication:
. XIII, 356p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers in Algorithmics
by Lee, Der-Tsai.
Publication:
. XI, 339p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Number Theory
by Hanrot, Guillaume.
Publication:
. XI, 397p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Developments in Language Theory
by Gao, Yuan.
Publication:
. XII, 446p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information, Security and Cryptology – ICISC 2009
by Lee, Donghoon.
Publication:
. XIII, 387p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Processing and Applied Mathematics
by Wyrzykowski, Roman.
Publication:
. XXIV, 596p. 272 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Processing and Applied Mathematics
by Wyrzykowski, Roman.
Publication:
. XXIV, 628p. 242 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Aspects in Information and Management
by Chen, Bo.
Publication:
. XI, 336p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Mathematics of Language
by Ebert, Christian.
Publication:
. VIII, 297p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A 25-Year Perspective on Logic Programming
by Dovier, Agostino.
Publication:
. XIV, 329p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning
by Giesl, Jürgen.
Publication:
. XII, 534p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2010
by Strichman, Ofer.
Publication:
. XIII, 400p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Deontic Logic in Computer Science
by Governatori, Guido.
Publication:
. VIII, 323p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata, Languages and Programming
by Abramsky, Samson.
Publication:
. XXIII, 754p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|