|
1.
|
Objects, components, architectures, services, and applications for a networked world : International Conference NetObjectDays, NODe 2002, Erfurt, Germany, October 7-10, 2002 : revised papers / Mehmet Aksit, Mira Mezini, Rainer Unland (eds.). by NODe 2002 (2002 : Erfurt, Germany) | Akşit, Mehmet | Mezini, Mira, 1966- | Unland, Rainer. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
2.
|
Objects, agents, and features : international seminar, Dagstuhl Castle, Germany, February 16-21, 2003 ; revised and invited papers / Mark D. Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich (eds.). by Objects, Agents, and Features (2003 : Dagstuhl Castle, Germany) | Ryan, Mark D | Meyer, John-Jules Ch | Ehrich, Hans-Dieter. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; Heidelberg : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
3.
|
Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers / Alexandre Petrenko, Andreas Ulrich (eds.). by FATES 2003 (2003 : Montréal, Québec) | Petrenko, Alexandre | Ulrich, Andreas (Engineer) | IEEE International Automated Software Engineering Conference (18th : 2003 : Montréal, Québec). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
4.
|
|
|
5.
|
Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Kurt Jensen, Andreas Podelski (eds.). by TACAS (Conference) (10th : 2004 : Barcelona, Spain) | Jensen, K. (Kurt), 1950- | Podelski, Andreas. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer-Verlag, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
6.
|
Computer safety, reliability, and security : 25th international conference, SAFECOMP 2006, Gdańsk, Poland, September 27-29, 2006 : proceedings / Janusz Gó́rski (ed.). by SAFECOMP (Conference) (25th : 2006 : Gdańsk, Poland) | Górski, Janusz, 1948-. Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2006Other title: SAFECOMP 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
7.
|
Embedded computer systems : architectures, modeling, and simulation : 7th international workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007 : proceedings / Stamatis Vassiliadis, Mladen Berekovic, Timo D. Hämäläinen (eds.). by SAMOS 2007 (2007 : Samos, Greece) | Vassiliadis, Stamatis | Bereković, Mladen | Hämäläinen, Timo D. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2007Other title: SAMOS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
8.
|
|
|
9.
|
|
|
10.
|
Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Nicolas Halbwachs, Lenore D. Zuck (eds.). by TACAS (Conference) (11th : 2005 : Edinburgh, Scotland) | Halbwachs, Nicolas | Zuck, Lenore D, 1958- | ETAPS (Conference) (8th : 2005 : Edinburgh, Scotland). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
11.
|
|
|
12.
|
Software process improvement : 12th European conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005 : proceedings / Ita Richardson, Pekka Abrahamsson, Richard Messnarz (eds.). by EuroSPI 2005 (2005 : Budapest, Hungary) | Richardson, Ita | Abrahamsson, Pekka | Messnarz, Richard. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2005Online access: Click here to access online | Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
13.
|
|
|
14.
|
Product focused software process improvement : 6th international conference, PROFES 2005, Oulu, Finland, June 13-15, 2005 ; proceedings / Frank Bomarius, Seija Komi-Sirviö (eds.). by PROFES 2005 (2005 : Oulu, Finland) | Bomarius, Frank | Komi-Sirviö, Seija, 1966-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2005Other title: PROFES 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
15.
|
Generative programming and component engineering : 4th international conference, GPCE 2005, Tallinn, Estonia, September 29-October 1, 2005 : proceedings / Robert Glück, Michael Lowry (eds.). by GPCE (Conference) (2005 : Tallinn, Estonia) | Glück, R. (Robert), 1961- | Lowry, Michael R. (Michael Randolph), 1955-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2005Other title: GPCE 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
16.
|
|
|
17.
|
|
|
18.
|
Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : proceedings / Judi Romijn, Graeme Smith, Jaco van de Pol (eds.). by International Conference on Integrated Formal Methods (5th : 2005 : Eindhoven, Netherlands) | Romijn, Judi | Smith, Graeme, 1966- | Pol, Jaco van de. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
19.
|
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 Software Process Workshop | Li, Mingshu | Boehm, Barry W | Osterweil, Leon. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2005Other title: SPW 2005 | International Software Process Workshop.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
20.
|
Interactive systems : design, specification, and verification, 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedings / T.C. Nicholas Graham, Philippe Palanque (eds.). by DSV-IS 2008 (2008 : Kingston, Ont.) | Graham, T. C. Nicholas (Thomas Craig Nicholas), 1964- | Palanque, Philippe, 1966-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2008Other title: DSV-IS 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|