Skip to content
Register Sign in Wishlist

Programming languages and applied logic

Results

Refine results

Refine results

Clear all

Series

Format

Rating

  • (4)
  • (1)
  • (0)
  • (0)
  • (0)

Show me

Subscribe now

Subscribe to Cambridge Alerts

Receive email alerts on new books, offers and news in Programming languages and applied logic.

Results

Listing Grid
Found 230 Results
Page 10 of 12

This series contains other subjects. View the titles


  • Mastering ENVY/Developer

    Pelrine, Joseph
    Knight, Alan
    Cho, Adrian
    Published: July 2001

    View product
  • The Road to the Unified Software Development Process

    Jacobson, Ivar
    Bylund, Stefan
    Published: November 2000

    Paperback

    View product
  • Basic Proof Theory

    Troelstra, A. S.
    Schwichtenberg, H.
    Published: September 2000
    2nd Edition

    View product
  • Fundamentals of OOP and Data Structures in Java

    textbook

    Wiener, Richard
    Pinson, Lewis J.
    Published: September 2000

    (1 reviews)
  • The Haskell School of Expression

    Learning Functional Programming through Multimedia

    Hudak, Paul
    Published: June 2000

  • Derivation and Computation

    Taking the Curry-Howard Correspondence Seriously

    Simmons, H.
    Published: May 2000

    Hardback

    View product
  • More C++ Gems

    Martin, Robert C.
    Published: April 2000

    Paperback

    View product
  • More Java Gems

    Deugo, Dwight
    Published: April 2011

    Adobe eBook Reader

    View product
  • e-Enterprise

    Business Models, Architecture, and Components

    Hoque, Faisal
    Published: April 2000

    View product
  • Purely Functional Data Structures

    Okasaki, Chris
    Published: November 1999

    View product
  • Term Rewriting and All That

    Baader, Franz
    Nipkow, Tobias
    Published: October 1999

    Paperback

    View product
  • Practical Foundations of Mathematics

    Taylor, Paul
    Published: July 1999

    Hardback

    View product
  • The Optimal Implementation of Functional Programming Languages

    Asperti, Andrea
    Guerrini, Stefano
    Published: February 1999

    Hardback

    View product
  • The Functional Approach to Programming

    textbook

    Cousineau, Guy
    Mauny, Michel
    Callaway, K.
    Published: December 1998

  • Algorithmic Geometry

    textbook

    Boissonnat, Jean-Daniel
    Yvinec, Mariette
    Bronniman, Herve
    Published: May 1998

  • Object-Oriented COBOL

    Arranga, Edmund C.
    Coyle, Frank P.
    Published: May 1998

    Paperback

    View product
  • Higher Order Operational Techniques in Semantics

    Gordon, Andrew D.
    Pitts, Andrew M.
    Published: March 1998

    Hardback

    View product
  • C++ Gems

    Programming Pearls from The C++ Report

    Lippman, Stanley B.
    Published: March 1998

    Paperback

    View product
  • The Way of Z

    Practical Programming with Formal Methods

    Jacky, Jonathan
    Published: May 1997

    View product
  • Metamathematics, Machines and Gödel's Proof

    Shankar, N.
    Published: March 1997

    View product
Found 230 Results
Page 10 of 12

You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.

Continue ×

Continue ×
warning icon

Turn stock notifications on?

You must be signed in to your Cambridge account to turn product stock notifications on or off.

Sign in Create a Cambridge account arrow icon
×

Continue ×

Find content that relates to you

Join us online

This site uses cookies to improve your experience. Read more Close

Are you sure you want to delete your account?

This cannot be undone.

Cancel

Thank you for your feedback which will help us improve our service.

If you requested a response, we will make sure to get back to you shortly.

×
Please fill in the required fields in your feedback submission.
×