• Click topic headings for more detailed lists, including basic reviews.
  • Click author names for lists of their relevant books available online.
  • Click book titles for further details, reviews, and offers specific to that book.

    Security
    You should only supply credit card details over secure server connections (Amazon use a secure server). Never send credit card details over standard email.

    Notes for UK Visitors
    Even though NoiseFactory is based in the UK, most prices here are quoted in US dollars - the slightly longer shipping time is usually more than made up for by considerably lower prices in America. Buying goods online is just as easy in dollars as Sterling, because credit card transactions are automatically converted to local currency at the prevailing exchange rate. In fact, online dollar purchases are cheaper even than getting your bank to generate a money order, because banks typically charge extortionate conversion fees, whereas credit cards usually charge none at all. To buy a book or CD in dollars, just fill out the online forms provided - the rest happens automatically.

    Further Reading > Theoretical Computer Science > (page 4 of 5)
    [Page 1] [Page 2] [Page 3] [Page 5]


    Visit our Sponsors

    In Association with Amazon.com

    Theoretical Computer Science (Page 4)

    Nondeterminism in Algebraic Specifications and Algebraic Programs (Progress in Theoretical Computer Science)
    by Heinrich Hussmann. Hardcover (March 1993)
    Amazon (USA): $67.00 : 24 hours
    Nonmonotonic Reasoning : Logical Foundations of Commonsense (Cambridge Tracts in Theoretical Computer Science, No 12)
    by Gerhard Brewka. Hardcover (February 1991)
    Amazon (USA): $42.95 : 24 hours
    Object-Oriented Programming : A Unified Foundation (Progress in Theoretical Computer Science)
    by Giuseppe Castagna. Hardcover (December 1996)
    Amazon (USA): $76.50 : 2-3 days
    On-Line Algorithms : Proceedings of a Dimacs Workshop, February 11-13, 1991 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science,)
    by Lyle A. McGeoch, Daniel D. Sleator (Editor). Hardcover (February 1992)
    Amazon (USA): $36.00
    The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, No 45)
    by Andrea Asperti, Stefano Guerrini. Hardcover (January 1999)
    Amazon (USA): $74.95
    Parallel Complexity Theory (Research Notes in Theoretical Computer Science)
    by Ian Parberry.
    Amazon (USA): $67.00 : OOP
    Parallel Processing of Discrete Optimization Problems : Dimacs Workshop April 28-29, 1994 (Dimacs Series in Discrete Mathematics and Theoretical Comp)
    by Panos M. Pardalos, et al. Hardcover (July 1995)
    Amazon (USA): $89.00
    Parsing Schemata : A Framework for Specification and Analysis of Parsing Algorithms (Texts in Theoretical Computer Science)
    by Klaas Sikkel, Klass Sikkel. Hardcover (March 1997)
    Amazon (USA): $59.95 : 2-3 days
    Parsing Theory : Languages and Parsing (Eatcs Monographs on Theoretical Computer Science, Vol 15)
    by Seppo Sippu, Eljas Soisalon-Soininen. Hardcover (October 1988)
    Amazon (USA): $77.95
    Partial Order Methods in Verification : Dimacs Workshop July 24-26, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Vol)
    by Doron A. Peled(Editor), et al. Hardcover (January 1997)
    Amazon (USA): $85.00
    Partitioning Data Sets : Dimacs Workshop April 19-21, 1993 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Vol 19)
    by Ingemar J. Cox. Hardcover (April 1995)
    Amazon (USA): $85.00
    People & Ideas in Theoretical Computer Science (Springer Series in Discrete Mathematics and Theoretical Computer Science)
    by C. S. Calude(Editor). Hardcover (October 1999)
    Amazon (USA): $39.95 : 24 hours
    Perspective in Theoretical Computer Science (Series in Computer Science Vol 16)
    by R. Narasimhan(Editor). Paperback (August 1989)
    Amazon (USA): $32.00
    A Perspective in Theoretical Computer Science (World Scientific Series in Computer Science, Vol 16)
    by R. Narasimhan(Editor). Hardcover (August 1989)
    Amazon (USA): $64.00
    Petri Nets : An Introduction (Eatcs : Monographs on Theoretical Computer Science, Vol 4)
    by Wolfgang Reisig.
    Amazon (USA): $67.00 : OOP
    Planar Graphs (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Vol 9)
    by William T. Trotter(Editor). Hardcover (April 1993)
    Amazon (USA): $45.00
    Polyhedral Combinatorics : Proceedings of a Dimacs Workshop, June 12-16, 1989 (Discrete Mathematics and Theoretical Computer Science, Vol. 1)
    by William Cook, Paul D. Seymour (Editor). Hardcover (December 1990)
    Amazon (USA): $57.00
    Polynomial and Matrix Computations : Fundamental Algorithms (Progress in Theoretical Computer Science)
    by Dario Bini, Victor Y. Pan. Hardcover (August 1994)
    Amazon (USA): $78.50 : 24 hours
    Polynomials : An Algorithmic Approach (Springer Series in Discrete Mathematics and Theoretical Computer Science)
    by M. Mignotte, D. Stefanescu. Paperback (May 1999)
    Amazon (USA): $49.00 : 2-3 days
    A Practical Introduction to the Simulation of Molecular Systems
    by Martin Field. Hardcover (August 1999)
    Amazon (USA): $80.00 : 2-3 days
    Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, No 33)
    by E.G. Manes. Hardcover (December 1992)
    Amazon (USA): $49.95 : 24 hours
    Process Algebra (Cambridge Tracts in Theoretical Computer Science, 18)
    by J.C.M. Baeten, W. P. Weijland. Hardcover (January 1990)
    Amazon (USA): $44.95 : 24 hours
    Products of Automata (Eatcs Monographs on Theoretical Computer Science, Vol 7)
    by F. Gecseg. Hardcover (October 1986)
    Amazon (USA): $53.95 : 24 hours
    Proof Complexity and Feasible Arithmetics : Dimacs Workshop April 21-24, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science,
    by Paul W. Beame(Editor), et al. Hardcover (October 1997)
    Amazon (USA): $59.00
    Proofs and Types (Cambridge Tracts in Theoretical Computer Science 7)
    by Jean-Yves Girard, et al.
    Amazon (USA): $67.00 : OOP
    Propositional Logic : Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science , No 48)
    by Hans Kleine Buning, T. Lettman. Hardcover (October 1999)
    Amazon (USA): $80.00
    Public-Key Cryptography (Eatcs Monographs on Theoretical Computer Science, Vol 23)
    by Arto Salomaa. Hardcover (December 1990)
    Amazon (USA): $80.00
    Public-Key Cryptography (Texts in Theoretical Computer Science)
    by Arto Salomaa. Hardcover (December 1996)
    Amazon (USA): $53.95
    Quadratic Assignment and Related Problems : Dimacs Workshop May 20-21, 1993 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science,)
    by Panos M. Pardalos, Henry Wolkowicz (Editor). Hardcover (August 1994)
    Amazon (USA): $73.00
    Quantum Logic (Discrete Mathematics and Theoretical Computer Science)
    by Karl Svozil. Hardcover (August 1998)
    Amazon (USA): $49.95
    Rational Series and Their Languages (Eatcs Monographs on Theoretical Computer Science, Vol 12)
    by Jean Berstel, Christophe Reutenauer. Hardcover (December 1988)
    Amazon (USA): $58.95
    Regulated Rewriting in Formal Language Theory (Eatcs Monographs on Theoretical Computer Science, Vol 18)
    by Jurgen Dassow, Gheorghe Paun. Hardcover (May 1990)
    Amazon (USA): $101.00 : 24 hours
    Relations and Graphs : Discrete Mathematics for Computer Scientists (Eatcs Monographs on Theoretical Computer Science)
    by Gunther Schmidt, Thomas Strohlein. Hardcover (March 1993)
    Amazon (USA): $74.95
    Relativity and Scientific Computing : Computer Algebra, Numerics, Visualization
    by F. W. Hehl(Editor), et al. Hardcover (June 1996)
    Amazon (USA): $89.95
    The Resolution Calculus (Texts in Theoretical Computer Science)
    by Alexander Leitsch. Hardcover (February 1997)
    Amazon (USA): $49.95 : 2-3 days
    Results and Trends in Theoretical Computer Science
    Paperback (June 1994)
    Amazon (USA): $89.95
    Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa Graz, Austria, June 10-11, 1994 : Proceedings (Lecture Notes)
    by J. Karhumaki, et al. Paperback (June 1994)
    Amazon (USA): $71.95 : 24 hours
    Reviews in Computational Chemistry (Reviews in Computational Chemistry , Vol 7)
    by Kenny B. Lipkowitz(Editor), Donald B. Boyd (Editor). Paperback (October 1995)
    Amazon (USA): $139.00 : 24 hours
    Satisfiability Problem : Theory and Applications (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Vol 35)
    by Dingzhu Du(Editor), et al. Hardcover (October 1997)
    Amazon (USA): $149.00 : 24 hours
    Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings
    Amazon (USA): $67.00 : OOP
    Semantics of Systems of Concurrent Processes Litp Spring School on Theoretical Computer Science, Laroche Posay, France, April 23-27, 1990) (Lecture N)
    by I. Guessarian(Editor). Paperback (February 1991)
    Amazon (USA): $52.95 : 24 hours
    Semantics of Type Theory : Correctness, Completeness, and Independence Results (Progress in Theoretical Computer Science)
    by Thomas Streicher. Hardcover (October 1991)
    Amazon (USA): $93.50
    Semirings, Automata, Languages (Eatcs Monographs on Theoretical Computer Science, Vol 5)
    by W. Kuich. Hardcover (January 1986)
    Amazon (USA): $116.00
    Sequences and Their Applications : Proceedings of Seta'98 (Discrete Mathematics and Theoretical Computer Science)
    by Seta'9, et al. Paperback (November 1999)
    Amazon (USA): $84.00
    Solving Higher-Order Equations : From Logic to Programming (Progress in Theoretical Computer Science)
    by Christian Prehofer. Hardcover (February 1998)
    Amazon (USA): $64.50 : 2-3 days
    Specification and Analysis of Concurrent Systems : The Cosy Approach (Eatcs Monographs on Theoretical Computer Science)
    by Ryszard Janicki, Peter E. Lauer. Hardcover (August 1992)
    Amazon (USA): $116.00
    The Spin Verification System : Dimacs Workshop, August 5, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, V. 32)
    by Workshop on the Spin Verification System. Hardcover (June 1997)
    Amazon (USA): $49.00
    Stacs '89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, Frg, February, 16-18, 1989 Proceedings (Lecture Notes in Comp)
    by B. Monien, R. Cori (Editor). Paperback (April 1989)
    Amazon (USA): $58.95 : 24 hours
    Stacs 2000 : 17th Annual Symposium on Theortical Aspects of Computer Science, Lille, France, February 2000 : Proceedings (Lecture Notes in Computer sc
    by fran Symposium on Theoretical Aspects of Computer Science 2000 Lille. Hardcover (March 2000)
    Amazon (USA): $49.00
    Stacs 84 : Symposium of Theoretical Aspects of Computer Science, Paris April 11-13, 1984
    by fran Symposium on Theoretical Aspects of Computer Science 1984 Paris.
    Amazon (USA): $58.95 : OOP
    Stacs 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19-21, 1987 Proceedings)
    by F.J. Brandenburg, et al. Paperback (February 1987)
    Amazon (USA): $41.00
    Stacs 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux France February 11-13, 1988, : Proceedings (Lecture Notes in Comp)
    by R. Cori, M. Wirsing (Editor). Paperback (April 1988)
    Amazon (USA): $49.95 : 24 hours
    Stacs 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22-24, 1990 Proceedings (Lecture Notes in Computer)
    by C. Choffrut, T. Lengauer (Editor). Paperback (June 1990)
    Amazon (USA): $41.95 : 24 hours
    STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990 : proceedings
    Amazon (USA): $58.95 : OOP
    STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings
    Amazon (USA): $58.95 : OOP
    Stacs 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : Proceedings (Lecture Notes in Comp)
    by A. Finkel, M. Jantzen (Editor). Paperback (May 1992)
    Amazon (USA): $97.00 : 24 hours


    [Page 1] [Page 2] [Page 3] [Page 5]