|
|
Grid and Pervasive Computing Workshops
by Rautiainen, Mika.
Publication:
. Approx. 195 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Engineering and Management
by Kannan, Rajkumar.
Publication:
. Approx. 355 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verified Software: Theories, Tools, Experiments
by Joshi, Rajeev.
Publication:
. XI, 326p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Practical Aspects of Declarative Languages
by Russo, Claudio.
Publication:
. Approx. 315 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Future Generation Information Technology
by Kim, Tai-hoon.
Publication:
. XIV, 424p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles and Practice of Multi-Agent Systems
by Desai, Nirmit.
Publication:
. XV, 650p. 247 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles of Distributed Systems
by Fernàndez Anta, Antonio.
Publication:
. XIII, 564 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges
by Hummel, Karin Anna.
Publication:
. XII, 255 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Social Robotics
by Mutlu, Bilge.
Publication:
. XV, 237p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Jouannaud, Jean-Pierre.
Publication:
. XV, 401p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ambient Intelligence
by Keyson, David V.
Publication:
. XVI, 383 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2011 Workshops
by Meersman, Robert.
Publication:
. XXXIV, 665 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2011
by Meersman, Robert.
Publication:
. XXVIII, 430 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On the Move to Meaningful Internet Systems: OTM 2011
by Meersman, Robert.
Publication:
. XXVII, 407 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction in Geometry
by Schreck, Pascal.
Publication:
. X, 259 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agents in Principle, Agents in Practice
by Kinny, David.
Publication:
. XIII, 534 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rule - Based Modeling and Computing on the Semantic Web
by Olken, Frank.
Publication:
. XVIII, 313p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Foundations in Computer Science
by Kuich, Werner.
Publication:
. X, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering and Formal Methods
by Barthe, Gilles.
Publication:
. XIV, 504p. 154 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Xiang, Yang.
Publication:
. XVIII, 411p.
Availability:
Copies available:
AUM Main Library
(1),
|
|