Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Nominal sets [electronic resource] : names and symmetry in computer science / by Andrew M. Pitts. by Series: Cambridge tracts in theoretical computer science ; 57.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Advanced Topics in Bisimulation and Coinduction. by Series: Cambridge tracts in theoretical computer science
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge : Cambridge University Press, 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Process algebra : equational theories of communicating processes / J.C.M. Baeten, T. Basten, M.A. Raniers. by Series: Cambridge tracts in theoretical computer science ; 50.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge : Cambridge University Press, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Introduction to coalgebra : towards mathematics of states and observation / Bart Jacobs. by Series: Cambridge tracts in theoretical computer science ; 59.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge, United Kingdom : Cambridge University Press, 2017
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha