Your search returned 9 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
2.
Generic programming : advanced lectures / Roland Backhouse, Jeremy Gibbons, eds. by Series: Lecture notes in computer science ; 2793.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings / Jim Davies, Jeremy Gibbons (eds.). by Series: Lecture notes in computer science ; 4591. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • IFM 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Teaching formal methods : Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings / Jeremy Gibbons, José Nuno Oliveira (eds.). by Series: Lecture notes in computer science ; 5846. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12774869
Publication details: Berlin : Springer, ©2009
Other title:
  • TFM 2009
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Mathematics of program construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings / Jeremy Gibbons, Pablo Nogueira (eds.). by Series: Lecture notes in computer science ; 7342. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Other title:
  • MPC 2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Generic and indexed programming : International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised lectures / Jeremy Gibbons (ed.). by Series: Lecture notes in computer science ; 7470. | Lecture notes in computer science. Tutorial. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Other title:
  • SSGIP 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Foundations of health information engineering and systems : third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013, revised selected papers / Jeremy Gibbons, Wendy MacCaull (eds.). by Series: Lecture notes in computer science ; 8315. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin : Springer, [2014]Copyright date: ©2014
Other title:
  • FHIES 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
9.
Functional and logic programming : 17th international symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, proceedings / Jeremy Gibbons, Dale Miller, editors. by Series: Lecture notes in computer science ; 14659.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Singapore : Springer, [2024]Copyright date: ©2024
Other title:
  • FLOPS 2024
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha