|
|
Formal Modeling and Analysis of Timed Systems
by Jurdziński, Marcin.
Publication:
. X, 267 p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cellular Automata
by Sirakoulis, Georgios Ch.
Publication:
. XVIII, 859 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parameterized and Exact Computation
by Thilikos, Dimitrios M.
Publication:
. X, 275 p. 14 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
by Alvarez, Luis.
Publication:
. XXII, 896 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial Neural Networks and Machine Learning – ICANN 2012
by Villa, Alessandro E. P.
Publication:
. XXVII, 739 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial Neural Networks and Machine Learning – ICANN 2012
by Villa, Alessandro E.
Publication:
. XXVII, 587 p. 172 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Information Systems and Industrial Management
by Cortesi, Agostino.
Publication:
. XII, 444 p. 176 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Concepts for Intelligent Vision Systems
by Blanc-Talon, Jacques.
Publication:
. XVI, 540 p. 253 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms in Bioinformatics
by Raphael, Ben.
Publication:
. XIII, 454 p. 105 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Search Based Software Engineering
by Fraser, Gordon.
Publication:
. XVI, 293 p. 80 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
From Animals to Animats 12
by Ziemke, Tom.
Publication:
. XII, 454 p. 205 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms – ESA 2012
by Epstein, Leah.
Publication:
. XX, 839 p. 147 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Xiang, Yang.
Publication:
. XXI, 563 p. 241 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Architectures for Parallel Processing
by Xiang, Yang.
Publication:
. XXIV, 331 p. 159 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cryptographic Hardware and Embedded Systems – CHES 2012
by Prouff, Emmanuel.
Publication:
. XVII, 562 p. 189 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Geographic Information Science
by Xiao, Ningchuan.
Publication:
. XIII, 369 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Algebra in Scientific Computing
by Gerdt, Vladimir P.
Publication:
. XIV, 363 p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Problem Solving from Nature - PPSN XII
by Coello, Carlos A. Coello.
Publication:
. XXIII, 531 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Problem Solving from Nature - PPSN XII
by Coello, Carlos A. Coello.
Publication:
. XXIII, 541 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unconventional Computation and Natural Computation
by Durand-Lose, Jérôme.
Publication:
. XII, 252 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|