|
|
Semantic Web Rules
by Dean, Mike.
Publication:
. XIII, 305p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Provable Security
by Heng, Swee-Huay.
Publication:
. X, 279p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model-Based Engineering of Embedded Real-Time Systems
by Giese, Holger.
Publication:
. XV, 385p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Formal Methods
by Méry, Dominique.
Publication:
. X, 337p. 110 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Technologies for Embedded and Ubiquitous Systems
by Min, Sang Lyul.
Publication:
. XI, 253p. 90 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),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by Fermüller, Christian G.
Publication:
. XII, 656p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Science VIII
by Gavrilova, Marina L.
Publication:
. XIV, 167p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Facing the Multicore-Challenge
by Keller, Rainer.
Publication:
. X, 156p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Spoken Dialogue Systems for Ambient Environments
by Lee, Gary Geunbae.
Publication:
. XI, 199p. 65 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),
|
|
|
Comparative Genomics
by Tannier, Eric.
Publication:
. XII, 303p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multiagent System Technologies
by Dix, Jürgen.
Publication:
. XII, 221p. 81 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),
|
|
|
Algorithmic Game Theory
by Kontogiannis, Spyros.
Publication:
. VIII, 359p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Computing and Applications
by Zhu, Rongbo.
Publication:
. XX, 608p. 206 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Checking Software
by Pol, Jaco.
Publication:
. X, 263p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Driven Engineering Languages and Systems
by Petriu, Dorina C.
Publication:
. XXI, 424p. 173 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),
|
|
|
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops
by Dan, Asit.
Publication:
. XXXIV, 584p. 177 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|