|
|
Logic-Based Program Synthesis and Transformation
by Vidal, Germán.
Publication:
. X, 254 p. 61 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
DNA Computing and Molecular Programming
by Stefanovic, Darko.
Publication:
. X, 151 p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Optimization
by Mahjoub, A. Ridha.
Publication:
. XIV, 476 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Cryptology – CRYPTO 2012
by Safavi-Naini, Reihaneh.
Publication:
. XV, 888 p. 103 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Security and Cryptology - ICISC 2011
by Kim, Howon.
Publication:
. XII, 512 p. 98 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Computer Games
by Herik, H. Jaap.
Publication:
. XXIII, 356p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Optimization and Applications
by Lin, Guohui.
Publication:
. XI, 398 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Arithmetic of Finite Fields
by Özbudak, Ferruh.
Publication:
. XII, 247p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Developments in Language Theory
by Yen, Hsu-Chun.
Publication:
. XIII, 478p. 65 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Languages Alive
by Bordihn, Henning.
Publication:
. X, 291 p. 29 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2012
by Cimatti, Alessandro.
Publication:
. XIV, 500p. 364 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata, Languages, and Programming
by Czumaj, Artur.
Publication:
. 860p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata, Languages, and Programming
by Czumaj, Artur.
Publication:
. 700p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Deontic Logic in Computer Science
by Ågotnes, Thomas.
Publication:
. XII, 215 p. 21 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Processing and Applied Mathematics
by Wyrzykowski, Roman.
Publication:
. XXVII, 663 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Lectures on Logic and Computation
by Bezhanishvili, Nick.
Publication:
. VIII, 265 p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning
by Gramlich, Bernhard.
Publication:
. XIV, 568p. 90 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Neural Networks – ISNN 2012
by Wang, Jun.
Publication:
. XXV, 669p. 314 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Biomedical Image Registration
by Dawant, Benoît M.
Publication:
. XII, 308 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Pattern Matching
by Kärkkäinen, Juha.
Publication:
. XIII, 454p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|