|
|
Typed Lambda Calculi and Applications
by Hasegawa, Masahito.
Publication:
. XII, 251 p. 18 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tests and Proofs
by Veanes, Margus.
Publication:
. X, 233 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
SDL 2013: Model-Driven Dependability Engineering
by Khendek, Ferhat.
Publication:
. XII, 291 p. 138 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trust and Trustworthy Computing
by Huth, Michael.
Publication:
. XIV, 278 p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Pattern Matching
by Fischer, Johannes.
Publication:
. X, 259 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional Imaging and Modeling of the Heart
by Ourselin, Sébastien.
Publication:
. XVIII, 494 p. 238 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Image Analysis
by Kämäräinen, Joni-Kristian.
Publication:
. XIV, 733 p. 363 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Model Transformations
by Duddy, Keith.
Publication:
. XIV, 221 p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Dynamical Systems
by Bernardo, Marco.
Publication:
. VIII, 181 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Processing in Medical Imaging
by Gee, James C.
Publication:
. XXIV, 782 p. 312 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multi-Agent-Based Simulation XIII
by Giardini, Francesca.
Publication:
. X, 157 p. 63 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Static Analysis
by Logozzo, Francesco.
Publication:
. X, 499 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Nonlinear Speech Processing
by Drugman, Thomas.
Publication:
. X, 217 p. 81 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
User Modeling, Adaptation, and Personalization
by Carberry, Sandra.
Publication:
. XXVI, 416 p. 120 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Design Science at the Intersection of Physical and Virtual Design
by Brocke, Jan.
Publication:
. XVI, 528 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Natural Language Processing and Information Systems
by Métais, Elisabeth.
Publication:
. XV, 426 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Inductive Logic Programming
by Riguzzi, Fabrizio.
Publication:
. X, 273 p. 81 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Science XVIII
by Gavrilova, Marina L.
Publication:
. XVI, 265 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Dependable Computing
by Vieira, Marco.
Publication:
. XII, 207 p. 61 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Brain Inspired Cognitive Systems
by Liu, Derong.
Publication:
. XIV, 418 p. 144 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|