|
|
The Mathematics of Language
by Kanazawa, Makoto.
Publication:
. IV, 227p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Foundations of Computer Science 2011
by Murlak, Filip.
Publication:
. XV, 618 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|
|
Models of Computation in Context
by Löwe, Benedikt.
Publication:
. XIII, 319p.
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),
|
|