|
|
Algorithms in Bioinformatics
by Darling, Aaron.
Publication:
. XIV, 378 p. 97 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
by Raghavendra, Prasad.
Publication:
. XIV, 716 p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Biomimetic and Biohybrid Systems
by Lepora, Nathan F.
Publication:
. XVIII, 463 p. 239 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Search Based Software Engineering
by Ruhe, Günther.
Publication:
. XVI, 326 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computing Theories
by Huang, De-Shuang.
Publication:
. XXII, 651 p. 256 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Descriptional Complexity of Formal Systems
by Jurgensen, Helmut.
Publication:
. X, 289 p. 56 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Automata
by Konstantinidis, Stavros.
Publication:
. XIV, 358 p. 78 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata, Languages, and Programming
by Fomin, Fedor V.
Publication:
. XXVI, 698 p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata, Languages, and Programming
by Fomin, Fedor V.
Publication:
. XXVI, 854 p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unconventional Computation and Natural Computation
by Mauri, Giancarlo.
Publication:
. XVI, 262 p. 68 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2013
by Järvisalo, Matti.
Publication:
. XVI, 437 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Neural Networks – ISNN 2013
by Guo, Chengan.
Publication:
. XXVI, 653 p. 234 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Neural Networks – ISNN 2013
by Guo, Chengan.
Publication:
. XXVI, 687 p. 268 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Nature of Computation. Logic, Algorithms, Applications
by Bonizzoni, Paola.
Publication:
. XVIII, 446 p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reversible Computation
by Dueck, Gerhard W.
Publication:
. X, 263 p. 92 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Dynamical Systems
by Bernardo, Marco.
Publication:
. VIII, 181 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multi-Agent-Based Simulation XIII
by Giardini, Francesca.
Publication:
. X, 157 p. 63 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Inductive Logic Programming
by Riguzzi, Fabrizio.
Publication:
. X, 273 p. 81 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Brain Inspired Cognitive Systems
by Liu, Derong.
Publication:
. XIV, 418 p. 144 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Developments in Language Theory
by Béal, Marie-Pierre.
Publication:
. XIV, 460 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|