|
|
Transactions on Petri Nets and Other Models of Concurrency VI
by Jensen, Kurt.
Publication:
. XX, 365 p. 193 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
AI 2012: Advances in Artificial Intelligence
by Thielscher, Michael.
Publication:
. XX, 917 p. 244 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),
|
|
|
Advances in Artificial Intelligence – IBERAMIA 2012
by Pavón, Juan.
Publication:
. XXVI, 745 p. 240 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Collective Intelligence VIII
by Nguyen, Ngoc-Thanh.
Publication:
. X, 229 p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Neural Information Processing
by Huang, Tingwen.
Publication:
. XXII, 756 p. 327 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Neural Information Processing
by Huang, Tingwen.
Publication:
. XXI, 722 p. 196 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Neural Information Processing
by Huang, Tingwen.
Publication:
. XXII, 712 p. 230 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Neural Information Processing
by Huang, Tingwen.
Publication:
. XXII, 710 p. 305 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Neural Information Processing
by Huang, Tingwen.
Publication:
. XXII, 708 p. 263 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),
|
|
|
Simulation, Modeling, and Programming for Autonomous Robots
by Noda, Itsuki.
Publication:
. XIV, 414 p. 198 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Geometry
by Márquez, Alberto.
Publication:
. X, 283 p. 176 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Learning Theory
by Bshouty, Nader H.
Publication:
. XII, 381 p. 23 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
by Margaria, Tiziana.
Publication:
. XVI, 361 p. 129 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
by Margaria, Tiziana.
Publication:
. XVI, 617 p. 170 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Natural Computing
by Dediu, Adrian-Horia.
Publication:
. X, 227 p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial Immune Systems
by Coello Coello, Carlos A.
Publication:
. XIX, 293 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Methods in Systems Biology
by Gilbert, David.
Publication:
. XII, 396 p. 145 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Abdominal Imaging. Computational and Clinical Applications
by Yoshida, Hiroyuki.
Publication:
. XIV, 304 p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|