|
|
Reachability Problems
by Finkel, Alain.
Publication:
. XII, 149 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Robotics and Applications
by Su, Chun-Yi.
Publication:
. XXXVI, 723 p. 434 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Robotics and Applications
by Su, Chun-Yi.
Publication:
. XX, 625 p. 386 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Discovery Science
by Ganascia, Jean-Gabriel.
Publication:
. XIV, 329 p. 77 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Electronic Government
by Scholl, Hans J.
Publication:
. XIII, 279 p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Machine Learning and Knowledge Discovery in Databases
by Flach, Peter A.
Publication:
. XXVI, 867 p. 245 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Progress in Cryptology – LATINCRYPT 2012
by Hevia, Alejandro.
Publication:
. XII, 323 p. 26 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial Intelligence and Computational Intelligence
by Lei, Jingsheng.
Publication:
. XX, 788 p. 312 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical Computer Science
by Baeten, Jos C. M.
Publication:
. X, 393 p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Information Systems and Mining
by Wang, Fu Lee.
Publication:
. XVIII, 718 p. 271 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
E-Learning and Games for Training, Education, Health and Sports
by Göbel, Stefan.
Publication:
. XVIII, 194 p. 68 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mesh Processing in Medical Image Analysis 2012
by Levine, Joshua A.
Publication:
. X, 169 p. 81 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Machine Learning and Knowledge Discovery in Databases
by Flach, Peter A.
Publication:
. XXVI, 879 p. 241 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012
by Ayache, Nicholas.
Publication:
. XXXII, 645 p. 285 illus., 255 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented and Cloud Computing
by Paoli, Flavio.
Publication:
. XI, 282 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|