|
|
Logic, Language, Information and Computation
by Ong, Luke.
Publication:
. XII, 337 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Controlled Natural Language
by Kuhn, Tobias.
Publication:
. X, 190 p. 34 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cooperative Design, Visualization, and Engineering
by Luo, Yuhua.
Publication:
. X, 290 p. 123 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ICT as Key Technology against Global Warming
by Auweter, Axel.
Publication:
. IX, 127 p. 56 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Database and Expert Systems Applications
by Liddle, Stephen W.
Publication:
. XXIII, 514 p. 215 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Database and Expert Systems Applications
by Liddle, Stephen W.
Publication:
. XXIV, 526 p. 176 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Foundations of Computer Science 2012
by Rovan, Branislav.
Publication:
. XV, 825 p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Warehousing and Knowledge Discovery
by Cuzzocrea, Alfredo.
Publication:
. XIII, 454 p. 198 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Knowledge Management and Acquisition for Intelligent Systems
by Richards, Deborah.
Publication:
. XIII, 373 p. 154 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Autonomous Robotics
by Herrmann, Guido.
Publication:
. XVI, 469 p. 135 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
by Gupta, Anupam.
Publication:
. XV, 674 p. 21 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multidisciplinary Research and Practice for Information Systems
by Quirchmayr, Gerald.
Publication:
. XV, 683 p. 235 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundational and Practical Aspects of Resource Analysis
by Peña, Ricardo.
Publication:
. VII, 143 p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Stoelinga, Mariëlle.
Publication:
. XIV, 223 p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Business System Management and Engineering
by Ardagna, Claudio A.
Publication:
. X, 197 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Intelligence for Multimedia Understanding
by Salerno, Emanuele.
Publication:
. XII, 235 p. 92 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Technology in Bio- and Medical Informatics
by Böhm, Christian.
Publication:
. X, 173 p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Health Informatics Engineering and Systems
by Liu, Zhiming.
Publication:
. X, 225 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Beringer, Lennart.
Publication:
. XI, 419 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Management in Cloud, Grid and P2P Systems
by Hameurlain, Abdelkader.
Publication:
. IX, 113 p. 34 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|