Your search returned 209 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
22.
Software process improvement : 11th European conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004 : proceedings / Torgeir Dingsøyr (ed.). by Series: Lecture notes in computer science ; 3281.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11341086
Publication details: Berlin ; New York : Springer, ©2004
Other title:
  • EuroSPI 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
23.
Advanced topics in exception handling techniques / Christophe Dony [and others] (eds.). by Series: Lecture notes in computer science ; 4119. | Lecture notes in computer science. State-of-the-art survey.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • Exception handling techniques
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
24.
Software process technology : 9th European Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003 : proceedings / Flavio Oquendo (ed.). by Series: Lecture notes in computer science ; 2786.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
25.
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli. by Series: Lecture notes in computer science ; 2805.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
26.
27.
Model driven engineering languages and systems : 10th international conference, MODELS 2007, Nashville, USA, September 30-October 5, 2007 : proceedings / Gregor Engels [and others] (eds.). by Series: Lecture notes in computer science ; 4735. | 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:
  • MODELS 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
28.
Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers / Bertrand Meyer, Mathai Joseph (eds.). by Series: Lecture notes in computer science ; 4716. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12171392
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • SEAFOOD 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
29.
30.
Reliable systems on unreliable networked platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers / Fabrice Kordon, Janos Sztipanovits (eds.). by Series: Lecture notes in computer science ; 4322.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
31.
Models in software engineering : workshops and symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006 : reports and revised selected papers / Thomas Kühne (ed.). by Series: Lecture notes in computer science ; 4364.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • MoDELS 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
32.
Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Orna Grumberg, Michael Huth (eds.). by Series: Lecture notes in computer science ; 4424.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • European Joint Conferences on Theory and Practice of Software 2007
  • TACAS 2007
  • Joint European Conferences on Theory and Practice of Software
  • ETAPS 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
33.
Foundations of software science and computational structures : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings / Helmut Seidl (ed.). by Series: Lecture notes in computer science ; 4423.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • European Joint Conferences on Theory and Practice of Software 2007
  • FOSSACS 2007
  • Joint European Conferences on Theory and Practice of Software
  • ETAPS 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
34.
35.
Requirements engineering, foundation for software quality : 13th international working conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007 : proceedings / Pete Sawyer, Barbara Paech, Patrick Heymans (eds.). by Series: Lecture notes in computer science ; 4542. | 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:
  • REFSQ 2007
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
36.
37.
38.
Early aspects : current challenges and future directions : 10th international workshop, Vancouver, Canada, March 13, 2007 : revised selected papers / Ana Moreira, John Grundy (eds.). by Series: Lecture notes in computer science ; 4765. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12192458
Publication details: Berlin ; New York : Springer, ©2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
39.
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
40.
Pages

Powered by Koha