|
|
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),
|
|
|
Unifying Theories of Programming
by Wolff, Burkhart.
Publication:
. VIII, 249 p. 4 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Security Protocols XX
by Christianson, Bruce.
Publication:
. X, 277 p. 29 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Intelligence Methods for Bioinformatics and Biostatistics
by Biganzoli, Elia.
Publication:
. XVI, 270 p. 92 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Computing and Networking
by Frey, Davide.
Publication:
. XX, 466 p. 121 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Quantum Interaction
by Busemeyer, Jerome R.
Publication:
. X, 239 p. 24 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|