|
|
Unifying Theories of Programming and Formal Engineering Methods
by Liu, Zhiming.
Publication:
. XII, 283 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical Aspects of Computing – ICTAC 2013
by Liu, Zhiming.
Publication:
. XII, 445 p. 100 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Machine Learning and Data Mining in Pattern Recognition
by Perner, Petra.
Publication:
. XII, 660 p. 199 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Blazy, Sandrine.
Publication:
. XII, 498 p. 73 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory, Practice, and Applications of Rules on the Web
by Morgenstern, Leora.
Publication:
. XVIII, 249 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hardware and Software: Verification and Testing
by Biere, Armin.
Publication:
. XII, 281 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Statistical Language and Speech Processing
by Dediu, Adrian-Horia.
Publication:
. XII, 309 p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial General Intelligence
by Kühnberger, Kai-Uwe.
Publication:
. XII, 207 p. 39 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Uncertainty in Knowledge Modelling and Decision Making
by Qin, Zengchang.
Publication:
. XII, 219 p. 61 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computing Theories and Technology
by Huang, De-Shuang.
Publication:
. XXIV, 693 p. 268 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computing Theories
by Huang, De-Shuang.
Publication:
. XXII, 651 p. 256 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Inclusive Society: Health and Wellbeing in the Community, and Care at Home
by Biswas, Jit.
Publication:
. XVI, 332 p. 153 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Integration in the Life Sciences
by Baker, Christopher J. O.
Publication:
. X, 141 p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Virtual Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments
by Shumaker, Randall.
Publication:
. XXVI, 399 p. 178 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition
by Harris, Don.
Publication:
. XXIV, 377 p. 138 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computer Mathematics
by Carette, Jacques.
Publication:
. XVI, 384 p. 100 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
RoboCup 2012: Robot Soccer World Cup XVI
by Chen, Xiaoping.
Publication:
. XII, 392 p. 183 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Engineering
by Daniel, Florian.
Publication:
. XVIII, 528 p. 185 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Pattern Recognition in Bioinformatics
by Ngom, Alioune.
Publication:
. XIX, 290 p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data
by Holzinger, Andreas.
Publication:
. XVI, 442 p. 136 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|