|
|
| |
Verification, Model Checking, and Abstract Interpretation
by Giacobazzi, Roberto.
Publication:
. XII, 556 p. 123 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),
|
|
| |
Trends and Topics in Computer Vision
by Kutulakos, Kiriakos N.
Publication:
. XXII, 479 p. 262 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),
|
|
| |
Computational Intelligence Methods for Bioinformatics and Biostatistics
by Biganzoli, Elia.
Publication:
. XVI, 270 p. 92 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),
|
|
| |
Agent Based Simulation for a Sustainable Society and Multi-agent Smart Computing
by Cranefield, Stephen.
Publication:
. X, 125 p. 43 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Future Generation Information Technology
by Kim, Tai-hoon.
Publication:
. XIV, 284 p. 141 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Coordination, Organizations, Institutions, and Norms in Agent System VII
by Cranefield, Stephen.
Publication:
. XIV, 221 p. 61 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Big Data Analytics
by Srinivasa, Srinath.
Publication:
. XIV, 181 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Artificial Evolution
by Hao, Jin-Kao.
Publication:
. XVI, 229 p. 65 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Advanced Data Mining and Applications
by Zhou, Shuigeng.
Publication:
. XVIII, 795 p. 287 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Transactions on Computational Systems Biology XIV
by Priami, Corrado.
Publication:
. X, 233 p. 67 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Artificial General Intelligence
by Bach, Joscha.
Publication:
. XII, 381 p. 121 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Principles of Distributed Systems
by Baldoni, Roberto.
Publication:
. XIV, 361 p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
