|
|
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),
|
|
|
Computing and Combinatorics
by Du, Ding-Zhu.
Publication:
. XVIII, 861 p. 220 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),
|
|
|
Experimental Algorithms
by Bonifaci, Vincenzo.
Publication:
. XII, 416 p. 81 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),
|
|
|
Algorithms for Sensor Systems
by Bar-Noy, Amotz.
Publication:
. X, 145 p. 26 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and Its Applications
by Lodaya, Kamal.
Publication:
. X, 259 p. 18 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
SOFSEM 2013: Theory and Practice of Computer Science
by Emde Boas, Peter.
Publication:
. XIV, 566 p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Structures for STEM Research and Education
by Pfeiffer, Heather D.
Publication:
. XI, 333 p. 109 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles of Distributed Systems
by Baldoni, Roberto.
Publication:
. XIV, 361 p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Design and Analysis of Algorithms
by Even, Guy.
Publication:
. X, 261 p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Simulated Evolution and Learning
by Bui, Lam Thu.
Publication:
. XIV, 512 p. 193 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph-Theoretic Concepts in Computer Science
by Golumbic, Martin Charles.
Publication:
. XIV, 346 p. 45 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Learning and Intelligent Optimization
by Hamadi, Youssef.
Publication:
. XXIV, 514 p. 132 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Machine Learning and Knowledge Discovery in Databases
by Flach, Peter A.
Publication:
. XXVI, 867 p. 245 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Machine Learning and Knowledge Discovery in Databases
by Flach, Peter A.
Publication:
. XXVI, 879 p. 241 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|