|
|
| |
Verified Software: Theories, Tools, Experiments
by Leavens, Gary T.
Publication:
. X, 217p. 68 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Knowledge Management and Acquisition for Smart Systems and Services
by Kang, Byeong-Ho.
Publication:
. X, 313p. 107 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Transactions on Computational Collective Intelligence I
by Nguyen, Ngoc Thanh.
Publication:
. VII, 207p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Structural, Syntactic, and Statistical Pattern Recognition
by Hancock, Edwin R.
Publication:
. XV, 758p. 246 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Computational Logic in Multi-Agent Systems
by Dix, Jürgen.
Publication:
. XIV, 257p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Coordination, Organizations, Institutions and Norms in Agent Systems V
by Padget, Julian.
Publication:
. XVIII, 335p. 103 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Future Internet - FIS 2009
by Zseby, Tanja.
Publication:
. IX, 117p. 43 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
by Huang, De-Shuang.
Publication:
. XVIII, 685p. 277 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Advances in Social Network Mining and Analysis
by Giles, Lee.
Publication:
. XI, 131p. 47 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Advanced Intelligent Computing Theories and Applications
by Huang, De-Shuang.
Publication:
. XIX, 689p. 268 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
New Frontiers in Artificial Intelligence
by Nakakoji, Kumiyo.
Publication:
. XII, 374p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Programming Multi-Agent Systems
by Braubach, Lars.
Publication:
. XII, 285p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Advances in Natural Language Processing
by Loftsson, Hrafn.
Publication:
. 448p. 73 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Interfaces: Explorations in Logic, Language and Computation
by Icard, Thomas.
Publication:
. VII, 167p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Human Behavior Understanding
by Salah, Albert Ali.
Publication:
. IV, 173p. 45 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Finite-State Methods and Natural Language Processing
by Yli-Jyrä, Anssi.
Publication:
. X, 147p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
New Frontiers in Applied Data Mining
by Theeramunkong, Thanaruk.
Publication:
. XII, 169p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Diagrammatic Representation and Inference
by Goel, Ashok K.
Publication:
. XIII, 356p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Database Systems for Advanced Applications
by Yoshikawa, Masatoshi.
Publication:
. XIX, 472p. 192 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Computational Intelligence Methods for Bioinformatics and Biostatistics
by Masulli, Francesco.
Publication:
. XIII, 320p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
