|
|
Database and XML Technologies
by Lee, Mong Li.
Publication:
. VI, 156p. 59 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logics in Artificial Intelligence
by Janhunen, Tomi.
Publication:
. XIV, 374p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Bouajjani, Ahmed.
Publication:
. VIII, 404p. 112 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Business Process Management
by Hull, Richard.
Publication:
. XIII, 359p. 140 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing – Practice and Research Techniques
by Bottaci, Leonardo.
Publication:
. XIII, 219p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles and Practice of Constraint Programming – CP 2010
by Cohen, David.
Publication:
. XX, 650p. 145 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
CONCUR 2010 - Concurrency Theory
by Gastin, Paul.
Publication:
. XIII, 600p. 134 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reachability Problems
by Kučera, Antonín.
Publication:
. X, 199p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundational and Practical Aspects of Resource Analysis
by Eekelen, Marko.
Publication:
. 170p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evolvable Systems: From Biology to Hardware
by Tempesti, Gianluca.
Publication:
. XII, 394p. 228 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Chatterjee, Krishnendu.
Publication:
. X, 257p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Science Logic
by Dawar, Anuj.
Publication:
. XIV, 548p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and the Foundations of Game and Decision Theory – LOFT 8
by Bonanno, Giacomo.
Publication:
. XI, 207p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Foundations of Computer Science 2010
by Hliněný, Petr.
Publication:
. XVII, 714p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Architecture
by Babar, Muhammad Ali.
Publication:
. XII, 534p. 162 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verified Software: Theories, Tools, Experiments
by Leavens, Gary T.
Publication:
. X, 217p. 68 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fields of Logic and Computation
by Blass, Andreas.
Publication:
. XIII, 627p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logic in Multi-Agent Systems
by Dix, Jürgen.
Publication:
. XIV, 257p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Finite-State Methods and Natural Language Processing
by Yli-Jyrä, Anssi.
Publication:
. X, 147p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers in Algorithmics
by Lee, Der-Tsai.
Publication:
. XI, 339p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|