|
|
Leveraging Applications of Formal Methods, Verification, and Validation
by Margaria, Tiziana.
Publication:
. XV, 498p. 157 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation
by Margaria, Tiziana.
Publication:
. XX, 708p. 220 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue
by Casanovas, Pompeu.
Publication:
. X, 243p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Information Systems and Mining
by Wang, Fu Lee.
Publication:
. XV, 442p. 168 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ubiquitous Knowledge Discovery
by May, Michael.
Publication:
. X, 255p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
String Processing and Information Retrieval
by Chavez, Edgar.
Publication:
. XIV, 408p. 81 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modeling Decisions for Artificial Intelligence
by Torra, Vicenç.
Publication:
. XI, 299p. 81 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rough Set and Knowledge Technology
by Yu, Jian.
Publication:
. XVII, 781p. 178 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Discovery Science
by Pfahringer, Bernhard.
Publication:
. XIII, 384p. 108 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems II
by Hameurlain, Abdelkader.
Publication:
. XI, 141p. 65 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Artificial Intelligence – SBIA 2010
by Rocha Costa, Antônio Carlos.
Publication:
. XV, 313p. 100 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
KI 2010: Advances in Artificial Intelligence
by Dillmann, Rüdiger.
Publication:
. XVI, 446p. 150 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Objects and Databases
by Dearle, Alan.
Publication:
. XIV, 161p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Sustaining TEL: From Innovation to Learning and Practice
by Wolpers, Martin.
Publication:
. XI, 649p. 152 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Pattern Recognition in Bioinformatics
by Dijkstra, Tjeerd M. H.
Publication:
. XII, 442p. 153 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multilingual and Multimodal Information Access Evaluation
by Agosti, Maristella.
Publication:
. XIII, 145p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Scalable Uncertainty Management
by Deshpande, Amol.
Publication:
. XI, 389p. 79 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Machine Learning in Medical Imaging
by Wang, Fei.
Publication:
. IX, 192p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Machine Learning and Knowledge Discovery in Databases
by Balcázar, José Luis.
Publication:
. XXII, 632p. 183 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Reasoning and Rule Systems
by Hitzler, Pascal.
Publication:
. XIII, 259p. 43 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|