|
|
ECOOP 2013 – Object-Oriented Programming
by Castagna, Giuseppe.
Publication:
. XXII, 746 p. 206 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Architecture
by Drira, Khalil.
Publication:
. XVI, 354 p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Foundations and Applications
by Gorp, Pieter.
Publication:
. X, 237 p. 93 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Emerging Management Mechanisms for the Future Internet
by Doyen, Guillaume.
Publication:
. XVI, 161 p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Pattern Recognition
by Carrasco-Ochoa, Jesús Ariel.
Publication:
. XIV, 386 p. 189 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reversible Computation
by Dueck, Gerhard W.
Publication:
. X, 263 p. 92 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applied Cryptography and Network Security
by Jacobson, Michael.
Publication:
. XIV, 572 p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Safe and Secure Software Reuse
by Favaro, John.
Publication:
. XIV, 362 p. 114 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|