//]]>
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
Abstract State Machines, Alloy, B, VDM, and Z by Derrick, John. Publication: . XV, 378 p. 133 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
Foundations of Information and Knowledge Systems by Lukasiewicz, Thomas. Publication: . XII, 405 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
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
Algebraic Informatics by Winkler, Franz. Publication: . X, 261p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction in Geometry by Sturm, Thomas. Publication: . IX, 225p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language, Information and Computation by Beklemishev, Lev D. Publication: . X, 311 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programming and Nonmonotonic Reasoning by Delgrande, James P. Publication: . XIII, 406 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Models of Computation by Ogihara, Mitsunori. Publication: . XVI, 564 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science – Theory and Applications by Kulikov, Alexander. Publication: . XI, 471 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Automata by Domaratzki, Michael. Publication: . XII, 332p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Transformations by Ehrig, Hartmut. Publication: . XII, 419p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 Next >>