Refine your search

Your search returned 199 results.

Not what you expected? Check for suggestions
1.
Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings / edited by E. Knuth and E.J. Neuhold.

by Conference on Operating Systems (1982 : Visegrád, Hungary) | Knuth, E. (Előd), 1943- | Neuhold, Erich J.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Joost-Pieter Katoen, Perdita Stevens (eds.).

by TACAS (Conference) (8th : 2002 : Grenoble, France) | Katoen, Joost-Pieter | Stevens, Perdita | LINK (Online service) | ETAPS (Conference) (2002 : Grenoble, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: TACAS 2002 | ETAPS 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Mobile agents for telecommunication applications : 4th international workshop, MATA 2002, Barcelona, Spain, October 23-24, 2002 : proceedings / Ahmed Karmouch, Thomas Magedanz, Jaime Delgado (eds.).

by MATA 2002 (2002 : Barcelona, Spain) | Karmouch, Ahmed | Magedanz, Thomas | Delgado, Jaime.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Product focused software process improvement : 4th international conference, PROFES 2002, Rovaniemi, Finland, December 9-11, 2002 : proceedings / Markku Oivo, Seija Komi-Sirviö (eds.).

by PROFES 2002 (2002 : Rovaniemi, Finland) | Oivo, Markku | Komi-Sirviö, Seija, 1966- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: PROFES 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
COTS-based software systems : second international conference, ICCBSS 2003, Ottawa, Canada, February 10-12, 2003 : proceedings / Hakan Erdogmus, Tao Weng (eds.).

by ICCBSS 2003 (2003 : Ottawa, Ont.) | Erdogmus, Hakan | Weng, Tao, 1977- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2003Other title: ICCBSS 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Multi-agent-based simulation II : third international workshop, MABS 2002, Bologna, Italy, July 15-16, 2002 : revised papers / Jaime Simão Sichman, François Bousquet, Paul Davidsson (eds.).

by MABS 2002 (2002 : Bologna, Italy) | Sichman, Jaime S. (Jaime Simão) | Bousquet, François, 1963- | Davidsson, Paul, 1964- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2003Other title: MABS 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Adaptive agents and multi-agent systems : adaptation and multi-agent learning / Eduardo Alonso, Daniel Kudenko, Dimitar Kazakov (eds.).

by Alonso, Eduardo, 1967- | Kudenko, Daniel, 1968- | Kazakov, Dimitar, 1967- | LINK (Online service) | Symposium on Adaptive Agents and Multi-Agent Systems (1st : 2001 : York, England) | Symposium on Adaptive Agents and Multi-Agent Systems (2nd : 2002 : Imperial College).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Regulated agent-based social systems : first international workshop, RASTA 2002, Bologna, Italy, July 16, 2002 : revised selected and invited papers / Gabriela Lindemann, Daniel Moldt, Mario Paolucci (eds.).

by RASTA 2002 (2002 : Bologna, Italy) | Lindemann, Gabriela | Moldt, Daniel | Paolucci, Mario | International Joint Conference on Autonomous Agents and Multiagent Systems (1st : 2002 : Bologna, Italy).

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 .
9.
Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings / Albert Llamosí, Alfred Strohmeier (eds.).

by Ada-Europe International Conference on Reliable Software Technologies (9th : 2004 : Palma de Mallorca, Spain) | Llamosi, Albert | Strohmeier, Alfred, 1946- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2004Other title: Ada-Europe 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
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 .
11.
Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings / Ivica Crnkovic [and others].

by CBSE 2004 Symposium (7th : 2004 : Edinburgh, Scotland) | Crnkovic, Ivica | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2004Other title: CBSE 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Extreme programming and agile processes in software engineering : 5th international conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : proceedings / Jutta Eckstein, Hubert Baumeister (eds.).

by XP 2004 (2004 : Garmisch-Partenkirchen, Germany) | Eckstein, Jutta | Baumeister, Hubert | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2004Other title: XP 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
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 .
14.
Algorithms--ESA '93 : first annual European symposium, Bad Honnef, Germany, September 30-October 2, 1993 : proceedings / Thomas Lengauer (ed.).

by ESA (Symposium) (1st : 1993 : Bad Honnef, Germany) | Lengauer, T. (Thomas) | Gesellschaft für Informatik | Annual European Symposium on Algorithms, ESA (1 : 30-09-1993 - 02-10-1993 : Bad Honnef, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1993Other title: ESA '93 | Algorithms.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli.

by FME 2003 (2003 : Pisa, Italy) | Araki, Keijirō, 1954- | Gnesi, Stefania, 1954- | Mandrioli, Dino.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker.

by WADT 2002 (2002 : Frauenchiemsee, Germany) | Wirsing, M. (Martin) | Pattinson, Dirk, 1970- | Hennicker, Rolf, 1952-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Transactions on Aspect-Oriented Software Development IV / Awais Rashid, Mehmet Aksit (eds.).

by Rashid, Awais | Akşit, Mehmet.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, 2007Other title: Transactions on aspect-oriented software development four | Transactions on aspect-oriented software development 4.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Models and tools for managing development processes / Bernhard Westfechtel.

by Westfechtel, Bernhard.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Mobile agents for telecommunication applications : Second International Workshop, MATA 2000, Paris, France, September 18-20, 2000 : proceedings / Eric Horlait (ed.).

by MATA 2000 (2000 : Paris, France) | Horlait, Eric.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Transactions on aspect-oriented software development. III / Awais Rashid, Mehmet Aksit (eds.).

by Rashid, Awais | Akşit, Mehmet.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha