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

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 232 Results
Page 1 of 12
  • Cultures of Programming

    Cultures of Programming

    The Development of Programming Concepts and Methodologies

    Petricek, Tomas
    Published: Not yet published - available from December 2025

    Hardback

    View product
  • Proof Theory and Logic Programming

    Proof Theory and Logic Programming

    Computation as Proof Search

    Miller, Dale
    Published: Not yet published - available from December 2025

    Hardback

    View product
  • Introduction to Homotopy Type Theory

    Introduction to Homotopy Type Theory

    Rijke, Egbert
    Published: Not yet published - available from August 2025

    Hardback

    View product
  • Polynomial Functors

    Polynomial Functors

    A Mathematical Theory of Interaction

    Niu, Nelson
    Spivak, David I.
    Published: Not yet published - available from August 2025

    View product
  • Syntax and Semantics of Petri Nets

    Syntax and Semantics of Petri Nets

    Gorrieri, Roberto
    Published: Not yet published - available from August 2025

    Hardback

    View product
  • Polygraphs: From Rewriting to Higher Categories

    Polygraphs: From Rewriting to Higher Categories

    Ara, Dimitri
    Burroni, Albert
    Guiraud, Yves
    (+ 3 others)
    Published: April 2025

    View product
  • Session Types

    Session Types

    Gay, Simon J.
    Vasconcelos, Vasco T.
    Published: March 2025

    View product
  • Digital Behavior

    Digital Behavior

    Evidence-Based Digital Design

    Leon Dominguez, Umberto
    Published: February 2025

    View product
  • Initial Algebras and Terminal Coalgebras

    Initial Algebras and Terminal Coalgebras

    The Theory of Fixed Points of Functors

    Adámek, Jiří
    Milius, Stefan
    Moss, Lawrence S.
    Published: February 2025

    View product
  • Programming in Ada 2022

    Programming in Ada 2022

    Barnes, John
    Published: November 2024

    View product
  • Topological Duality for Distributive Lattices

    Topological Duality for Distributive Lattices

    Theory and Applications

    Gehrke, Mai
    van Gool, Sam
    Published: March 2024

    View product
  • Introducing String Diagrams

    Introducing String Diagrams

    The Art of Category Theory

    Hinze, Ralf
    Marsden, Dan
    Published: August 2023

    View product
  • Joy with Java

    Joy with Java

    Fundamentals of Object Oriented Programming

    Samanta, Debasis
    Sarma, Monalisa
    Published: June 2023

    View product Order inspection
  • Introduction to Choreographies

    Introduction to Choreographies

    Montesi, Fabrizio
    Published: May 2023

    View product
  • Handbook of Constructive Mathematics

    Handbook of Constructive Mathematics

    Bridges, Douglas
    Ishihara, Hajime
    Rathjen, Michael
    (+ 1 other)
    Published: May 2023

    View product
  • 200 Problems on Languages, Automata, and Computation

    200 Problems on Languages, Automata, and Computation

    Murlak, Filip
    Niwiński, Damian
    Rytter, Wojciech
    Published: April 2023

    View product
  • Software Engineering

    Software Engineering

    Basic Principles and Best Practices

    Sethi, Ravi
    Published: December 2022

    View product Order inspection
  • Mathematical Logic and Computation

    Mathematical Logic and Computation

    Avigad, Jeremy
    Published: November 2022

    View product
  • Programming Languages

    Programming Languages

    Build, Prove, and Compare

    Ramsey, Norman
    Published: October 2022

    View product Order inspection
  • Real World OCaml: Functional Programming for the Masses

    Real World OCaml: Functional Programming for the Masses

    Madhavapeddy, Anil
    Minsky, Yaron
    Published: October 2022
    2nd Edition

    View product
Found 232 Results
Page 1 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.
×