|
|
Languages Alive
by Bordihn, Henning.
Publication:
. X, 291 p. 29 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),
|
|
|
Automata, Languages, and Programming
by Czumaj, Artur.
Publication:
. 700p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computing Theories and Applications
by Huang, De-Shuang.
Publication:
. XXII, 683 p. 265 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Deontic Logic in Computer Science
by Ågotnes, Thomas.
Publication:
. XII, 215 p. 21 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Logic of Categorial Grammars
by Moot, Richard.
Publication:
. X, 300 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Processing and Applied Mathematics
by Wyrzykowski, Roman.
Publication:
. XXVII, 663 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Progress in VLSI Design and Test
by Rahaman, Hafizur.
Publication:
. XXIV, 408 p. 275 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Lectures on Logic and Computation
by Bezhanishvili, Nick.
Publication:
. VIII, 265 p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Processing and Applied Mathematics
by Wyrzykowski, Roman.
Publication:
. XXVII, 765 p.
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),
|
|
|
Image Analysis and Recognition , 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part II /
Publication:
. XXIII, 494p. 212 illus.
Availability:
Copies available:
AUM Main Library
(1),
AUM Main Library
(1),
|
|
|
Image Analysis and Recognition
by Campilho, Aurélio.
Publication:
. XXIV, 440 p. 212 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Pattern Matching
by Kärkkäinen, Juha.
Publication:
. XIII, 454p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Image and Signal Processing
by Elmoataz, Abderrahim.
Publication:
. XIX, 609p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Diagrammatic Representation and Inference
by Cox, Philip.
Publication:
. XIII, 358p. 202 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithm Theory – SWAT 2012
by Fomin, Fedor V.
Publication:
. XIII, 410p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|