|
|
Artificial Intelligence in Medicine
by Peek, Niels.
Publication:
. XX, 316 p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Cellier, Peggy.
Publication:
. X, 267 p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Morphology and Its Applications to Signal and Image Processing
by Hendriks, Cris L. Luengo.
Publication:
. XII, 532 p. 225 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Semantic Web: Semantics and Big Data
by Cimiano, Philipp.
Publication:
. XXVIII, 728 p. 166 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Scale Space and Variational Methods in Computer Vision
by Kuijper, Arjan.
Publication:
. XII, 514 p. 196 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Optical Supercomputing
by Dolev, Shlomi.
Publication:
. X, 137 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Models of Computation
by Chan, T-H. Hubert.
Publication:
. XV, 356 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Complexity
by Spirakis, Paul G.
Publication:
. XIV, 384 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Services and Formal Methods
by Beek, Maurice H.
Publication:
. X, 151 p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Infocomm Technology
by Guyot, Vincent.
Publication:
. XVI, 358 p. 153 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph-Based Representations in Pattern Recognition
by Kropatsch, Walter G.
Publication:
. XII, 255 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model-Based Methodologies for Pervasive and Embedded Software
by Machado, Ricardo J.
Publication:
. X, 139 p. 61 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Albert, Elvira.
Publication:
. X, 245 p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
by Gomes, Carla.
Publication:
. XII, 403 p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
by Coecke, Bob.
Publication:
. XX, 363 p. 26 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Petri Nets and Other Models of Concurrency VII
by Jensen, Kurt.
Publication:
. XVI, 423 p. 250 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NASA Formal Methods
by Brat, Guillaume.
Publication:
. XXIV, 486 p. 164 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Augmented Environments for Computer-Assisted Interventions
by Linte, Cristian A.
Publication:
. XII, 179 p. 120 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Future Internet
by Galis, Alex.
Publication:
. XLIV, 369 p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Clinical Image-Based Procedures. From Planning to Intervention
by Drechsler, Klaus.
Publication:
. X, 132 p. 59 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|