|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
Frontiers in Algorithmics
by Lee, Der-Tsai.
Publication:
. XI, 339p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unifying Theories of Programming
by Butterfield, Andrew.
Publication:
. IX, 279p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
New Modeling Concepts for Today’s Software Processes
by Münch, Jürgen.
Publication:
. XIV, 382p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing Techniques in Software Engineering
by Borba, Paulo.
Publication:
. IX, 313p. 73 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Touili, Tayssir.
Publication:
. XVI, 676p. 169 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language and Meaning
by Aloni, Maria.
Publication:
. X, 476p. 1 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|