|
|
Computer Science – Theory and Applications
by Kulikov, Alexander.
Publication:
. XI, 471 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Checking and Artificial Intelligence
by Meyden, Ron.
Publication:
. XI, 131 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Experimental Algorithms
by Pardalos, Panos M.
Publication:
. X, 460 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented Perspectives in Design Science Research
by Jain, Hemant.
Publication:
. XII, 476 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
GeoSpatial Semantics
by Claramunt, Christophe.
Publication:
. XII, 235 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applications of Declarative Programming and Knowledge Management
by Abreu, Salvador.
Publication:
. X, 239 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Alpuente, María.
Publication:
. X, 249 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
New Horizons in Web-Based Learning - ICWL 2010 Workshops
by Luo, Xiangfeng.
Publication:
. XXIV, 338 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applications of Evolutionary Computation
by Chio, Cecilia.
Publication:
. XXXI, 367p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applications of Evolutionary Computation
by Chio, Cecilia.
Publication:
. XXXII, 513 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Valtchev, Petko.
Publication:
. XII, 267 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Cryptology – EUROCRYPT 2011
by Paterson, Kenneth G.
Publication:
. XIV, 628p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Genetic Programming
by Silva, Sara.
Publication:
. XIII, 348 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Color Imaging
by Schettini, Raimondo.
Publication:
. X, 257 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rigorous Software Engineering for Service-Oriented Systems
by Wirsing, Martin.
Publication:
. X, 737p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NASA Formal Methods
by Bobaru, Mihaela.
Publication:
. XIV, 534 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
by Pizzuti, Clara.
Publication:
. X, 183 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evolutionary Computation in Combinatorial Optimization
by Merz, Peter.
Publication:
. XIV, 263 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Traffic Monitoring and Analysis
by Domingo-Pascual, Jordi.
Publication:
. X, 197 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Technologies and Applications
by Du, Xiaoyong.
Publication:
. XIX, 486 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|