|
|
Theory and Applications of Satisfiability Testing – SAT 2013
by Järvisalo, Matti.
Publication:
. XVI, 437 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Neural Networks – ISNN 2013
by Guo, Chengan.
Publication:
. XXVI, 653 p. 234 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Neural Networks – ISNN 2013
by Guo, Chengan.
Publication:
. XXVI, 687 p. 268 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Nature of Computation. Logic, Algorithms, Applications
by Bonizzoni, Paola.
Publication:
. XVIII, 446 p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Typed Lambda Calculi and Applications
by Hasegawa, Masahito.
Publication:
. XII, 251 p. 18 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Pattern Matching
by Fischer, Johannes.
Publication:
. X, 259 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Developments in Language Theory
by Béal, Marie-Pierre.
Publication:
. XIV, 460 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computing and Combinatorics
by Du, Ding-Zhu.
Publication:
. XVIII, 861 p. 220 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management
by Fellows, Michael.
Publication:
. XII, 364 p. 97 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Swarm Intelligence
by Tan, Ying.
Publication:
. XXII, 534 p. 265 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Swarm Intelligence
by Tan, Ying.
Publication:
. XXII, 576 p. 197 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Science – Theory and Applications
by Bulatov, Andrei A.
Publication:
. XII, 445 p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Experimental Algorithms
by Bonifaci, Vincenzo.
Publication:
. XII, 416 p. 81 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Cryptology – EUROCRYPT 2013
by Johansson, Thomas.
Publication:
. XIV, 736 p. 77 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Morphology and Its Applications to Signal and Image Processing
by Hendriks, Cris L. Luengo.
Publication:
. XII, 532 p. 225 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Models of Computation
by Chan, T-H. Hubert.
Publication:
. XV, 356 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Complexity
by Spirakis, Paul G.
Publication:
. XIV, 384 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph-Based Representations in Pattern Recognition
by Kropatsch, Walter G.
Publication:
. XII, 255 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Albert, Elvira.
Publication:
. X, 245 p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
by Gomes, Carla.
Publication:
. XII, 403 p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|