Refine your search

Your search returned 48 results.

Not what you expected? Check for suggestions
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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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.
Program development in computational logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kung-Kiu Lau (eds.).

by Bruynooghe, M. (Maurice) | Lau, K.-K. (Kung-Kiu), 1953-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
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 Text; Format: available online remote; 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 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 Text; Format: available online remote; 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.
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday / Dieter Hutter, Werner Stephan (eds.).

by Siekmann, Jörg H | Hutter, Dieter | Stephan, Werner.

Material type: Text Text; Format: available online remote festschrift ; 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 .
9.
Embedded systems design : the ARTIST roadmap for research and development / Bruno Bouyssounouse, Joseph Sifakis (eds.).

by Bouyssounouse, Bruno | Sifakis, J. (Joseph), 1946-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: ARTIST roadmap for research and development.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
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 Text; Format: available online remote; 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.
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 CBSE 2005 (2005 : Saint Louis, Mo.) | Heineman, George T.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: CBSE 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
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 Text; Format: available online remote; 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.
Component-based software development for embedded systems : an overview of current research trends / Colin Atkinson [and others] (eds.).

by Atkinson, Colin.

Material type: Text Text; Format: available online remote; 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 .
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 Text; Format: available online remote; 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 Text; Format: available online remote; 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.
Embedded and ubiquitous computing--EUC 2005 : international conference, EUC 2005, Nagasaki, Japan, December 6-9, 2005 : proceedings / editors, Laurence T Yang [and others].

by EUC 2005 (2005 : Nagasaki-shi, Japan) | Yang, Laurence Tianruo | International Federation for Information Processing.

Material type: Text Text; Format: available online remote; 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 .
17.
Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures / Frank S. de Boer [and others] (eds.).

by FMCO (Symposium) (3rd : 2004 : Leiden, Netherlands) | Boer, Frank S. de.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: FMCO 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 .

Powered by Koha