|
|
Fundamentals of Computation Theory
by Owe, Olaf.
Publication:
. XIII, 373 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and Games on Automatic Structures
by Kaiser, Łukasz.
Publication:
. XII, 118 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation
by Goldreich, Oded.
Publication:
. XI, 563p.
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),
|
|
|
Automata, Languages and Programming
by Aceto, Luca.
Publication:
. XXVI, 666 p.
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),
|
|
|
Transactions on Rough Sets XIV
by Peters, James F.
Publication:
. VII, 235p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Eternal Networked Software Systems
by Bernardo, Marco.
Publication:
. VIII, 527p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools for Teaching Logic
by Blackburn, Patrick.
Publication:
. XI, 257p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
by Balduccini, Marcello.
Publication:
. XIII, 513 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Science – Theory and Applications
by Kulikov, Alexander.
Publication:
. XI, 471 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computation, Cooperation, and Life
by Kelemen, Jozef.
Publication:
. XII, 217p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods: Foundations and Applications
by Davies, Jim.
Publication:
. VIII, 291 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Software Science and Computational Structures
by Hofmann, Martin.
Publication:
. XV, 473 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Ueda, Kazunori.
Publication:
. X, 440p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Transformations
by Ehrig, Hartmut.
Publication:
. XII, 419p.
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),
|
|
|
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),
|
|