//]]>
Unhighlight Highlight
Mathematical Foundations of Computer Science 2012 by Rovan, Branislav. Publication: . XV, 825 p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Vidal, Germán. Publication: . X, 254 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Developments in Language Theory by Yen, Hsu-Chun. Publication: . XIII, 478p. 65 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages Alive by Bordihn, Henning. Publication: . X, 291 p. 29 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Deontic Logic in Computer Science by Ågotnes, Thomas. Publication: . XII, 215 p. 21 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Lectures on Logic and Computation by Bezhanishvili, Nick. Publication: . VIII, 265 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics of Program Construction by Gibbons, Jeremy. Publication: . X, 363p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Multivariate Algorithmic Revolution and Beyond by Bodlaender, Hans L. Publication: . XXII, 506p. 32 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science – Theory and Applications by Hirsch, Edward A. Publication: . XXIII, 327 p. 25 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Concept Analysis by Domenach, Florent. Publication: . XII, 309 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Information and Knowledge Systems by Lukasiewicz, Thomas. Publication: . XII, 405 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction in Geometry by Schreck, Pascal. Publication: . X, 259 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Algorithms by Iliopoulos, Costas S. Publication: . XI, 387 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Rationality, and Interaction by Ditmarsch, Hans. Publication: . XI, 403 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Foundations of Computer Science 2011 by Murlak, Filip. Publication: . XV, 618 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamentals of Computation Theory by Owe, Olaf. Publication: . XIII, 373 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebra and Coalgebra in Computer Science by Corradini, Andrea. Publication: . XI, 420p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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),
Actions: Add to Cart
Developments in Language Theory by Mauri, Giancarlo. Publication: . XIV, 482 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Automata by Bouchou-Markhoff, Béatrice. Publication: . XIII, 299p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 Next >>