|
|
Service-Oriented Computing
by Maglio, Paul P.
Publication:
. XX, 737p. 285 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Transformations and Model-Driven Engineering
by Engels, Gregor.
Publication:
. XIV, 768p. 328 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Simulation, Modeling, and Programming for Autonomous Robots
by Ando, Noriaki.
Publication:
. XV, 558p. 264 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Social Robotics
by Ge, Shuzhi Sam.
Publication:
. XV, 412p. 182 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Architecting Dependable Systems VII
by Casimiro, Antonio.
Publication:
. XII, 324p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
From Active Data Management to Event-Based Systems and More
by Sachs, Kai.
Publication:
. XIV, 337p. 89 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verification, Induction, Termination Analysis
by Siegler, Simon.
Publication:
. XI, 145p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Ueda, Kazunori.
Publication:
. X, 440p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Collective Intelligence II
by Nguyen, Ngoc Thanh.
Publication:
. VII, 197p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Components and Objects
by Boer, Frank S.
Publication:
. X, 339p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms for Sensor Systems
by Scheideler, Christian.
Publication:
. X, 190p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Current Trends in Web Engineering
by Daniel, Florian.
Publication:
. XXVII, 595p. 202 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Smart Sensing and Context
by Lukowicz, Paul.
Publication:
. X, 203p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2010 Workshops
by Meersman, Robert.
Publication:
. XXIX, 711p. 240 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Middleware 2010
by Gupta, Indranil.
Publication:
. XIII, 398p. 166 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems, OTM 2010
by Meersman, Robert.
Publication:
. XXII, 466p. 138 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2010
by Meersman, Robert.
Publication:
. XXII, 703p. 230 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ambient Intelligence
by Ruyter, Boris.
Publication:
. XVII, 354p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods and Software Engineering
by Dong, Jin Song.
Publication:
. XIV, 712p. 202 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logic in Multi-Agent Systems
by Dix, Jürgen.
Publication:
. IX, 197p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|