|
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012
by Ayache, Nicholas.
Publication:
. XXXIII, 670 p. 302 illus., 265 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012
by Ayache, Nicholas.
Publication:
. LIV, 759 p. 642 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Chakraborty, Supratik.
Publication:
. XIV, 436 p. 106 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Security
by Gollmann, Dieter.
Publication:
. XIV, 402 p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Jurdziński, Marcin.
Publication:
. X, 267 p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Scalable Uncertainty Management
by Hüllermeier, Eyke.
Publication:
. XVI, 648 p. 169 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logics in Artificial Intelligence
by Cerro, Luis Fariñas.
Publication:
. XIV, 498 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cellular Automata
by Sirakoulis, Georgios Ch.
Publication:
. XVIII, 859 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
KI 2012: Advances in Artificial Intelligence
by Glimm, Birte.
Publication:
. XIV, 267 p. 89 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Research in Attacks, Intrusions, and Defenses
by Balzarotti, Davide.
Publication:
. XIV, 400 p. 119 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Kahl, Wolfram.
Publication:
. XII, 361 p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods: Foundations and Applications
by Gheyi, Rohit.
Publication:
. X, 227 p. 67 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parameterized and Exact Computation
by Thilikos, Dimitrios M.
Publication:
. X, 275 p. 14 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Digital Libraries
by Zaphiris, Panayiotis.
Publication:
. XV, 500 p. 124 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Collaboration and Technology
by Herskovic, Valeria.
Publication:
. XIII, 237 p. 63 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
by Alvarez, Luis.
Publication:
. XXII, 896 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Provable Security
by Takagi, Tsuyoshi.
Publication:
. XIII, 337 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial Neural Networks and Machine Learning – ICANN 2012
by Villa, Alessandro E. P.
Publication:
. XXVII, 739 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial Neural Networks and Machine Learning – ICANN 2012
by Villa, Alessandro E.
Publication:
. XXVII, 587 p. 172 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
21st Century Learning for 21st Century Skills
by Ravenscroft, Andrew.
Publication:
. XVIII, 553 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|