|
|
Formal Methods for Industrial Critical Systems
by Stoelinga, Mariëlle.
Publication:
. XIV, 223 p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Beringer, Lennart.
Publication:
. XI, 419 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computing and Combinatorics
by Gudmundsson, Joachim.
Publication:
. XIV, 606 p. 116 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
DNA Computing and Molecular Programming
by Stefanovic, Darko.
Publication:
. X, 151 p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Inductive Logic Programming
by Muggleton, Stephen H.
Publication:
. XI, 406 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Bioinformatics and Computational Biology
by Souto, Marcilio C.
Publication:
. XII, 204p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Computer Games
by Herik, H. Jaap.
Publication:
. XXIII, 356p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Developments in Language Theory
by Yen, Hsu-Chun.
Publication:
. XIII, 478p. 65 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Languages Alive
by Bordihn, Henning.
Publication:
. X, 291 p. 29 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Descriptional Complexity of Formal Systems
by Kutrib, Martin.
Publication:
. X, 319p. 23 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2012
by Cimatti, Alessandro.
Publication:
. XIV, 500p. 364 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Automata
by Moreira, Nelma.
Publication:
. XIII, 369 p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata, Languages, and Programming
by Czumaj, Artur.
Publication:
. 860p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computing Technology
by Huang, De-Shuang.
Publication:
. XXIV, 667 p. 257 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata, Languages, and Programming
by Czumaj, Artur.
Publication:
. 700p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Brain Inspired Cognitive Systems
by Zhang, Huaguang.
Publication:
. XVI, 421p. 146 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Biomimetic and Biohybrid Systems
by Prescott, Tony J.
Publication:
. XVI, 405p. 200 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Neural Networks – ISNN 2012
by Wang, Jun.
Publication:
. XXV, 669p. 314 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Neural Networks – ISNN 2012
by Wang, Jun.
Publication:
. XXVI, 683 p. 210 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Application and Theory of Petri Nets
by Haddad, Serge.
Publication:
. XI, 419p.
Availability:
Copies available:
AUM Main Library
(1),
|
|