Your search returned 209 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
41.
UML modeling languages and applications : [[UML] 2004 satellite activities, Lisbon, Portugal, October 11-15, 2004 : revised selected papers] / [Nuno Jardim Nunes . [and others] (eds.). by Series: Lecture notes in computer science ; 3297.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11399971
Publication details: Berlin ; New York : Springer, 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
42.
Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures / Marco Bernardo, Alessandro Bogliolo (eds.). by Series: Lecture notes in computer science ; 3465. | Lecture notes in computer science. Tutorial.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11419822
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems
  • Fifth International School on Formal Methods for the Design of Computer, Communication, and Software Systems
  • International School on Formal Methods for the Design of Computer, Communication, and Software Systems
  • SFM-Moby 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
43.
44.
45.
Component-based software engineering : 8th international symposium, CBSE 2005, St. Louis, Mo, USA, May 14-15, 2005 : proceedings / George T. Heineman [and others] (eds.). by Series: Lecture notes in computer science ; 3489.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11424529
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • CBSE 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
46.
Extreme programming and agile processes in software engineering : 6th international conference, XP 2005, Sheffield, UK, June 18-23, 2005 ; proceedings / Hubert Baumeister, Michele Marchesi, Mike Holcombe (eds.). by Series: Lecture notes in computer science ; 3556.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11499053
Publisher: Berlin ; New York : Springer, ©2005
Other title:
  • XP 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
47.
Model driven engineering languages and systems : 8th international conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005 : proceedings / Lionel Briand, Clay Williams (eds.). by Series: Lecture notes in computer science ; 3713.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • MoDELS 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
48.
Software process improvement : 12th European conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005 : proceedings / Ita Richardson, Pekka Abrahamsson, Richard Messnarz (eds.). by Series: Lecture notes in computer science ; 3792.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11586012
Publication details: Berlin ; New York : Springer, ©2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
49.
Product focused software process improvement : 6th international conference, PROFES 2005, Oulu, Finland, June 13-15, 2005 ; proceedings / Frank Bomarius, Seija Komi-Sirviö (eds.). by Series: Lecture notes in computer science ; 3547.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • PROFES 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
50.
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings / John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.). by Series: Lecture notes in computer science ; 3582.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • Formal methods 2005
  • International Symposium of Formal Methods Europe
  • FME
  • Formal methods Europe
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
51.
Software product lines : 9th international conference, SPLC 2005, Rennes, France, September 26-29, 2005 : proceedings / Henk Obbink, Klaus Pohl (eds.). by Series: Lecture notes in computer science ; 3714.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • SPLC 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
52.
Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005 : proceedings / Alan Hartman, David Kreische (eds.). by Series: Lecture notes in computer science ; 3748.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11581741
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • ECMDA-FA 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
53.
Software engineering research and applications : second international conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004 : selected revised papers / Walter Dosch, Roger Y. Lee, Chisu Wu (eds.). by Series: Lecture notes in computer science ; 3647.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer, ©2005
Other title:
  • SERA 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
54.
Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-April 2, 2006 : proceedings / Holger Hermanns, Jens Palsberg (eds.). by Series: Lecture notes in computer science ; 3920.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • TACAS 2006
  • ETAPS 2006
  • Joint European Conferences on Theory and Practice of Software
  • European Joint Conferences on Theory and Practice of Software 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
55.
56.
Unifying the software process spectrum : International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 : revised selected papers / Mingshu Li, Barry Boehm, Leon J. Osterweil (eds.). by Series: Lecture notes in computer science ; 3840.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • SPW 2005
  • International Software Process Workshop
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
57.
Satellite events at the MoDELS 2005 conference : MoDELS 2005 international workshops, doctoral symposium, educators symposium, Montego Bay, Jamaica, October 2-7, 2005 : revised selected papers / Jean-Michel Bruel (ed.). by Series: Lecture notes in computer science ; 3844.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2006
Other title:
  • MoDELS 2005 international workshops, doctoral symposium, educators symposium
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
58.
Software process change : International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006 : proceedings / Qing Wang [and others] (eds.). by Series: Lecture notes in computer science ; 3966.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer, 2006
Other title:
  • International Software Process Workshop
  • International Workshop on Software Process Simulation and Modeling
  • SPW/ProSim 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
59.
FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.). by Series: Lecture notes in computer science ; 4085.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • 14th International Symposium on Formal Methods
  • Fourteenth International Symposium on Formal Methods
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
60.
Product-focused software process improvement : 7th international conference, PROFES 2006, Amsterdam, the Netherlands, June 12-14, 2006 : proceedings / Jürgen Münch, Matias Vierimaa (eds.). by Series: Lecture notes in computer science ; 4034. | 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, ©2006
Other title:
  • PROFES 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha