|
|
Interactive Theorem Proving
by Beringer, Lennart.
Publication:
. XI, 419 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computing Technology
by Huang, De-Shuang.
Publication:
. XXIV, 667 p. 257 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computing Theories and Applications
by Huang, De-Shuang.
Publication:
. XXII, 683 p. 265 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Health Information Science
by He, Jing.
Publication:
. XIII, 187p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hybrid Artificial Intelligent Systems
by Corchado, Emilio.
Publication:
. XXXII, 708 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hybrid Artificial Intelligent Systems
by Corchado, Emilio.
Publication:
. XXXII, 606 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Building a National Distributed e-Infrastructure–PL-Grid
by Bubak, Marian.
Publication:
. XII, 354 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Social Robotics
by Mutlu, Bilge.
Publication:
. XV, 237p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Security and Intelligent Information Systems
by Bouvry, Pascal.
Publication:
. XVII, 401 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2011
by Meersman, Robert.
Publication:
. XXVIII, 430 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Intelligent Computing
by Huang, De-Shuang.
Publication:
. XXI, 707 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Social Informatics
by Datta, Anwitaman.
Publication:
. XVII, 342 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Convergence and Hybrid Information Technology
by Lee, Geuk.
Publication:
. XXVIII, 789p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Database and Expert Systems Applications
by Hameurlain, Abdelkader.
Publication:
. XXV, 562p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agent and Multi-Agent Systems: Technologies and Applications
by O’Shea, James.
Publication:
. XVII, 704p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Privacy and Security Issues in Data Mining and Machine Learning
by Dimitrakakis, Christos.
Publication:
. VII, 141 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Future Generation Information Technology
by Kim, Tai-hoon.
Publication:
. XVI, 756p. 414 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems, OTM 2010
by Meersman, Robert.
Publication:
. XXII, 466p. 138 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2010
by Meersman, Robert.
Publication:
. XXII, 703p. 230 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Collective Intelligence. Technologies and Applications
by Pan, Jeng-Shyang.
Publication:
. XV, 514p. 257 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|