Title: The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine / Edition 1, Author: Charles Petzold
Title: Basic Category Theory for Computer Scientists, Author: Benjamin C. Pierce
Title: Nonnegative Matrices and Applicable Topics in Linear Algebra, Author: Alexander Graham
Title: Schaum's Outline of Mathematica, Third Edition, Author: Eugene Don
Title: Combinatorics: A Very Short Introduction, Author: Robin Wilson
Title: P, NP, and NP-Completeness: The Basics of Computational Complexity, Author: Oded Goldreich
Title: An Introduction to Lambda Calculi for Computer Scientists, Author: C Hankin
Title: Probability and Statistics with Reliability, Queuing, and Computer Science Applications / Edition 2, Author: Kishor S. Trivedi
Title: Discrete Mathematics / Edition 1, Author: Steven G. Krantz
Title: Optimization Theory for Large Systems, Author: Leon S. Lasdon
Title: Problems and Methods of Optimal Control, Author: L.D. Akulenko
Title: Advances in Robot Kinematics and Computational Geometry / Edition 1, Author: Jadran Lenarcic
Title: Information Algebras: Generic Structures For Inference / Edition 1, Author: Juerg Kohlas
Title: Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers, Author: Herman Geuvers
Title: Explicit Brauer Induction: With Applications to Algebra and Number Theory, Author: Victor P. Snaith
Title: Computer Simulation Methods in Theoretical Physics / Edition 2, Author: Dieter W. Heermann
Title: Representation Theory of Semisimple Groups: An Overview Based on Examples, Author: Anthony W. Knapp
Title: Calculus of Variations and Optimal Control: Technion 1998 / Edition 1, Author: Alexander Ioffe
Title: Group Representations: A Survey of Some Current Topics / Edition 1, Author: R.L. Lipsman
Title: Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers / Edition 1, Author: Stefano Berardi

Pagination Links