|
|
Mathematical Foundations of Computer Science 2012
by Rovan, Branislav.
Publication:
. XV, 825 p. 102 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),
|
|
|
Developments in Language Theory
by Yen, Hsu-Chun.
Publication:
. XIII, 478p. 65 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Languages Alive
by Bordihn, Henning.
Publication:
. X, 291 p. 29 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),
|
|
|
Lectures on Logic and Computation
by Bezhanishvili, Nick.
Publication:
. VIII, 265 p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics of Program Construction
by Gibbons, Jeremy.
Publication:
. X, 363p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Multivariate Algorithmic Revolution and Beyond
by Bodlaender, Hans L.
Publication:
. XXII, 506p. 32 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Science – Theory and Applications
by Hirsch, Edward A.
Publication:
. XXIII, 327 p. 25 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Domenach, Florent.
Publication:
. XII, 309 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Information and Knowledge Systems
by Lukasiewicz, Thomas.
Publication:
. XII, 405 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction in Geometry
by Schreck, Pascal.
Publication:
. X, 259 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Algorithms
by Iliopoulos, Costas S.
Publication:
. XI, 387 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Rationality, and Interaction
by Ditmarsch, Hans.
Publication:
. XI, 403 p.
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),
|
|
|
Algebra and Coalgebra in Computer Science
by Corradini, Andrea.
Publication:
. XI, 420p.
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),
|
|
|
Developments in Language Theory
by Mauri, Giancarlo.
Publication:
. XIV, 482 p.
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),
|
|