Results of search for 'ccl=su:"Software"'

Results
	581.	Algebraic methodology and software technology : 7th International Conference, AMAST '98, Amazonia, Brazil, January 4-8, 1999 : proceedings / Armando Martín Haeberer (ed.). by International Conference on Algebraic Methodology and Software Technology (7th : 1999 : Amazonia, Brazil) Haeberer, Armando Martín, 1947- LINK (Online service) Series: Lecture notes in computer science ; 1548. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	582.	Fast software encryption : 6th International Workshop, FSE'99, Rome, Italy, March 24-26, 1999 : proceedings / Lars Knudsen (ed.). by FSE (Workshop) (6th : 1999 : Rome, Italy) Knudsen, Lars, 1962- [editor.] LINK (Online service) Series: Lecture notes in computer science ; 1636. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, [1999]Copyright date: ©1999 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	583.	Reliable software technologies - Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings / Michael González Harbour, Juan A. de la Puente (eds.). by Ada-Europe International Conference on Reliable Software Technologies (1999 : Santander, Spain) González Harbour, Michael, 1960- De la Puente, Juan A, 1949- Series: Lecture notes in computer science ; 1622. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	584.	Algorithm engineering : 3rd International Workshop, WAE '99 London, UK, July 19-21, 1999 : proceedings / Jeffrey S. Vitter, Christos D. Zaroliagis, eds. by International Workshop on Algorithm Engineering (3rd : 1999 : London, England) Vitter, Jeffrey Scott, 1955- Zaroliagis, Christos D, 1963- LINK (Online service) Series: Lecture notes in computer science ; 1668. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 1999 Other title: WAE '99 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	585.	Models and tools for managing development processes / Bernhard Westfechtel. by Westfechtel, Bernhard Series: Lecture notes in computer science ; 1646. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1999 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	586.	Object-oriented technology : ECOOP'99 workshop reader : ECOOP'99 workshops, panels, and posters, Lisbon, Portugal, June 14-18, 1999 : proceedings / Ana Moreira, Serge Demeyer (eds.). by ECOOP (Conference) (13th : 1999 : Lisbon, Portugal) Moreira, Ana M. D Demeyer, Serge Series: Lecture notes in computer science ; 1743. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	587.	Advanced information systems engineering : 12th international conference, CAiSE 2000, Stockholm, Sweden, June 5-9, 2000 : proceedings / Benkt Wangler, Lars Bergman (eds.). by CAiSE (Conference) (12th : 2000 : Stockholm, Sweden) Wangler, Benkt Bergman, Lars, 1945- Series: Lecture notes in computer science ; 1789. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2000 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	588.	Generative and component-based software engineering : first international symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999 : revised papers / Krzysztof Czarnecki, Ulrich W. Eisenecker [eds.]. by GCSE'99 (1999 : Erfurt, Germany) Czarnecki, Krzysztof Eisenecker, Ulrich LINK (Online service) Series: Lecture notes in computer science ; 1799. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2000 Other title: GCSE'99 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	589.	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) Series: Lecture notes in computer science ; 1963. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2000 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	590.	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 Series: Lecture notes in computer science ; 1931. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 2000 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	591.	Software architectures for product families : International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Sapin, March 15-17, 2000 : proceedings / Frank van der Linden (ed.). by International Workshop IW-SAPF-3 (2000 : Las Palmas de Gran Canaria, Spain) Linden, Frank van der, 1954- Series: Lecture notes in computer science ; 1951. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	592.	Agent-oriented software engineering : first international workshop, AOSE 2000, Limerick, Ireland, June 10, 2000 : revised papers / Paolo Ciancarini, Michael Wooldridge (eds.). by AOSE 2000 (2000 : Limerick, Ireland) Ciancarini, Paolo, 1959- Wooldridge, Michael J, 1966- Series: Lecture notes in computer science ; 1957. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	593.	Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Tiziana Margaria, Wang Yi (eds.). by TACAS (Conference) (7th : 2001 : Genoa, Italy) Margaria-Steffen, Tiziana, 1964- Yi, Wang ETAPS (Conference) (4th : 2001 : Genoa, Italy) Series: Lecture notes in computer science ; 2031. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	594.	Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds.). by CAV (Conference) (13th : 2001 : Paris, France) Comon, Hubert Berry, Gérard, 1948- Finkel, A. (Alain), 1958- LINK (Online service) Series: Lecture notes in computer science ; 2102. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer, 2001 Other title: CAV 2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	595.	Advanced information systems engineering : 13th international conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001 : proceedings / Klaus R. Dittrich, Andreas Geppert, Moira C. Norrie (eds.). by CAiSE (Conference) (13th : 2001 : Interlaken, Switzerland) Dittrich, Klaus R Geppert, Andreas Norrie, Moira C. (Moira Constable), 1953- Series: Lecture notes in computer science ; 2068. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	596.	Generative and component-based software engineering : third international conference, GCSE 2001, Erfurt, Germany, September 10-13, 2001 : proceedings / Jan Bosch (ed.). by GCSE 2001 (2001 : Erfurt, Germany) Bosch, Jan Series: Lecture notes in computer science ; 2186. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	597.	Generative and component-based software engineering : second international symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000 : revised papers / Greg Butler, Stan Jarzabek (eds.). by GCSE 2000 (2000 : Erfurt, Germany) Butler, G. (Gregory), 1953- Jarzabek, Stan Series: Lecture notes in computer science ; 2177. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	598.	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) Series: Lecture notes in computer science ; 2115. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	599.	Active networks : IFIP-TC6 third international working conference, IWAN 2001, Philadelphia, PA, USA, September 30-October 2, 2001 : proceedings / Ian W, Marshall, Scott Nettles, Naoki Wakamiya (eds.). by IWAN 2001 (2001 : Philadelphia, Pa.) Marshall, Ian W Nettles, Scott M Wakamiya, Naoki, 1971- Series: Lecture notes in computer science ; 2207. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2001 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	600.	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) Series: Lecture notes in computer science ; 2303. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search

Availability

Authors

Collections

Home libraries

Item types

Series

Places

Topics

Titles

Your search returned 6106 results.