|
|
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),
|
|
|
Formal Aspects of Component Software
by Păsăreanu, Corina S.
Publication:
. X, 277 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
SOFSEM 2013: Theory and Practice of Computer Science
by Emde Boas, Peter.
Publication:
. XIV, 566 p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Science XVII
by Gavrilova, Marina L.
Publication:
. XII, 199 p. 86 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evaluation of Natural Language and Speech Tools for Italian
by Magnini, Bernardo.
Publication:
. XIV, 339 p. 38 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering for Self-Adaptive Systems II
by Lemos, Rogério.
Publication:
. X, 393 p. 110 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|