|
|
Model Checking Software
by Bartocci, Ezio.
Publication:
. X, 377 p. 143 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport
by Duffy, Vincent G.
Publication:
. XXVIII, 386 p. 182 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),
|
|
|
Cross-Cultural Design. Methods, Practice, and Case Studies
by Rau, P. L. Patrick.
Publication:
. XXVII, 548 p. 207 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Similarity-Based Pattern Recognition
by Hancock, Edwin.
Publication:
. X, 297 p. 90 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cross-Cultural Design. Cultural Differences in Everyday Life
by Rau, P. L. Patrick.
Publication:
. XXVIII, 488 p. 144 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial Intelligence in Education
by Lane, H. Chad.
Publication:
. XXXII, 961 p. 203 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Image Analysis and Recognition
by Kamel, Mohamed.
Publication:
. XXII, 809 p. 407 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
by Gaag, Linda C.
Publication:
. XII, 536 p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Health Information Engineering and Systems
by Weber, Jens.
Publication:
. X, 223 p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Privacy Enhancing Technologies
by Cristofaro, Emiliano.
Publication:
. X, 265 p. 88 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unconventional Computation and Natural Computation
by Mauri, Giancarlo.
Publication:
. XVI, 262 p. 68 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2013
by Järvisalo, Matti.
Publication:
. XVI, 437 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Neural Networks – ISNN 2013
by Guo, Chengan.
Publication:
. XXVI, 653 p. 234 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Neural Networks – ISNN 2013
by Guo, Chengan.
Publication:
. XXVI, 687 p. 268 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human Factors in Computing and Informatics
by Holzinger, Andreas.
Publication:
. XXIV, 845 p. 294 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Security and Privacy
by Boyd, Colin.
Publication:
. XII, 437 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Case-Based Reasoning Research and Development
by Delany, Sarah Jane.
Publication:
. XII, 374 p. 124 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Nature of Computation. Logic, Algorithms, Applications
by Bonizzoni, Paola.
Publication:
. XVIII, 446 p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|