Refine your search

Your search returned 224 results.

Not what you expected? Check for suggestions
1.
Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / edited by Peter J.L. Wallis.

by Ada Software Tools Interfaces Workshop (1983 : Bath, England) | Wallis, Peter J. L.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
On the move to meaningful Internet systems 2002 : CoopIS, DOA, and ODBASE : confederated international conferences, CoopIS, DOA, and ODBASE 2002 : proceedings / Robert Meersman, Zahir Tari et al. (eds.).

by International Conference on Cooperative Information Systems (10th : 2002 : Irvine, Calif.) | Meersman, R | Tari, Zahir | LINK (Online service) | International Symposium on Distributed Objects and Applications (4th : 2002 : Irvine, Calif.) | International Conference on Ontologies Databases and Applications of Semantics (1st : 2002 : Irvine, Calif.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: CoopIS 02 | DOA 02 | ODBASE 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 : proceedings / Manindra Agrawal, Anil Seth (eds.).

by Conference on Foundations of Software Technology and Theoretical Computer Science (22nd : 2002 : Kānpur, India) | Agrawal, Manindra, 1966- | Seth, Anil, 1965- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : 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.
Personal wireless communications : IFIP-TC6 9th International Conference, PWC 2004, Delft, the Netherlands, September 21-23, 2004 : proceedings / Ignas Niemegeers, Sonia Heemstra de Groot (eds.).

by PWC 2004 (2004 : Delft, Netherlands) | Niemegeers, Ignas [editor.] | Groot, Sonia Heemstra de [editor.] | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2004Other title: PWC 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / Jim Davies, Wolfram Schulte, Mike Barnett (eds.).

by International Conference on Formal Engineering Methods (6th : 2004 : Seattle, Wash.) | Davies, Jim, 1964- | Schulte, Wolfram | Barnett, Mike, 1957- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2004Other title: 6th International Conference on Formal Engineering Methods | ICFEM 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers / Michael G. Hinchey [and others].

by FAABS 2002 (2002 : Greenbelt, Md.) | Hinchey, Michael G. (Michael Gerard), 1969-.

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 .
9.
Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers / Bernhard K. Aichernig, Tom Maibaum (eds.).

by Aichernig, Bernhard K, 1969- | Maibaum, Thomas S. E, 1947- | International Institute for Software Technology.

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 .
10.
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 .
11.
Scientific engineering of distributed Java applications : third international workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers / Nicolas Guelfi, Egidio Astesiano, Gianna Reggio, eds.

by FIDJI 2003 (2003 : Luxembourg, Luxembourg) | Guelfi, Nicolas, 1965- | Astesiano, E. (Egidio), 1939- | Reggio, Gianna, 1957-.

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 .
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.
Intelligent perceptual systems : new directions in computational perception / V. Roberto (ed.).

by Roberto, V. (Vito), 1951- [edt].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1993Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Software engineering environments : International Workshop on Environments, Chinon, France, September 18-20, 1989 : proceedings / Fred Long (ed.).

by International Workshop on Environments (1989 : Chinon, France) | Long, Fred, 1947- [edt] | International Workshop on Environments (1989 : Chinon, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1990Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Database and XML technologies : 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007 : proceedings / Denilson Barbosa [and others] (eds.).

by International XML Database Symposium (5th : 2007 : Vienna, Austria) | Barbosa, Denilson.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 2007Other title: XSym 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
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 .
17.
Electronic commerce and Web technologies : second international conference, EC-WEB 2001, Munich, Germany, September 4-6, 2001 : proceedings / Kurt Bauknecht, Sanjay Kumar Madria, Günther Pernul (eds.).

by Bauknecht, Kurt, 1936- | Madria, Sanjay Kumar | Pernul, Günther, 1961- | International Conference on Electronic Commerce and Web Technologies (2nd : 2001 : Munich, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Active conceptual modeling of learning : next generation learning-base system development / Peter P. Chen, Leah Y. Wong (eds.).

by International ACM-L Workshop (2006 : Tucson, Ariz.) | Chen, Peter P. S | Wong, Leah Y.

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 .
19.
Adaptive agents and multi-agent systems II : adaptation and multi-agent learning / Daniel Kudenko, Dimitar Kazakov, Eduardo Alonso (eds.).

by Kudenko, Daniel, 1968- | Kazakov, Dimitar, 1967- | Alonso, Eduardo, 1967-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Service availability : first International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004 : revised selected papers / Miroslaw Malek, Manfred Reitenspiess, Jörg Kaiser (eds.).

by International Service Availability Symposium (1st : 2004 : Munich, Germany) | Malek, Miroslaw | Reitenspiess, Manfred | Kaiser, Jörg | LINK (Online service).

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

Powered by Koha