|
|
Search Based Software Engineering
by Ruhe, Günther.
Publication:
. XVI, 326 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Data Mining. Applications and Theoretical Aspects
by Perner, Petra.
Publication:
. X, 281 p. 73 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unifying Theories of Programming and Formal Engineering Methods
by Liu, Zhiming.
Publication:
. XII, 283 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical Aspects of Computing – ICTAC 2013
by Liu, Zhiming.
Publication:
. XII, 445 p. 100 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Machine Learning and Data Mining in Pattern Recognition
by Perner, Petra.
Publication:
. XII, 660 p. 199 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Wireless Algorithms, Systems, and Applications
by Ren, Kui.
Publication:
. XIV, 536 p. 231 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theories of Programming and Formal Methods
by Liu, Zhiming.
Publication:
. XII, 413 p. 86 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligence and Security Informatics
by Wang, G. Alan.
Publication:
. X, 117 p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Reasoning and Rule Systems
by Faber, Wolfgang.
Publication:
. XIV, 272 p. 47 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications – ICCSA 2013
by Murgante, Beniamino.
Publication:
. XXXVI, 679 p. 276 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications – ICCSA 2013
by Murgante, Beniamino.
Publication:
. XXXVI, 649 p. 234 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications – ICCSA 2013
by Murgante, Beniamino.
Publication:
. XXXVI, 715 p. 290 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications – ICCSA 2013
by Murgante, Beniamino.
Publication:
. XXXVI, 659 p. 259 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications – ICCSA 2013
by Murgante, Beniamino.
Publication:
. XXXVI, 729 p. 317 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Blazy, Sandrine.
Publication:
. XII, 498 p. 73 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory, Practice, and Applications of Rules on the Web
by Morgenstern, Leora.
Publication:
. XVIII, 249 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Composition
by Binder, Walter.
Publication:
. X, 145 p. 38 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hardware and Software: Verification and Testing
by Biere, Armin.
Publication:
. XII, 281 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Statistical Language and Speech Processing
by Dediu, Adrian-Horia.
Publication:
. XII, 309 p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web-Age Information Management
by Gao, Yunjun.
Publication:
. XXXIV, 396 p. 165 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|