|
|
Structural Information and Communication Complexity
by Moscibroda, Thomas.
Publication:
. XX, 348 p. 53 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Gonthier, Georges.
Publication:
. XII, 309 p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Shan, Chung-chieh.
Publication:
. X, 381 p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Models for the Web Graph
by Bonato, Anthony.
Publication:
. X, 233 p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
AI*IA 2013: Advances in Artificial Intelligence
by Baldoni, Matteo.
Publication:
. XVIII, 540 p. 128 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Progress in Cryptology – INDOCRYPT 2013
by Paul, Goutam.
Publication:
. XVIII, 319 p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trusted Systems
by Bloem, Roderick.
Publication:
. XII, 103 p. 18 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Social Informatics
by Jatowt, Adam.
Publication:
. XVI, 494 p. 168 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fuzzy Logic and Applications
by Masulli, Francesco.
Publication:
. XII, 249 p. 67 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction
by Urzaiz, Gabriel.
Publication:
. XVI, 401 p. 166 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Computer Entertainment
by Reidsma, Dennis.
Publication:
. XXVI, 668 p. 284 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ambient Assisted Living and Active Aging
by Nugent, Christopher.
Publication:
. XIV, 137 p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Stabilization, Safety, and Security of Distributed Systems
by Higashino, Teruo.
Publication:
. XXIV, 380 p. 86 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hardware and Software: Verification and Testing
by Bertacco, Valeria.
Publication:
. XX, 366 p. 147 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human Computer Interaction
by Collazos, César.
Publication:
. XII, 157 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Biometric Recognition
by Sun, Zhenan.
Publication:
. XVI, 469 p. 262 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Visual Informatics
by Zaman, Halimah Badioze.
Publication:
. XX, 799 p. 371 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cryptology and Network Security
by Abdalla, Michel.
Publication:
. XVIII, 349 p. 52 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Concepts for Intelligent Vision Systems
by Blanc-Talon, Jacques.
Publication:
. XVI, 717 p. 333 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Decision and Game Theory for Security
by Das, Sajal K.
Publication:
. X, 265 p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|