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

Results
	101.	Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings / Thomas A. Henzinger, Christoph M. Kirsch (eds.). by EMSOFT (Conference) Henzinger, T. A. (Thomas A.) Kirsch, Christoph M, 1968- Series: Lecture notes in computer science ; 2211. 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
	102.	Engineering societies in the agents world II : Second International Workshop, ESAW 2001, Prague, Czech Republic, July 7, 2001 : revised papers / Andrea Omicini, Paolo Petta, Robert Tolksdorf (eds.). by ESAW 2001 (2001 : Czech Technical University) Omicini, Andrea, 1965- Petta, Paolo, 1963- Tolksdorf, Robert, 1965- Series: Lecture notes in computer science ; 2203. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin ; Heidelberg : Springer, ©2001 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	103.	Agent-oriented software engineering II : second international workshop, AOSE 2001, Montreal, Canada, May 29, 2001 : revised papers and invited contributions / Michael J. Wooldridge, Gerhard Weiss, Paolo Ciancarini (eds.). by AOSE 2001 (2001 : Montréal, Québec) Wooldridge, Michael J, 1966- Weiss, Gerhard, 1962- Ciancarini, Paolo, 1959- Series: Lecture notes in computer science ; 2222. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	104.	Software frameworks and embedded control systems / Alessandro Pasetti. by Pasetti, Alessandro Series: Lecture notes in computer science ; 2231. Material type: Text; Format: available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin ; Heidelberg : Springer, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	105.	Intelligent agents and multi-agent systems : 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002, Tokyo, Japan, August 18-19, 2002 : proceedings / Kazuhiro Kuwabara, Jaeho Lee (eds.). by Pacific Rim International Workshop on Multi-Agents (5th : 2002 : Tokyo, Japan) Kuwabara, Kazuhiro, 1959- Lee, Jaeho, 1959- Series: Lecture notes in computer science ; 2413. \| 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, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	106.	Foundations and applications of multi-agent systems : UKMAS workshops 1996-2000 : selected papers / Mark d'Inverno [and others], (eds.). by UKMAS (Workshops) D'Inverno, Mark Series: Lecture notes in computer science ; 2403. \| 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, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	107.	FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.). by International Symposium of Formal Methods Europe (11th : 2002 : Copenhagen, Denmark) Eriksson, L.-H. (Lars-Henrik), 1960- Lindsay, Peter Alexander, 1957- Series: Lecture notes in computer science ; 2391. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	108.	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- Series: Lecture notes in computer science ; 2311. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	109.	Software reuse : methods, techniques, and tools : 7th international conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings / Cristina Gacek (ed.). by International Conference on Software Reuse (7th : 2002 : Austin, Tex.) Gacek, Cristina, 1964- Series: Lecture notes in computer science ; 2319. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	110.	Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / Dragan Bošnački, Stefan Leue [eds.]. by International SPIN Workshop (9th : 2002 : Grenoble, France) Bošnački, Dragan, 1963- Leue, Stefan Series: Lecture notes in computer science ; 2318. \| 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, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	111.	Groupware: design, implementation, and use : 8th International Workshop, CRIWG 2002, La Serena, Chile, September 1-4, 2002 : proceedings / Jörg M. Haake, José A. Pino (eds.). by CRIWG (Conference) (8th : 2002 : La Serena, Chile) Haake, Jörg M Pino, José A, 1948- Series: Lecture notes in computer science ; 2440. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	112.	Software product lines : second international conference, SPLC2, San Diego, CA, USA, August 19-22, 2002 : proceedings / Gary J. Chastek (ed.). by Software Product Lines Conference (2nd : 2002 : San Diego, Calif.) Chastek, Gary J, 1948- Series: Lecture notes in computer science ; 2379. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	113.	Intelligent agents VIII : agent theories, architectures, and languages : 8th international workshop, ATAL 2001, Seattle, WA, USA, August 1-3, 2001 : revised papers / John-Jules Ch. Meyer, Milind Tambe (eds.). by ATAL 2001 (2001 : Seattle, Wash.) Meyer, John-Jules Ch Tambe, Milind, 1965- Series: Lecture notes in computer science ; 2333. \| Lecture notes in computer science. Lecture notes in artificial intelligence. \| Hot topics (Berlin, Germany) Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	114.	Multi-agent systems and applications II : 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 : selected revised papers / Vladimŕ Mařík [and others], (eds.). by Mařík, V. (Vladimír) European Coordinating Committee for Artificial Intelligence ACAI (9th : 2001 : Prague, Czech Republic) European Agent Systems Summer School (3rd : 2001 : Prague, Czech Republic) AEMAS 2001 (2001 : Prague, Czech Republic) HoloMAS 2001 (2001 : Munich, Germany) Series: Lecture notes in computer science ; 2322. \| 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, ©2002 Other title: Multi-agent systems and applications 2. In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	115.	Software product-family engineering : 4th international workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001 : revised papers / Frank van der Linden (ed.). by PFE 2001 (2001 : Bilbao, Spain) Linden, Frank van der, 1954- Series: Lecture notes in computer science ; 2290. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	116.	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- Series: Lecture notes in computer science ; 2269. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	117.	UML 2002--the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30-October 4,2002 : proceedings / Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook, eds. by UML 2002 (2002 : Dresden, Germany) Jézéquel, Jean-Marc, 1964- Hussmann, Heinrich, 1959- Cook, Stephen, 1948- Series: Lecture notes in computer science ; 2460. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	118.	Cooperative information agents VI : 6th international workshop, CIA 2002, Madrid, Spain, September 18-20, 2002 : proceedings / Matthias Klusch, Sascha Ossowski, Onn Shehory (eds.). by CIA 2002 (2002 : Universidad de Rey Juan Carlos, Spain) Klusch, Matthias, 1965- Ossowski, Sascha, 1968- Shehory, Onn M, 1963- Series: Lecture notes in computer science ; 2446. \| 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, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	119.	Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Joost-Pieter Katoen, Perdita Stevens (eds.). by TACAS (Conference) (8th : 2002 : Grenoble, France) Katoen, Joost-Pieter Stevens, Perdita LINK (Online service) ETAPS (Conference) (2002 : Grenoble, France) Series: Lecture notes in computer science ; 2280. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2002 Other title: TACAS 2002 ETAPS 2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	120.	Mobile agents : 6th international conference, MA 2002, Barcelona, Spain, October 22-25, 2002 : proceedings / Niranjan Suri (ed.). by MA 2002 (2002 : Barcelona, Spain) Suri, Niranjan, 1972- Series: Lecture notes in computer science ; 2535. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2002 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.