|
|
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; Format:
available online
 ; 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.
|
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; Format:
available online
; 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 .
|
|
|
3.
|
|
|
|
4.
|
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; Format:
available online
; 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 .
|
|
|
5.
|
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; Format:
available online
Publisher: Berlin : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
6.
|
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; Format:
available online
; 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 .
|
|
|
7.
|
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; Format:
available online
; 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 .
|
|
|
8.
|
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; Format:
available online
; 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 .
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
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; Format:
available online
; 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 .
|
|
|
12.
|
|
|
|
13.
|
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; Format:
available online
; 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 .
|
|
|
14.
|
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; Format:
available online
; 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 .
|
|
|
15.
|
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; Format:
available online
; 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 .
|
|
|
16.
|
Foundations of software science and computation structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Mogens Nielsen, Uffe Engberg, eds. by FOSSACS 2002 (2002 : Grenoble, France) | Nielsen, M. (Mogens), 1949- | Engberg, Uffe, 1959- | ETAPS 2002 (2002 : Grenoble, France). Material type: Text; Format:
available online
; 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 .
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
COTS-based software systems : 4th international conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005 : proceedings / Xavier Franch, Dan Port (eds.). by ICCBSS 2005 (2005 : Bilbao, Spain) | Franch, Xavier | Port, Dan. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2005Other title: ICCBSS 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
20.
|
Foundations of software science and computation structures : 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Vladimiro Sassone (ed.). by FOSSACS (Conference) (8th : 2005 : Edinburgh, Scotland) | Sassone, Vladimiro | ETAPS (Conference) (8th : 2005 : Edinburgh, Scotland). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2005Other title: FOSSACS 2005 | Joint European Conferences on Theory and Practice of Software | ETAPS 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|