|
|
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),
|
|
|
SOFSEM 2012: Theory and Practice of Computer Science
by Bieliková, Mária.
Publication:
. XVII, 674 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Resource Discovery
by Lacroix, Zoé.
Publication:
. VIII, 191 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory of Security and Applications
by Mödersheim, Sebastian.
Publication:
. IX, 225 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Aspects of Component Software
by Barbosa, Luís Soares.
Publication:
. X, 305 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Smart Card Research and Advanced Applications
by Prouff, Emmanuel.
Publication:
. XI, 337 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),
|
|
|
Distributed Computing and Networking
by Bononi, Luciano.
Publication:
. XIV, 550p. 196 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical and Engineering Methods in Computer Science
by Kotásek, Zdeněk.
Publication:
. XII, 215p. 53 illus.
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),
|
|
|
Middleware 2011
by Kon, Fabio.
Publication:
. XIII, 514 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),
|
|
|
Service-Oriented Computing
by Kappel, Gerti.
Publication:
. XVIII, 680 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Internet and Network Economics
by Chen, Ning.
Publication:
. XII, 420 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),
|
|
|
Programming Languages and Systems
by Yang, Hongseok.
Publication:
. XI, 372p.
Availability:
Copies available:
AUM Main Library
(1),
|
|