//]]>
Theory and Applications of Satisfiability Testing – SAT 2012 by Cimatti, Alessandro. Publication: . XIV, 500p. 364 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata, Languages, and Programming by Czumaj, Artur. Publication: . 860p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automata, Languages, and Programming by Czumaj, Artur. Publication: . 700p. 51 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
Parallel Processing and Applied Mathematics by Wyrzykowski, Roman. Publication: . XXVII, 663 p. 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
Automated Reasoning by Gramlich, Bernhard. Publication: . XIV, 568p. 90 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Neural Networks – ISNN 2012 by Wang, Jun. Publication: . XXV, 669p. 314 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Biomedical Image Registration by Dawant, Benoît M. Publication: . XII, 308 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Pattern Matching by Kärkkäinen, Juha. Publication: . XIII, 454p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Diagrammatic Representation and Inference by Cox, Philip. Publication: . XIII, 358p. 202 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithm Theory – SWAT 2012 by Fomin, Fedor V. Publication: . XIII, 410p. 62 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
Structural Information and Communication Complexity by Even, Guy. Publication: . XIII, 340 p. 54 illus. 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
How the World Computes by Cooper, S. Barry. Publication: . XVIII, 756p. 42 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
Sequences and Their Applications – SETA 2012 by Helleseth, Tor. Publication: . XII, 339 p. 25 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Models for the Web Graph by Bonato, Anthony. Publication: . VIII, 179 p. 30 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart