|
|
KI 2011: Advances in Artificial Intelligence
by Bach, Joscha.
Publication:
. XIV, 370p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Scholz, Sven-Bodo.
Publication:
. X, 291p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Advances in the Message Passing Interface
by Cotronis, Yiannis.
Publication:
. XIV, 358 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multimodal Brain Image Analysis
by Liu, Tianming.
Publication:
. IX, 162 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model and Data Engineering
by Bellatreche, Ladjel.
Publication:
. XI, 288 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Information System Engineering – WISE 2011
by Bouguettaya, Athman.
Publication:
. XV, 346 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Salaün, Gwen.
Publication:
. X, 261 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rough Sets and Knowledge Technology
by Yao, JingTao.
Publication:
. XVIII, 771 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Learning Theory
by Kivinen, Jyrki.
Publication:
. XIII, 453 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Network and Parallel Computing
by Altman, Erik.
Publication:
. XIII, 368 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Information Systems Engineering – WISE 2010 Workshops
by Chiu, Dickson K. W.
Publication:
. XXII, 506 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Photogrammetric Image Analysis
by Stilla, Uwe.
Publication:
. XIII, 309 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Bultan, Tevfik.
Publication:
. XIV, 532 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers of Combining Systems
by Tinelli, Cesare.
Publication:
. VIII, 275 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Architecture
by Varbanescu, Ana Lucia.
Publication:
. XXVII, 378p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Machine Learning in Medical Imaging
by Suzuki, Kenji.
Publication:
. XIII, 371 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Provable Security
by Boyen, Xavier.
Publication:
. XIII, 399 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Fahrenberg, Uli.
Publication:
. XI, 353 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reachability Problems
by Delzanno, Giorgio.
Publication:
. XII, 245 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modeling and Using Context
by Beigl, Michael.
Publication:
. XIII, 336 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|