|
|
Verification, Model Checking, and Abstract Interpretation
by Jhala, Ranjit.
Publication:
. XI, 419p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Petri Nets and Other Models of Concurrency IV
by Jensen, Kurt.
Publication:
. XVIII, 225p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Performance Evaluation, Measurement and Characterization of Complex Systems
by Nambiar, Raghunath.
Publication:
. XVI, 233p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Toward Autonomous, Adaptive, and Context-Aware Multimodal Interfaces. Theoretical and Practical Issues
by Esposito, Anna.
Publication:
. XXII, 474p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agents for Games and Simulations II
by Dignum, Frank.
Publication:
. X, 206 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Security
by Burmester, Mike.
Publication:
. XIV, 446p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Membrane Computing
by Gheorghe, Marian.
Publication:
. IX, 393p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Automata
by Domaratzki, Michael.
Publication:
. XII, 332p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory of Quantum Computation, Communication, and Cryptography
by Dam, Wim.
Publication:
. VIII, 187 p. 14 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Verification of Object-Oriented Software
by Beckert, Bernhard.
Publication:
. X, 199p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Knowledge Representation for Health-Care
by Riaño, David.
Publication:
. X, 153p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and Its Applications
by Banerjee, Mohua.
Publication:
. X, 219p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Generative and Transformational Techniques in Software Engineering III
by Fernandes, João M.
Publication:
. X, 499 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Models for the Web-Graph
by Kumar, Ravi.
Publication:
. VIII, 163p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Language, Games, and Evolution
by Benz, Anton.
Publication:
. VII, 189p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Security Applications
by Chung, Yongwha.
Publication:
. XIII, 352p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computers and Games
by Herik, H. Jaap.
Publication:
. XVIII, 277p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Multimedia Modeling
by Lee, Kuo-Tien.
Publication:
. XXIII, 562p. 303 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Multimedia Modeling
by Lee, Kuo-Tien.
Publication:
. XXIII, 492p. 281 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Provenance and Annotation of Data and Processes
by McGuinness, Deborah L.
Publication:
. XII, 306p.
Availability:
Copies available:
AUM Main Library
(1),
|
|