|
|
Computational Logic in Multi-Agent Systems
by Leite, João.
Publication:
. XV, 383 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Developments in Language Theory
by Mauri, Giancarlo.
Publication:
. XIV, 482 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Checking Software
by Groce, Alex.
Publication:
. X, 195p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Automata
by Bouchou-Markhoff, Béatrice.
Publication:
. XIII, 299p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
by Liu, Weiru.
Publication:
. XIV, 762p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods
by Brünnler, Kai.
Publication:
. VIII, 279p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Gopalakrishnan, Ganesh.
Publication:
. XV, 763p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Composition
by Apel, Sven.
Publication:
. VIII, 181p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Aspect-Oriented Software Development VIII
by Katz, Shmuel.
Publication:
. XIII, 221 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata, Languages and Programming
by Aceto, Luca.
Publication:
. XXVI, 666 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Objects, Models, Components, Patterns
by Bishop, Judith.
Publication:
. X, 307p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applications and Theory of Petri Nets
by Kristensen, Lars M.
Publication:
. XII, 349p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tests and Proofs
by Gogolla, Martin.
Publication:
. X, 205p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Model Transformations
by Cabot, Jordi.
Publication:
. XII, 229p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Typed Lambda Calculi and Applications
by Ong, Luke.
Publication:
. XII, 245 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
System Analysis and Modeling: About Models
by Kraemer, Frank Alexander.
Publication:
. X, 257p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2011
by Sakallah, Karem A.
Publication:
. XIII, 371p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Informatics
by Winkler, Franz.
Publication:
. X, 261p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Foundations and Applications
by France, Robert B.
Publication:
. XIV, 396p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Techniques for Distributed Systems
by Bruni, Roberto.
Publication:
. XIV, 349p.
Availability:
Copies available:
AUM Main Library
(1),
|
|