Your search returned 5 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / Roberto Amadio (ed.). by Series: Lecture notes in computer science ; 4962. | 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, 2008
Other title:
  • Joint European Conferences on Theory and Practice of Software
  • European Joint Conferences on Theory and Practice of Software 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Fundamental approaches to software engineering : 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / José Luiz Fiadeiro, Paola Inverardi (eds.). by Series: Lecture notes in computer science ; 4961. | 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, 2008
Other title:
  • Joint European Conferences on Theory and Practice of Software
  • European Joint Conferences on Theory and Practice of Software
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
4.
Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / C.R. Ramakrishnan, Jakob Rehof (eds.). by Series: Lecture notes in computer science ; 4963. | 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, ©2008
Other title:
  • TACAS 2008
  • ETAPS 2008
  • European Joint Conferences on Theory and Practice of Software 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Pages

Powered by Koha