Skip to content
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

Show me

Format

Rating

  • (4)
  • (1)
  • (0)
  • (0)
  • (0)
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 229 Results
Page 5 of 12
  • Foundations of XML Processing

    Foundations of XML Processing

    The Tree-Automata Approach

    Hosoya, Haruo
    Published: November 2010

    View product
  • Relational Mathematics

    Relational Mathematics

    Schmidt, Gunther
    Published: November 2010

    View product
  • Noncommutative Rational Series with Applications

    Noncommutative Rational Series with Applications

    Berstel, Jean
    Reutenauer, Christophe
    Published: October 2010

    View product
  • Steps in Scala

    Steps in Scala

    An Introduction to Object-Functional Programming

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

    View product
  • Pearls of Functional Algorithm Design

    Pearls of Functional Algorithm Design

    Bird, Richard
    Published: September 2010

    View product
  • Theories of Computability

    Theories of Computability

    Pippenger, Nicholas
    Published: June 2010

    View product
  • Knowledge Representation, Reasoning and Declarative Problem Solving

    Knowledge Representation, Reasoning and Declarative Problem Solving

    Baral, Chitta
    Published: May 2010

    View product
  • 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

    View product
  • Modeling in Event-B

    Modeling in Event-B

    System and Software Engineering

    Abrial, Jean-Raymond
    Published: May 2010

    (1 reviews)
    View product
  • Transitions and Trees

    Transitions and Trees

    An Introduction to Structural Operational Semantics

    Hüttel, Hans
    Published: April 2010

    View product Order inspection
  • Revised [6] Report on the Algorithmic Language Scheme

    Revised [6] Report on the Algorithmic Language Scheme

    Sperber, Michael
    Dybvig, R. Kent
    Flatt, Matthew
    (+ 3 others)
    Published: April 2010

    Hardback

    View product
  • A Framework for Priority Arguments

    A Framework for Priority Arguments

    Lerman, Manuel
    Published: April 2010

    View product
  • Programming in Visual Basic 2010

    Programming in Visual Basic 2010

    The Very Beginner's Guide

    textbook

    McKeown, Jim
    Published: March 2010

    View product Order inspection
  • Process Algebra: Equational Theories of Communicating Processes

    Process Algebra: Equational Theories of Communicating Processes

    Baeten, J. C. M.
    Basten, T.
    Reniers, M. A.
    Published: January 2010

    View product
  • Information Systems Engineering

    Information Systems Engineering

    A Formal Approach

    Hee, Kees M. van
    Published: December 2009

    Paperback

    View product
  • Semantic Techniques in Quantum Computation

    Semantic Techniques in Quantum Computation

    Gay, Simon
    Mackie, Ian
    Published: November 2009

    View product
  • From Semantics to Computer Science

    From Semantics to Computer Science

    Essays in Honour of Gilles Kahn

    Bertot, Yves
    Huet, Gérard
    Lévy, Jean-Jacques
    (+ 1 other)
    Published: September 2009

    View product
  • Logic Colloquium 2006

    Logic Colloquium 2006

    Cooper, S. Barry
    Geuvers, Herman
    Pillay, Anand
    (+ 1 other)
    Published: September 2009

    View product
  • Semantics and Logics of Computation

    Semantics and Logics of Computation

    Pitts, Andrew M.
    Dybjer, P.
    Published: August 2009

    View product
  • A Unifying Framework for Structured Analysis and Design Models

    A Unifying Framework for Structured Analysis and Design Models

    An Approach Using Initial Algebra Semantics and Category Theory

    Tse, T. H.
    Published: July 2009

    View product
Found 229 Results
Page 5 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.
×