|
|
Distributed Applications and Interoperable Systems
by Felber, Pascal.
Publication:
. XII, 304 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multidisciplinary Information Retrieval
by Hanbury, Allan.
Publication:
. X, 149p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools for Teaching Logic
by Blackburn, Patrick.
Publication:
. XI, 257p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Top Productivity through Software Reuse
by Schmid, Klaus.
Publication:
. XIII, 247p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations on Natural and Artificial Computation
by Ferrández, José Manuel.
Publication:
. XXV, 566 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unconventional Computation
by Calude, Cristian S.
Publication:
. X, 247p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reliable Software Technologies - Ada-Europe 2011
by Romanovsky, Alexander.
Publication:
. XIII, 227p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
New Challenges on Bioinspired Applications
by Ferrández, José Manuel.
Publication:
. XXV, 486p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Intelligence in Security for Information Systems
by Herrero, Álvaro.
Publication:
. XIV, 310p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Artificial Life. Darwin Meets von Neumann
by Kampis, George.
Publication:
. XXII, 481p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
by Achterberg, Tobias.
Publication:
. X, 253p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ambient Assisted Living
by Bravo, José.
Publication:
. XII, 226p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Inductive Logic Programming
by Frasconi, Paolo.
Publication:
. XI, 278p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
by Calinescu, Radu.
Publication:
. 250p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Models for the Web Graph
by Frieze, Alan.
Publication:
. IX, 127p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Artificial Life. Darwin Meets von Neumann
by Kampis, George.
Publication:
. XXI, 501p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination, Organizations, Institutions, and Norms in Agent Systems VI
by Vos, Marina.
Publication:
. XVI, 377p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Bioinformatics Research and Applications
by Chen, Jianer.
Publication:
. XIV, 454p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Pattern Recognition and Image Analysis
by Vitrià, Jordi.
Publication:
. XXI, 754p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Language and Automata Theory and Applications
by Dediu, Adrian-Horia.
Publication:
. XIII, 512p.
Availability:
Copies available:
AUM Main Library
(1),
|
|