Refine your search

Your search returned 289 results.

Not what you expected? Check for suggestions
1.
Foundations of software science and computation structures : Third International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Jerzy Tiuryn (ed.).

by FOSSACS (Conference) (3rd : 2000 : Berlin, Germany) | Tiuryn, Jerzy | ETAPS (Conference) (3rd : 2000 : Berlin, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Software frameworks and embedded control systems / Alessandro Pasetti.

by Pasetti, Alessandro.

Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; Heidelberg : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Soft-ware 2002 : computing in an imperfect world : first international conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10, 2002 : proceedings / David Bustard, Weiru Liu, Roy Sterritt, eds.

by Soft-Ware 2002 (2002 : Belfast, Northern Ireland) | Bustard, David, 1949- | Liu, Weiru, 1962- | Sterritt, Roy, 1971-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Software visualization : international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers / Stephan Diehl (ed.).

by Dagstuhl Seminar on Software Visualization (2001 : Dagstuhl, Germany) | Diehl, Stephan, 1969-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online 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.
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004 : revised lectures / editors, Marco Bernardo, Flavio Corradini.

by Bernardo, Marco | Corradini, Flavio | LINK (Online service) | International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2004 : Bertinora, Italy).

Material type: Text Text; Format: available online remote Publisher: Berlin : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
COTS-based software systems : Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings / Rick Kazman, Dan Port (eds.).

by ICCBSS 2004 (2004 : Redondo Beach, Calif.) | Kazman, Rick | Port, Dan.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: ICCBSS 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Software architecture : first European workshop, EWSA 2004, St. Andrews, UK, May 21-22, 2004 : proceedings / Flavio Oquendo, Brian Warboys, Ron Morrison (eds.).

by EWSA 2004 (2004 : St. Andrews, Scotland) | Oquendo, Flavio, 1958- | Warboys, Brian C, 1942- | Morrison, R. (Ronald), 1946-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: EWSA 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Foundations of software science and computation structures : 7th international conference, FOSSACS 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 / Igor Walukiewicz (ed.).

by FOSSACS (Conference) (7th : 2004 : Barcelona, Spain) | Walukiewicz, Igor | ETAPS (Conference) (2004 : Barcelona, Spain).

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 .
10.
Public key cryptography : 5th International workshop on practice and theory in public key cryptosystems, PKC 2002, Paris, France, February 12-14, 2002 : proceedings / David Naccache, Pascal Paillier (eds.).

by Naccache, David, 1967- | Paillier, Pascal | International Workshop on Practice and Theory in Public Key Cryptosystems, PKC (5 : 12-02-2002 - 14-02-2002 : Paris, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2002Other title: PKC 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Computing and combinatorics : first annual international conference, COCOON'95, Xiʹan, China, August 24-26, 1995 : proceedings / Ding-Zhu Du, Ming Li (eds.).

by Du, Ding-Zhu [edt] | Li, Ming [edt] | Annual International Conference on Computing and Combinatorics, COCOON '95 (1 : 1995 : Xiʹan, China).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1995Other title: COCOON '95.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
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 .
13.
SOFSEM 2001 : theory and practice of informatics : 28th Conference on Current Trends in Theory and Practice of Informatics, Piešt'any, Slovak Republic, November 24-December 1, 2001 : Proceedings / Leszek Pacholski, Peter Ruzicka (eds.).

by SOFSEM 2001 (2001 : Piešt'any, Slovak Republic) | Pacholski, Leszek | Ružička, Peter.

Material type: Text Text; Format: available online remote Publisher: Berlin ; London : Springer, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
SOFSEM 2002 : theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002 : proceedings / William I. Grosky, František Plášil (eds.).

by SOFSEM (2002 : Milovy, Czech Republic) | Grosky, William I | Plášil, František.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Software architecture : first European conference, ECSA 2007, Madrid, Spain, September 24-26, 2007 : proceedings / Flavio Oquendo (ed.).

by ECSA (Conference) (1st : 2007 : Madrid, Spain) | Oquendo, Flavio, 1958-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ECSA 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Rapid integration of software engineering techniques : third international workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006 ; revised selected papers / Nicolas Guelfi, Didier Buchs (eds.).

by RISE 2006 (2006 : Geneva, Switzerland) | Guelfi, Nicolas, 1965- | Buchs, Didier.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: RISE 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
SOFSEM 2007 : theory and practice of computer science : 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007 : proceedings / Jan van Leeuwen [and others] (eds.).

by SOFSEM (Conference) (33rd : 2007 : Harrachov, Liberecký kraj, Czech Republic) | Leeuwen, J. van (Jan).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: 33rd Conference on Current Trends in Theory and Practice of Computer Science | Thirty-third Conference on Current Trends in Theory and Practice of Computer Science | Conference on Current Trends in Theory and Practice of Computer Science.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Software process dynamics and agility : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007 : proceedings / Qing Wang, Dietmar Pfahl, David M. Raffo (eds.).

by International Conference on the Software Process (2007 : Minneapolis, Minn.) | Wang, Qing, 1964 January 29- | Pfahl, Dietmar | Raffo, David Mitchell | International Workshop on Software Process Simulation and Modeling (2007 : Minneapolis, Minn.) | Software Process Workshop (2007 : Minneapolis, Minn.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: International Conference on Software Process | ICSP 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Foundations of software science and computation structures : First International Conference, FoSSaCS '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʼ98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Maurice Nivat (ed.).

by FoSSaCS (Conference) (1st : 1998 : Lisbon, Portugal) | Nivat, M | LINK (Online service) | International Joint Conference on Theory and Practice of Software Development (8th : 1998 : Lisbon, Portugal).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Other title: FoSSaCS '98.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
SOFSEM 2000 : theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000 : proceedings / Václav Hlavác̆, Keith G. Jeffery, Jir̆í Wiedermann (eds.).

by SOFSEM (2000 : Milovy, Czech Republic) | Hlavac, Vaclav | Jeffery, Keith (Keith G.) | Wiedermann, J. (Juraj).

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

Powered by Koha