Skip to content
Cart 
Register Sign in
Register Sign in Wishlist
Academic

Unlocking potential with the best learning and research solutions

Programming languages and applied logic

Results

Refine results

Refine results

Clear all

Series

Format

Rating

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

Show me

Subscribe now

Save 20% on your next online purchase

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

Results

Listing Grid
Found 223 Results
Page 4 of 12
  • Proofs and Computations

    Proofs and Computations

    Schwichtenberg, Helmut
    Wainer, Stanley S.
    Published: December 2011

    £71.99

    Add to cart
  • Formal Methods for Distributed Processing

    Formal Methods for Distributed Processing

    A Survey of Object-Oriented Approaches

    Bowman, Howard
    Derrick, John
    Published: December 2011

    £45.99

    Add to cart
  • Advanced Topics in Bisimulation and Coinduction

    Advanced Topics in Bisimulation and Coinduction

    Sangiorgi, Davide
    Rutten, Jan
    Published: October 2011

    £82.99

    Add to cart
  • Introduction to Bisimulation and Coinduction

    Introduction to Bisimulation and Coinduction

    Sangiorgi, Davide
    Published: October 2011

    £75.99

    Add to cart
  • Unification Grammars

    Unification Grammars

    Francez, Nissim
    Wintner, Shuly
    Published: October 2011

    £110.00

    Add to cart
  • An Introduction to Category Theory

    An Introduction to Category Theory

    Simmons, Harold
    Published: September 2011

    £27.99

     Add to cart
  • Aspect-Oriented, Model-Driven Software Product Lines

    Aspect-Oriented, Model-Driven Software Product Lines

    The AMPLE Way

    Rashid, Awais
    Royer, Jean-Claude
    Rummler, Andreas
    Published: September 2011

    £54.99

    Add to cart
  • Foundations of Component-Based Systems

    Foundations of Component-Based Systems

    Leavens, Gary T.
    Sitaraman, Murali
    Published: July 2011

    £46.99

    Add to cart
  • Computation and Automata

    Computation and Automata

    Salomaa, Arto
    Published: April 2011

    £65.99

    Add to cart
  • Finite and Algorithmic Model Theory

    Finite and Algorithmic Model Theory

    Esparza, Javier
    Michaux, Christian
    Steinhorn, Charles
    Published: March 2011

    £32.99

    Add to cart
  • Lectures in Game Theory for Computer Scientists

    Lectures in Game Theory for Computer Scientists

    Apt, Krzysztof R.
    Grädel, Erich
    Published: January 2011

    £107.00

    Add to cart
  • Foundations of XML Processing

    Foundations of XML Processing

    The Tree-Automata Approach

    Hosoya, Haruo
    Published: November 2010

    £50.99

    Add to cart
  • Relational Mathematics

    Relational Mathematics

    Schmidt, Gunther
    Published: November 2010

    £93.99

    Add to cart
  • Noncommutative Rational Series with Applications

    Noncommutative Rational Series with Applications

    Berstel, Jean
    Reutenauer, Christophe
    Published: October 2010

    £106.00

    Add to cart
  • Steps in Scala

    Steps in Scala

    An Introduction to Object-Functional Programming

    Loverdos, Christos K. K.
    Syropoulos, Apostolos
    Published: September 2010

    £34.99

     Add to cart
  • Pearls of Functional Algorithm Design

    Pearls of Functional Algorithm Design

    Bird, Richard
    Published: September 2010

    £56.99

    Add to cart
  • Knowledge Representation, Reasoning and Declarative Problem Solving

    Knowledge Representation, Reasoning and Declarative Problem Solving

    Baral, Chitta
    Published: June 2010

    £38.99

    Add to cart
  • Theories of Computability

    Theories of Computability

    Pippenger, Nicholas
    Published: June 2010

    £40.99

     Notify me when available
  • A Framework for Priority Arguments

    A Framework for Priority Arguments

    Lerman, Manuel
    Published: June 2010

    £106.00

    Add to cart
  • The Description Logic Handbook

    The Description Logic Handbook

    Theory, Implementation and Applications

    Baader, Franz
    Calvanese, Diego
    McGuinness, Deborah L.
    (+ 2 others)
    Published: May 2010
    2nd Edition

    £44.99

    Add to cart
Found 223 Results
Page 4 of 12

Browse by related subject

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 ×

Save 20% off on your next online purchase with Cambridge Alerts

Receive email alerts on new books, offers and news...

Subscribe

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.
×