|
|
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),
|
|
|
Conceptual Structures for STEM Research and Education
by Pfeiffer, Heather D.
Publication:
. XI, 333 p. 109 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trends and Topics in Computer Vision
by Kutulakos, Kiriakos N.
Publication:
. XX, 357 p. 183 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools for Practical Software Verification
by Meyer, Bertrand.
Publication:
. VIII, 183 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Aspects of Component Software
by Arbab, Farhad.
Publication:
. X, 369 p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trends and Topics in Computer Vision
by Kutulakos, Kiriakos N.
Publication:
. XXII, 479 p. 262 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Focused Retrieval of Content and Structure
by Geva, Shlomo.
Publication:
. XII, 338 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents
by Palmirani, Monica.
Publication:
. XIV, 309 p. 67 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Multimedia Modeling
by Li, Shipeng.
Publication:
. XXXII, 560 p. 219 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Multimedia Modeling
by Li, Shipeng.
Publication:
. XXXII, 562 p. 273 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logical Foundations of Computer Science
by Artemov, Sergei.
Publication:
. X, 415 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|