Your search returned 6 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
2.
3.
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures / Ana Bove [and others] (eds.). by Series: Lecture notes in computer science. Tutorial. | Lecture notes in computer science ; 5520. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12716449
Publication details: Berlin ; New York : Springer, ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Types for proofs and programs : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers / Thierry Coquand [and others], (Eds.). by Series: Lecture notes in computer science ; 1956.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
6.
The little typer / Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Cambridge, Massuchesetts : The MIT Press, [2018]Copyright date: �2018
Availability: Not available: Checked out (1).
Place hold
Pages

Powered by Koha