|
|
Automated Technology for Verification and Analysis
by Bouajjani, Ahmed.
Publication:
. VIII, 404p. 112 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trustworthly Global Computing
by Wirsing, Martin.
Publication:
. XII, 380p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Life System Modeling and Intelligent Computing
by Li, Kang.
Publication:
. XXII, 518p. 245 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Business Process Management
by Hull, Richard.
Publication:
. XIII, 359p. 140 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Life System Modeling and Intelligent Computing
by Li, Kang.
Publication:
. XVIII, 719p. 305 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Life System Modeling and Intelligent Computing
by Li, Kang.
Publication:
. XXI, 518p. 230 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing – Practice and Research Techniques
by Bottaci, Leonardo.
Publication:
. XIII, 219p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Software – ICMS 2010
by Fukuda, Komei.
Publication:
. XIV, 368p. 59 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Product Lines: Going Beyond
by Bosch, Jan.
Publication:
. XXI, 534p. 159 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Databases and Information Systems
by Catania, Barbara.
Publication:
. XV, 600p. 230 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Empirical Methods in Natural Language Generation
by Krahmer, Emiel.
Publication:
. X, 353p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Vision – ECCV 2010
by Daniilidis, Kostas.
Publication:
. XXII, 611p. 282 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Vision – ECCV 2010
by Daniilidis, Kostas.
Publication:
. XXIII, 815p. 393 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Vision – ECCV 2010
by Daniilidis, Kostas.
Publication:
. XXIII, 813p. 398 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Vision – ECCV 2010
by Daniilidis, Kostas.
Publication:
. XXIII, 807p. 370 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Vision – ECCV 2010
by Daniilidis, Kostas.
Publication:
. XXIII, 813p. 340 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Vision – ECCV 2010
by Daniilidis, Kostas.
Publication:
. XXIII, 811p. 409 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Secure Data Management
by Jonker, Willem.
Publication:
. X, 172p. 65 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reasoning Web. Semantic Technologies for Software Engineering
by Aßmann, Uwe.
Publication:
. IX, 183p. 52 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Advances in Intrusion Detection
by Jha, Somesh.
Publication:
. 524p. 160 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|