|
|
Tools for Teaching Logic
by Blackburn, Patrick.
Publication:
. XI, 257p.
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),
|
|
|
New Challenges on Bioinspired Applications
by Ferrández, José Manuel.
Publication:
. XXV, 486p.
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
Hybrid Artificial Intelligent Systems
by Corchado, Emilio.
Publication:
. XXIX, 490 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hybrid Artificial Intelligent Systems
by Corchado, Emilio.
Publication:
. XXX, 472 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Neural Networks – ISNN 2011
by Liu, Derong.
Publication:
. XXII, 642 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Neural Networks – ISNN 2011
by Liu, Derong.
Publication:
. XXXIV, 634 p. 39 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Neural Networks – ISNN 2011
by Liu, Derong.
Publication:
. XXII, 646 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Swart, Harrie.
Publication:
. VIII, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Semanic Web: Research and Applications
by Antoniou, Grigoris.
Publication:
. XXIV, 520p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction in Geometry
by Sturm, Thomas.
Publication:
. IX, 225p.
Availability:
Copies available:
AUM Main Library
(1),
|
|