Your search returned 209 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
81.
UML '99 : the unified modeling language : beyond the standard : Second International Conference Fort Collins, CO, October 28-30, 1999 : proceedings / Robert France, Bernhard Rumpe (Eds.). by Series: Lecture notes in computer science ; 1723.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1999
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
82.
83.
Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers / José Luiz Fiadeiro (ed.). by Series: Lecture notes in computer science ; 1589.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1999
Other title:
  • WADT'98
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
84.
Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 9-11, 1996 : proceedings / Carlo Montangero (ed.). by Series: Lecture notes in computer science ; 1149.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1996
Other title:
  • EWSPT '96
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
85.
Software process technology : 6th European workshop, EWSPT '98 : Weybridge, UK, September 16-18, 1998 : proceedings / Volker Gruhn (ed.). by Series: Lecture notes in computer science ; 1487.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Other title:
  • EWSPT '98
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
86.
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings / Michel Bidoit, Max Dauchet, eds. by Series: Lecture notes in computer science ; 1214.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • Theory and practice of software development
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
87.
Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, the Netherlands, April 2-4, 1997 : proceedings / Ed Brinksma (ed.). by Series: Lecture notes in computer science ; 1217.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • TACAS '97
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
88.
Trustworthy software development processes : International Conference on Software Process, ICSP 2009, Vancouver, Canada, May 16-17, 2009 : proceedings / Qing Wang [and others] (eds.). by Series: Lecture notes in computer science ; 5543. | 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, ©2009
Other title:
  • ICSP 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
89.
90.
Theory and practice of model transformations : Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009 : proceedings / Richard F. Paige (ed.). by Series: Lecture notes in computer science ; 5563.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2009
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
91.
92.
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures / Ana Bove [and others] (eds.). by Series: Lecture notes in computer science. Tutorial. | Lecture notes in computer science ; 5520. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12716449
Publication details: Berlin ; New York : Springer, ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
93.
94.
Recent trends in algebraic development techniques : 19th international workshop ; revised selected papers, WADT 2008, Pisa, Italy, June 13-16, 2008 / Andrea Corradini, Ugo Montanari (ed.). by Series: Lecture notes in computer science ; v. 5486.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg ; New York, NY : Springer, ©2009
Other title:
  • WADT 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
95.
Model driven engineering languages and systems : 12th international conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009: proceedings /cAndy Schürr, Brian Selic (eds.). by Series: Lecture notes in computer science ; 5795. | 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, ©2009
Other title:
  • MODELS 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
96.
FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings / Ana Cavalcanti, Dennis Dams (eds.). by Series: Lecture notes in computer science ; 5850. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12778379
Publication details: Berlin ; New York : Springer, ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
97.
Middleware 2009 : ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings / Jean M. Bacon, Brian F. Cooper (eds.). by Series: Lecture notes in computer science ; 5896. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
98.
Algebraic methods : theory, tools, and applications / M. Wirsing, J.A. Bergstra, eds. by Series: Lecture notes in computer science ; 394.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1989
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
99.
Foundations of computer software : future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers / Christine Choppy, Oleg Sokolsky, (eds.). by Series: Lecture notes in computer science ; 6028. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 80012716
Publication details: Berlin ; New York : Springer, ©2010
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
100.
Software process technology : 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 : proceedings / Vincenzo Ambriola (ed.). by Series: Lecture notes in computer science ; 2077.
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
Pages

Powered by Koha