Your search returned 209 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma [and others], (eds.). by Series: Lecture notes in computer science ; 1019.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1995
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
3.
UML 2001 : the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings / Martin Gogolla, Cris Kobryn (ed.). by Series: Lecture notes in computer science ; 2185.
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
4.
5.
Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings / Thomas A. Henzinger, Christoph M. Kirsch (eds.). by Series: Lecture notes in computer science ; 2211.
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
6.
7.
Software product lines : second international conference, SPLC2, San Diego, CA, USA, August 19-22, 2002 : proceedings / Gary J. Chastek (ed.). by Series: Lecture notes in computer science ; 2379.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Software product-family engineering : 4th international workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001 : revised papers / Frank van der Linden (ed.). by Series: Lecture notes in computer science ; 2290.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
10.
11.
Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings / Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.). by Series: Lecture notes in computer science ; 2491.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Embedded software : third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings / Rajeev Alur, Insup Lee (eds.). by Series: Lecture notes in computer science ; 2855.
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
13.
14.
15.
16.
Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings / Ivica Crnkovic [and others]. by Series: Lecture notes in computer science ; 3054.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2004
Other title:
  • CBSE 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Extreme programming and agile processes in software engineering : 5th international conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : proceedings / Jutta Eckstein, Hubert Baumeister (eds.). by Series: Lecture notes in computer science ; 3092.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11011590
Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2004
Other title:
  • XP 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
Product focused software process improvement : 5th international conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 ; proceedings / Frank Bomarius, Hajimu Iida (eds.). 飯田, 元. by Series: Lecture notes in computer science ; 3009.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
20.
Software product lines : Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004 : proceedings / Robert L. Nord (ed.). by Series: Lecture notes in computer science ; 3154.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11315377
Publication details: Berlin ; New York : Springer, ©2004
Other title:
  • Third International Conference, SPLC 2004
  • SPLC 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha