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

Results
	261.	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
	262.	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
	263.	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
	264.	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
	265.	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
	266.	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
	267.	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
	268.	Intelligents agents V : agent theories, architectures, and languages : 5th International Workshop, ATAL'98 : Paris, France, July 4-7, 1998 : proceedings / Jörg P. Müller, Munindar P. Singh, Anand S. Rao (eds.). by ATAL'98 (1998 : Paris, France) Müller, Jörg P, 1965- Singh, Munindar P. (Munindar Paul), 1964- Rao, Anand, 1962- Series: Lecture notes in computer science ; 1555. \| Lecture notes in computer science. Lecture notes in artificial intelligence. 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
	269.	Agent-oriented software engineering VIII : 8th international workshop, AOSE 2007, Honolulu, Hi, USA, May 14, 2007 : revised selected papers / Michael Luck, Lin Padgham (eds.). by AOSE 2007 (2007 : Honolulu, Hawaii) Luck, Michael (Michael M.) Padgham, Lin Series: LNCS sublibrary. SL 2, Programming and software engineering. \| Lecture notes in computer science ; 4951. \| Lecture notes in computer science. State-of-the-art survey. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	270.	Service availability : 5th International Service Availability Symposium, ISAS 2008, Tokyo, Japan, May 19-21, 2008 : proceedings / Takashi Nanya [and others] (eds.). by International Service Availability Symposium (5th : 2008 : Tokyo, Japan) Nanya, Takashi, Professor Series: Lecture notes in computer science ; 5017. \| LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2008 Other title: ISAS 2008 5th International Service Availability Symposium Fifth International Service Availability Symposium In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	271.	Early aspects : current challenges and future directions : 10th international workshop, Vancouver, Canada, March 13, 2007 : revised selected papers / Ana Moreira, John Grundy (eds.). by Moreira, Ana M. D Grundy, John, Ph. D Series: Lecture notes in computer science ; 4765. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 12192458 Publication details: Berlin ; New York : Springer, ©2007 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	272.	Datatype-generic programming : international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures / Roland Backhouse [and others] (eds.). by SSDGP 2006 (2006 : Nottingham, England) Backhouse, Roland C, 1948- Series: LNCS sublibrary. SL 1, Theoretical computer science and general issues. \| Lecture notes in computer science ; 4719. \| Lecture notes in computer science. Tutorial. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007 Other title: SSDGP 2006 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	273.	Intelligent data engineering and automated learning--IDEAL 2007 : international conference, Birmingham, UK, December 16-19, 2007 : proceedings / Hujun Yin [and others] (eds.). by IDEAL (Conference) (8th : 2007 : Birmingham, England) Yin, Hujun, 1962- Series: Lecture notes in computer science ; 4881. \| LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007 Other title: IDEAL 2007 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	274.	Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / Oleg Sokolsky, Serdar Taşiran (eds.). by RV (Workshop) (7th : 2007 : Vancouver, B.C.) Sokolsky, Oleg Tasiran, Serdar Series: Lecture notes in computer science ; 4839. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007 Other title: RV 2007 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	275.	Software architectures, components and applications : third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007 : revised selected papers / Sven Overhage [and others] (eds.). by International Conference on the Quality of Software Architectures (3rd : 2007 : Medford, Mass.) Overhage, Sven Series: Lecture notes in computer science ; 4880. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 12213993 Publication details: Berlin ; New York : Springer, 2007 Other title: QoSA 2007 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	276.	SOFSEM 2008 : theory and practice of computer science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 19-25, 2008 : proceedings / Viliam Geffert [and others] (eds.). by SOFSEM (Conference) (34th : 2008 : Novy Smokovec, Slovakia) Geffert, Viliam Series: Lecture notes in computer science ; 4910. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2008 Other title: 34th Conference on Current Trends in Theory and Practice of Computer Science Thirty-fourth Conference on Current Trends in Theory and Practice of Computer Science Conference on Current Trends in Theory and Practice of Computer Science Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	277.	Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers / Matteo Baldoni [and others] (eds.). by International Workshop on Declarative Agent Languages and Technologies (5th : 2007 : Honolulu, Hawaii) Baldoni, Matteo, 1968- Series: Lecture notes in computer science ; 4897. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2008 Other title: DALT 2007 Declarative agent languages and technologies five Declarative agent languages and technologies 5 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	278.	Adaptive agents and multi-agent systems III : adaptation and multi-agent learning ; 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems : revised selected papers / Karl Tuyls [and others] (eds.). by ALAMAS 2005 (2005 : Paris, France) Tuyls, Karl ALAMAS 2006 (2006 : Brussels, Belgium) ALAMAS 2007 (2007 : Maastricht, Netherlands) Series: LNCS sublibrary. SL 7, Artificial intelligence. \| Lecture notes in computer science ; 4865. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2008 Other title: ALAMAS 2005-2007 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	279.	Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / Karen Yorav (ed.). by International Haifa Verification Conference (3rd : 2007 : Haifa, Israel) Yorav, Karen Series: Lecture notes in computer science ; 4899. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 12225194 Publication details: Berlin ; New York : Springer, 2008 Other title: HVC 2007 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	280.	Agent and multi-agent systems : technologies and applications : second KES international symposium, KES-AMSTA 2008 : Inchʻŏn, Korea, March 26-28, 2008 : proceedings / Ngoc Thanh Nguyen [and others], (eds.). by KES-AMSTA 2008 (2008 : Inchʻŏn, Korea) Nguyen, Ngoc Thanh (Computer scientist) Series: LNCS sublibrary. SL 7, Artificial intelligence. \| Lecture notes in computer science ; 4953. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2008 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 2122 results.