Refine your search

Your search returned 1270 results.

Not what you expected? Check for suggestions
1.
Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings / edited by E. Knuth and E.J. Neuhold.

by Conference on Operating Systems (1982 : Visegrád, Hungary) | Knuth, E. (Előd), 1943- | Neuhold, Erich J.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma [and others], (eds.).

by TACAS (Conference) (1st : 1995 : Århus, Denmark) | Brinksma, Ed.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams [and others] (eds.).

by SPIN'99 (1999 : Toulouse, France) | Dams, Dennis | World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Other title: SPIN'99, theoretical and practical aspects of SPIN model checking.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Multiagent platforms : First Pacific Rim International Workshop on Multi-Agents, PRIMA '98, Singapore, November 23, 1998 : selected papers / Toru Ishida (ed.).

by Pacific Rim International Workshop on Multi-agents (1st : 1998 : Singapore) | Ishida, Toru.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings / W. Rance Cleaveland, ed.

by TACAS '99 (1999 : Amsterdam, Netherlands) | Cleaveland, W. R. (Walter Rance), 1961- | ETAPS (Conference) (2nd : 1999 : Amsterdam, Netherlands).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
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 Text; Format: available online remote; 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 .
7.
Agents and multi-agent systems : formalisms, methodologies, and applications : based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997 / Wayne Wobcke, Maurice Pagnucco, Chengqi Zhang (eds.).

by Wobcke, Wayne, 1963- | Pagnucco, Maurice | Zhang, Chengqi | Australian Joint Artificial Intelligence Conference (10th : 1997 : Perth, W.A.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Other title: Agents and multi-agent systems (Online).Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Cooperative information agents II : learning, mobility, and electronic commerce for information discovery on the Internet : Second International Workshop, CIA'98, Paris, France, July 4-7, 1998 : proceedings / Matthias Klusch, Gerhard Weiss (eds.).

by CIA '98 (1998 : Paris, France) | Klusch, Matthias, 1965- | Weiss, Gerhard, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Other title: Cooperative information agents 2 (Online) | Cooperative information agents two (Online).Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
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-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
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).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Other title: Agent-mediated electronic commerce three.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
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-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
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-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; New York : Springer, ©1998Other title: IFIP/GI working conference | TREC '98.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
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).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
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).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
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-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; Heidelberg : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
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-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
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-.

Material type: Text Text; Format: available online remote; 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 .

Powered by Koha