|
|
Graph-Based Representations in Pattern Recognition
by Kropatsch, Walter G.
Publication:
. XII, 255 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model-Based Methodologies for Pervasive and Embedded Software
by Machado, Ricardo J.
Publication:
. X, 139 p. 61 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Albert, Elvira.
Publication:
. X, 245 p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
by Gomes, Carla.
Publication:
. XII, 403 p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
by Coecke, Bob.
Publication:
. XX, 363 p. 26 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Petri Nets and Other Models of Concurrency VII
by Jensen, Kurt.
Publication:
. XVI, 423 p. 250 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NASA Formal Methods
by Brat, Guillaume.
Publication:
. XXIV, 486 p. 164 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Augmented Environments for Computer-Assisted Interventions
by Linte, Cristian A.
Publication:
. XII, 179 p. 120 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Future Internet
by Galis, Alex.
Publication:
. XLIV, 369 p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Clinical Image-Based Procedures. From Planning to Intervention
by Drechsler, Klaus.
Publication:
. X, 132 p. 59 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances on Practical Applications of Agents and Multi-Agent Systems
by Demazeau, Yves.
Publication:
. XIV, 330 p. 132 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multiple Classifier Systems
by Zhou, Zhi-Hua.
Publication:
. XI, 400 p. 106 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Bioinformatics Research and Applications
by Cai, Zhipeng.
Publication:
. XIV, 312 p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Security Practice and Experience
by Deng, Robert H.
Publication:
. XIV, 388 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Smart Grid Security
by Cuellar, Jorge.
Publication:
. VIII, 151 p. 39 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Grid and Pervasive Computing
by Park, James J. (Jong Hyuk).
Publication:
. XXXIV, 956 p. 483 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Approximation and Online Algorithms
by Erlebach, Thomas.
Publication:
. XII, 299 p. 39 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Security and Trust Management
by Jøsang, Audun.
Publication:
. X, 321 p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Semantic Technology
by Takeda, Hideaki.
Publication:
. XIV, 390 p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Communication Technologies for Vehicles
by Berbineau, Marion.
Publication:
. XIV, 253 p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|