Your search returned 209 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
61.
62.
Model driven engineering languages and systems : 9th international conference, MoDELS 2006, Genova, Italy, October 1-6, 2006 : proceedings / Oscar Nierstrasz [and others] (eds.). by Series: LNCS sublibrary. SL 2, Programming and software engineering. | Lecture notes in computer science ; 4199.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2006
Other title:
  • MoDELS 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
63.
64.
Software process improvement : 13th European conference, EuroSPI 2006, Joensuu, Finland, October 11-13, 2006 : proceedings / Ita Richardson, Per Runeson, Richard Messnarz (eds.). by Series: Lecture notes in computer science ; 4257.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • EuroSPI 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
65.
FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings / Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.). by Series: LNCS sublibrary. SL 2, Programming and software engineering. | Lecture notes in computer science ; 5014.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
66.
67.
Requirements engineering: foundation for software quality : 14th international working conference, REFSQ 2008, Montpellier, France, June 16-17, 2008 : proceedings / Barbara Paech, Colette Rolland (eds.). by Series: Lecture notes in computer science ; 5025. | 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, ©2008
Other title:
  • REFSQ 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
68.
Model driven architecture : foundations and applications : 4th European conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008 ; proceedings / Ina Schieferdecker, Alan Hartman (eds.). by Series: Lecture notes in computer science ; 5095. | 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, ©2008
Other title:
  • ECMDA-FA 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
69.
Product-focused software process improvement : 9th international conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008 : proceedings / Andreas Jedlitschka, Outi Salo (eds.). by Series: Lecture notes in computer science ; 5089. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2008
Other title:
  • PROFES 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
70.
Languages, methodologies and development tools for multi-agent systems : First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007 : revised selected and invited papers / Mehdi Dastani [and others] (eds.). by Series: Lecture notes in computer science ; 5118. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
71.
The common component modeling example : comparing software component models / Andreas Rausch [and others] (eds.). by Series: Lecture notes in computer science ; 5153. | Lecture notes in computer science. Tutorial.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
72.
73.
74.
75.
Algebraic methods II : theory, tools, and applications / J.A. Bergstra, L.M.G. Feijs, eds. by Series: Lecture notes in computer science ; 490.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1991
Other title:
  • Algebraic methods 2
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
76.
77.
78.
Software process technology : 7th European workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings / Reidar Conradi (ed.). by Series: Lecture notes in computer science ; 1780.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
79.
VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner [and others]. by Series: Lecture notes in computer science ; 252.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1987
Other title:
  • VDM, a formal method at work
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
80.
Recent trends in algebraic development techniques : 15th international workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers / Maura Cerioli, Gianna Reggio (eds.). by Series: Lecture notes in computer science ; 2267.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin : Springer, [2002]Copyright date: ©2002
Other title:
  • WADT 2001, joint with the CoFI WG Meeting
  • 15th International Workshop, WADT 2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha