Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Recommended product

Popular links

Popular links


Programming languages and applied logic

Results

Filter
Current filters
Clear all
Refine results
Show more
Show more

Results

Per Page 1 – 12 of 228
  • 1 – 12 of 228
Syntax and Semantics of Petri Nets
Roberto Gorrieri Roberto Gorrieri
August 2025
9781009613286
Hardback
Polygraphs: From Rewriting to Higher Categories
Dimitri Ara
(+5 others)
Dimitri Ara
Albert Burroni
Yves Guiraud
(+3 others)
April 2025
9781009498982
Paperback
$115.00
Polygraphs: From Rewriting to Higher Categories
Dimitri Ara
(+5 others)
Dimitri Ara
Albert Burroni
Yves Guiraud
(+3 others)
N/A
9781009498975
Adobe eBook Reader
Session Types
Simon J. Gay
(+1 other)
Simon J. Gay
Vasco T. Vasconcelos
March 2025
9781316518274
Hardback
Digital Behavior
Evidence-Based Digital Design
Umberto Leon Dominguez Umberto Leon Dominguez
February 2025
9781009568333
Hardback
$125.00
Digital Behavior
Evidence-Based Digital Design
Umberto Leon Dominguez Umberto Leon Dominguez
February 2025
9781009568326
Paperback
$41.99
Digital Behavior
Evidence-Based Digital Design
Umberto Leon Dominguez Umberto Leon Dominguez
N/A
9781009568340
Adobe eBook Reader
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
Jiří Adámek
(+2 others)
Jiří Adámek
Stefan Milius
Lawrence S. Moss
February 2025
9781108835466
Hardback
Programming in Ada 2022
John Barnes John Barnes
November 2024
9781009564779
Paperback
Topological Duality for Distributive Lattices
Theory and Applications
Mai Gehrke
(+1 other)
Mai Gehrke
Sam van Gool
March 2024
9781009349697
Hardback
Introducing String Diagrams
The Art of Category Theory
Ralf Hinze
(+1 other)
Ralf Hinze
Dan Marsden
August 2023
9781009317863
Hardback
Joy with Java
Fundamentals of Object Oriented Programming
Debasis Samanta
(+1 other)
Debasis Samanta
Monalisa Sarma
June 2023
9781009211918
Paperback
Introduction to Choreographies
Fabrizio Montesi Fabrizio Montesi
May 2023
9781108833769
Hardback
Handbook of Constructive Mathematics
Douglas Bridges
(+3 others)
Douglas Bridges
Hajime Ishihara
Michael Rathjen
(+1 other)
May 2023
9781316510865
Hardback
200 Problems on Languages, Automata, and Computation
Filip Murlak
(+2 others)
Filip Murlak
Damian Niwiński
Wojciech Rytter
April 2023
9781009073783
Paperback
$39.99
200 Problems on Languages, Automata, and Computation
Filip Murlak
(+2 others)
Filip Murlak
Damian Niwiński
Wojciech Rytter
April 2023
9781316513460
Hardback
$90.00
Per Page 1 – 12 of 228
  • 1 – 12 of 228