|
|
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),
|
|
|
RFID. Security and Privacy
by Juels, Ari.
Publication:
. X, 260p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Components and Objects
by Aichernig, Bernhard K.
Publication:
. VII, 393p. 145 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
SDL 2011: Integrating System and Software Modeling
by Ober, Iulian.
Publication:
. VIII, 277p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Computing and Applications
by Liu, Baoxiang.
Publication:
. XVIII, 775 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Empirical Software Engineering and Verification
by Meyer, Bertrand.
Publication:
. VII, 213 p.
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),
|
|