|
|
Formal Modeling and Analysis of Timed Systems
by Jurdziński, Marcin.
Publication:
. X, 267 p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logics in Artificial Intelligence
by Cerro, Luis Fariñas.
Publication:
. XIV, 498 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Kahl, Wolfram.
Publication:
. XII, 361 p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods: Foundations and Applications
by Gheyi, Rohit.
Publication:
. X, 227 p. 67 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Static Analysis
by Miné, Antoine.
Publication:
. XI, 457 p. 153 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical Aspects of Computing – ICTAC 2012
by Roychoudhury, Abhik.
Publication:
. XII, 259 p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
CONCUR 2012 – Concurrency Theory
by Koutny, Maciej.
Publication:
. XIV, 582 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logic in Multi-Agent Systems
by Fisher, Michael.
Publication:
. Approx. 230 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unconventional Computation and Natural Computation
by Durand-Lose, Jérôme.
Publication:
. XII, 252 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coalgebraic Methods in Computer Science
by Pattinson, Dirk.
Publication:
. VII, 259 p. 7 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
FM 2012: Formal Methods
by Giannakopoulou, Dimitra.
Publication:
. XVI, 488 p. 142 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language, Information and Computation
by Ong, Luke.
Publication:
. XII, 337 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Beringer, Lennart.
Publication:
. XI, 419 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Vidal, Germán.
Publication:
. X, 254 p. 61 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Generic and Indexed Programming
by Gibbons, Jeremy.
Publication:
. VII, 259 p. 24 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Inductive Logic Programming
by Muggleton, Stephen H.
Publication:
. XI, 406 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Developments in Language Theory
by Yen, Hsu-Chun.
Publication:
. XIII, 478p. 65 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Descriptional Complexity of Formal Systems
by Kutrib, Martin.
Publication:
. X, 319p. 23 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2012
by Cimatti, Alessandro.
Publication:
. XIV, 500p. 364 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Deontic Logic in Computer Science
by Ågotnes, Thomas.
Publication:
. XII, 215 p. 21 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|