|
|
OpenMP in the Era of Low Power Devices and Accelerators
by Rendell, Alistair P.
Publication:
. X, 201 p. 80 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Databases and Information Systems
by Catania, Barbara.
Publication:
. XIV, 402 p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction in Geometry
by Ida, Tetsuo.
Publication:
. X, 193 p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Progress in Artificial Intelligence
by Correia, Luís.
Publication:
. XXX, 542 p. 172 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Informatics
by Muntean, Traian.
Publication:
. X, 275 p. 14 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented and Cloud Computing
by Lau, Kung-Kiu.
Publication:
. X, 244 p. 80 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Artificial Intelligence
by Bielza, Concha.
Publication:
. XVIII, 404 p. 98 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles and Practice of Constraint Programming
by Schulte, Christian.
Publication:
. XVIII, 898 p. 226 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logic in Multi-Agent Systems
by Leite, João.
Publication:
. XXIV, 391 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Components and Objects
by Giachino, Elena.
Publication:
. X, 241 p. 125 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Pattern Recognition
by Weickert, Joachim.
Publication:
. XVI, 448 p. 207 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Security Engineering and Intelligence Informatics
by Cuzzocrea, Alfredo.
Publication:
. XIV, 466 p. 122 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Text, Speech, and Dialogue
by Habernal, Ivan.
Publication:
. XVI, 601 p. 140 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorics on Words
by Karhumäki, Juhani.
Publication:
. X, 263 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic Programming and Nonmonotonic Reasoning
by Cabalar, Pedro.
Publication:
. XVIII, 570 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering and Formal Methods
by Hierons, Robert M.
Publication:
. XVIII, 321 p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Communication Networking
by Bauschert, Thomas.
Publication:
. XII, 322 p. 135 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods
by Galmiche, Didier.
Publication:
. X, 289 p. 34 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Energy Efficiency in Large Scale Distributed Systems
by Pierson, Jean-Marc.
Publication:
. XI, 312 p. 127 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Availability, Reliability, and Security in Information Systems and HCI
by Cuzzocrea, Alfredo.
Publication:
. XVI, 504 p. 156 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|