|
|
Model and Data Engineering
by Bellatreche, Ladjel.
Publication:
. XI, 288 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Information System Engineering – WISE 2011
by Bouguettaya, Athman.
Publication:
. XV, 346 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Salaün, Gwen.
Publication:
. X, 261 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rough Sets and Knowledge Technology
by Yao, JingTao.
Publication:
. XVIII, 771 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Learning Theory
by Kivinen, Jyrki.
Publication:
. XIII, 453 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Network and Parallel Computing
by Altman, Erik.
Publication:
. XIII, 368 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Information Systems Engineering – WISE 2010 Workshops
by Chiu, Dickson K. W.
Publication:
. XXII, 506 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Photogrammetric Image Analysis
by Stilla, Uwe.
Publication:
. XIII, 309 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Bultan, Tevfik.
Publication:
. XIV, 532 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers of Combining Systems
by Tinelli, Cesare.
Publication:
. VIII, 275 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Architecture
by Varbanescu, Ana Lucia.
Publication:
. XXVII, 378p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Machine Learning in Medical Imaging
by Suzuki, Kenji.
Publication:
. XIII, 371 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Provable Security
by Boyen, Xavier.
Publication:
. XIII, 399 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Fahrenberg, Uli.
Publication:
. XI, 353 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reachability Problems
by Delzanno, Giorgio.
Publication:
. XII, 245 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modeling and Using Context
by Beigl, Michael.
Publication:
. XIII, 336 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Hage, Jurriaan.
Publication:
. X, 217 p. 29 illus., 4 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Safety, Reliability, and Security
by Flammini, Francesco.
Publication:
. XI, 482p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logistics
by Böse, Jürgen W.
Publication:
. XI, 371 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Security and Cryptology - ICISC 2010
by Rhee, Kyung-Hyune.
Publication:
. XIII, 435p.
Availability:
Copies available:
AUM Main Library
(1),
|
|