|
|
Topics in Cryptology – CT-RSA 2013
by Dawson, Ed.
Publication:
. XIV, 405 p. 68 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms for Sensor Systems
by Bar-Noy, Amotz.
Publication:
. X, 145 p. 26 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Language Engineering
by Czarnecki, Krzysztof.
Publication:
. XII, 413 p. 172 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Citizen in Sensor Networks
by Nin, Jordi.
Publication:
. VIII, 95 p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Computing and Internet Technology
by Hota, Chittaranjan.
Publication:
. XIV, 574 p. 189 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
WALCOM: Algorithms and Computation
by Ghosh, Subir Kumar.
Publication:
. XIV, 348 p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering
by Lucia, Andrea.
Publication:
. X, 237 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical and Engineering Methods in Computer Science
by Kučera, Antonín.
Publication:
. XII, 213 p. 32 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and Its Applications
by Lodaya, Kamal.
Publication:
. X, 259 p. 18 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Languages and Compilers for Parallel Computing
by Rajopadhye, Sanjay.
Publication:
. X, 299 p. 132 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Semantics in Data and Knowledge Bases
by Schewe, Klaus-Dieter.
Publication:
. XII, 199 p. 18 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Selected Areas in Cryptography
by Knudsen, Lars R.
Publication:
. XIV, 407 p. 61 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Generative and Transformational Techniques in Software Engineering IV
by Lämmel, Ralf.
Publication:
. XII, 449 p. 112 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Uncertainty Reasoning for the Semantic Web II
by Bobillo, Fernando.
Publication:
. XVI, 331 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Algorithms
by Arumugam, S.
Publication:
. XII, 303 p. 136 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Facing the Multicore-Challenge III
by Keller, Rainer.
Publication:
. X, 146 p. 61 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Privacy Management and Autonomous Spontaneous Security
by Pietro, Roberto.
Publication:
. XIV, 333 p. 100 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Components and Objects
by Beckert, Bernhard.
Publication:
. X, 356 p. 129 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verification, Model Checking, and Abstract Interpretation
by Giacobazzi, Roberto.
Publication:
. XII, 556 p. 123 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Job Scheduling Strategies for Parallel Processing
by Cirne, Walfredo.
Publication:
. X, 273 p. 112 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|