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

Results
	201.	UML 2001 : the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings / Martin Gogolla, Cris Kobryn (ed.). by UML 2001 (2001 : Toronto, Ont.) Gogolla, Martin, 1954- Kobryn, Cris, 1952- Series: Lecture notes in computer science ; 2185. 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
	202.	Transactional agents : towards a robust multi-agent system / K. Nagi. by Nagi, Khaled Series: Lecture notes in computer science ; 2249. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer, 2001 Other title: Towards a robust multi-agent system Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	203.	Intelligent agents : specification, modeling, and applications : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001 : proceedings / Soe-Tsyr Yuan, Makoto Yokoo. by Pacific Rim International Workshop on Multi-Agents (4th : 2001 : Taipei, Taiwan) Yuan, Soe-Tsyr Yokoo, Makoto Series: Lecture notes in computer science ; 2132. \| 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, 2001 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	204.	Agent-mediated electronic commerce III : current issues in agent-based electronic commerce systems / Frank Dignum, Ulises Cortés, eds. by Dignum, Frank, 1961- Cortés, U. (Ulises) Series: Lecture notes in computer science ; 2003. \| 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, ©2001 Other title: Agent-mediated electronic commerce three Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	205.	Infrastructure for agents, multi-agent systems, and scalable multi-agent systems : International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 : revised papers / Tom Wagner, Omer Rana (eds.). by International Workshop on Infrastructure for Scalable Multi-Agent Systems (2000 : Barcelona, Spain) Wagner, Tom, 1966- Rana, Omer Series: Lecture notes in computer science ; 1887. \| 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, ©2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	206.	Reflection and software engineering / Walter Cazzola, Robert J. Stroud, Francesco Tisato (eds.). by Cazzola, Walter, 1969- Stroud, Robert J, 1959- Tisato, Francesco, 1946- Series: Lecture notes in computer science ; 1826. 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
	207.	PREMO : a framework for multimedia middleware : specification, rationale, and Java binding / David J. Duke, Ivan Herman M., Scott Marshall [(eds.)]. by Duke, D. J. (David J.) Herman, I. (Ivan) Marshall, Scott, 1964- Series: Lecture notes in computer science ; 1591. 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
	208.	Web engineering : managing diversity and complexity of Web application development / San Murugesan, Yogesh Deshpande, eds. by Murugesan, San Deshpande, Yogesh Series: Lecture notes in computer science ; 2016. 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
	209.	Advances in exception handling techniques / Aklexander Romanovsky [and others], (eds.). by Romanovsky, Alexander, 1954- Series: Lecture notes in computer science ; 2022. 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
	210.	FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / José Nuno Oliveira, Pamela Zave (eds.). by International Symposium of Formal Methods Europe (10th : 2001 : Berlin, Germany) Oliveira, José N Zave, Pamela, 1948- Series: Lecture notes in computer science ; 2021. 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
	211.	Objective coordination in multi-agent system engineering : design and implementation / Michael Schumacher. by Schumacher, Michael, 1971- Series: Lecture notes in computer science ; 2039. \| 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 ; New York : Springer, ©2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	212.	Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.). by International SPIN Workshop (8th : 2001 Toronto, Ont.) Dwyer, Matthew, 1963- ACM Sigsoft Series: Lecture notes in computer science ; 2057. 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
	213.	Trends in distributed systems for electronic commerce : international IFIP/GI working conference, TREC'98, Hamburg, Germany, June 3-5, 1998 proceedings / Winfried Lamersdorf, Michael Merz, (eds.). by TREC'98 (1998 : Hamburg, Germany) Lamersdorf, Winfried Merz, Michael, 1964- Series: Lecture notes in computer science ; 1402. Material type: Text; Format: available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin ; New York : Springer, ©1998 Other title: IFIP/GI working conference TREC '98 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	214.	Constraint-based agents : an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds / Alexander Nareyek. by Nareyek, Alexander Series: Lecture notes in computer science ; 2062. \| 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, ©2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	215.	Multi-agent systems and applications : 9th ECCAI advanced course, ACAI 2001 and agent link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001 : selected tutorial papers / Michael Luck [and others], (eds.). by European Agent Systems Summer School (3rd : 2001 : Prague, Czech Republic) Luck, Michael (Michael M.) European Coordinating Committee for Artificial Intelligence Series: Lecture notes in computer science ; 2086. \| 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, ©2001 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	216.	Balancing reactivity and social deliberation in multi-agent systems : from RoboCup to real-world applications / Markus Hannebauer, Jan Wendler, Enrico Pagello (eds.). by Workshop on Balancing Reactivity and Social Deliberation in Multi-Agent Systems (2000 : Berlin, Germany) Hannebauer, Markus, 1976- Wendler, Jan, 1973- Pagello, Enrico, 1946- European Conference on Artificial Intelligence (14th : 2000 : Berlin, Germany) Series: Lecture notes in computer science ; 2103. \| 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, 2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	217.	Intelligent memory systems : Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers / Frederic T. Chong, Christoforos Kozyrakis, Mark Oskin (eds.). by IMS 2000 (2000 : Cambridge, Mass.) Chong, Frederic T, 1968- Kozyrakis, Christoforos, 1974- Oskin, Mark, 1974- Series: Lecture notes in computer science ; 2107. 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
	218.	Local search for planning and scheduling : ECAI 2000 Workshop, Berlin, Germany, August 21, 2000 : revised papers / Alexander Nareyek (ed.). by Workshop on Local Search for Planning & Scheduling (2000 : Berlin, Germany) Nareyek, Alexander European Conference on Artificial Intelligence (14th : 2000 : Berlin, Germany) Series: Lecture notes in computer science ; 2148. \| 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, ©2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	219.	Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings / Klaus-Dieter Althoff, Raimund L. Feldmann, Wolfgang Müller (eds.). by LSO 2001 (2001 : Kaiserslautern, Germany) Althoff, Klaus-Dieter Feldmann, Raimund L, 1961- Müller, Wolfgang, 1961- Series: Lecture notes in computer science ; 2176. 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
	220.	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

Refine your search

Availability

Authors

Collections

Home libraries

Item types

Series

Places

Topics

Titles

Your search returned 6106 results.