|
|
Certified Programs and Proofs
by Jouannaud, Jean-Pierre.
Publication:
. XV, 401p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Quality in e-Health
by Holzinger, Andreas.
Publication:
. XVI, 716p. 219 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Science XIV
by Gavrilova, Marina L.
Publication:
. XIII, 239 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction in Geometry
by Schreck, Pascal.
Publication:
. X, 259 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Algorithms
by Iliopoulos, Costas S.
Publication:
. XI, 387 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Quantum Interaction
by Song, Dawei.
Publication:
. IX, 229 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Foundations in Computer Science
by Kuich, Werner.
Publication:
. X, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Pattern Recognition in Bioinformatics
by Loog, Marco.
Publication:
. XII, 344 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Game Theory
by Persiano, Giuseppe.
Publication:
. XI, 327p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Social Informatics
by Datta, Anwitaman.
Publication:
. XVII, 342 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Economics of Converged, Internet-Based Networks
by Cohen, Johanne.
Publication:
. IX, 75p. 25 illus.
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),
|
|
|
Modeling and Using Context
by Beigl, Michael.
Publication:
. XIII, 336 p.
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),
|
|
|
Logic, Rationality, and Interaction
by Ditmarsch, Hans.
Publication:
. XI, 403 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Adaptive and Intelligent Systems
by Bouchachia, Abdelhamid.
Publication:
. XII, 430 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms – ESA 2011
by Demetrescu, Camil.
Publication:
. XIX, 813 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2011
by Fichtinger, Gabor.
Publication:
. XXX, 699 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2011
by Fichtinger, Gabor.
Publication:
. XXXI, 685 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2011
by Fichtinger, Gabor.
Publication:
. XLIX, 689 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|