Your search returned 5 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Program development in computational logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kung-Kiu Lau (eds.). by Series: Lecture notes in computer science ; 3049. | Lecture notes in computer science. State-of-the-art survey.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11012061
Publication details: Berlin ; New York : Springer, ©2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings / Chris Hankin, Igor Siveroni (eds.). by Series: Lecture notes in computer science ; 3672.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11547662
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • SAS 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers / Danny De Schreye, ed. by Series: Lecture notes in computer science ; 6037. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Edition: 1st ed.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 80013034
Publication details: Berlin ; New York : Springer, ©2010
Other title:
  • LOPSTR 2009
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Program development by specification and transformation : the PROSPECTRA methodology, language family, and system / Berthold Hoffmann, Bernd Krieg-Brückner (eds.). by Series: Lecture notes in computer science ; 680.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1993
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Pages

Powered by Koha