Your search returned 36 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 1599. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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).

Series: Serienbezeichnung | Lecture notes in computer science ; 1579.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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: Serienbezeichnung | Lecture notes in computer science ; 2280.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: TACAS 2002 | ETAPS 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Product focused software process improvement : 4th international conference, PROFES 2002, Rovaniemi, Finland, December 9-11, 2002 : proceedings / Markku Oivo, Seija Komi-Sirviö (eds.).

by PROFES 2002 (2002 : Rovaniemi, Finland) | Oivo, Markku | Komi-Sirviö, Seija, 1966- | LINK (Online service).

Series: Serienbezeichnung | Lecture notes in computer science ; 2559.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: PROFES 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.).

by TACAS (Conference) (9th : 2003 : Warsaw, Poland) | Garavel, Hubert, 1963- | Hatcliff, John, 1966- | ETAPS (Conference) (6th : 2003 : Warsaw, Poland).

Series: Serienbezeichnung | Lecture notes in computer science ; 2619.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Cooperative information agents III : Third International Workshop, CIA'99, Uppsala, Sweden, July 31-August 2, 1999 : proceedings / Matthias Klusch, Onn M. Shehory, Gerhard Weiss (eds.).

by CIA'99 (1999 : Uppsala, Sweden) | Klusch, Matthias, 1965- | Shehory, Onn M, 1963- | Weiss, Gerhard, 1962-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1652. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Public key cryptography : 5th International workshop on practice and theory in public key cryptosystems, PKC 2002, Paris, France, February 12-14, 2002 : proceedings / David Naccache, Pascal Paillier (eds.).

by Naccache, David, 1967- | Paillier, Pascal | International Workshop on Practice and Theory in Public Key Cryptosystems, PKC (5 : 12-02-2002 - 14-02-2002 : Paris, France).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2002Other title: PKC 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Algorithms--ESA '93 : first annual European symposium, Bad Honnef, Germany, September 30-October 2, 1993 : proceedings / Thomas Lengauer (ed.).

by ESA (Symposium) (1st : 1993 : Bad Honnef, Germany) | Lengauer, T. (Thomas) | Gesellschaft für Informatik | Annual European Symposium on Algorithms, ESA (1 : 30-09-1993 - 02-10-1993 : Bad Honnef, Germany).

Series: Serienbezeichnung | Lecture notes in computer science ; 726. | Lecture notes in computer science ; 726.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1993Other title: ESA '93 | Algorithms.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Agent mediated electronic commerce : the European agentlink perspective / Frank Dignum, Carles Sierra (eds.).

by Dignum, Frank, 1961- | Sierra, Carles, 1963-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1991. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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: Serienbezeichnung | Lecture notes in computer science ; 1622.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 ; proceedings / Nicolas Halbwachs, Doron Peled (Eds.).

by CAV (Conference) (11th : 1999 : Trento, Italy) | Halbwachs, Nicolas | Peled, Doron A, 1962-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1633.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; London : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Susanne Graf, Michael Schwartzbach (eds.).

by TACAS (Conference) (6th : 2000 : Berlin, Germany) | Graf, Susanne | Schwartzbach, Michael I | ETAPS (Conference) (3rd : 2000 : Berlin, Germany).

Series: Serienbezeichnung | Lecture notes in computer science ; 1785.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Reliable software technologies-Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings / Johann Blieberger, Alfred Streohmeier (eds.).

by Ada-Europe International Conference on Reliable Software Technologies (7th : 2002 : Vienna, Austria) | Blieberger, Johann | Strohmeier, Alfred, 1946-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2361. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings / Alan J. Hu, Moshe Y. Vardi (eds.).

by CAV (Conference) (1998 : Vancouver, B.C.) | Hu, Alan J. (Alan John) | Vardi, Moshe Y.

Series: Serienbezeichnung | Lecture notes in computer science ; 1427.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; London : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings / Martín Abadi, Takayasu Ito (eds.).

by TACS'97 (1997 : Sendai-shi, Miyagi-ken, Japan) | Abadi, Martín | Itō, T. (Takayasu), 1940-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1281.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1997Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
SOFSEM'99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings / Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.).

by SOFSEM (1999 : Milovy, Czech Republic) | Pavelka, Jan, 1948- | Tel, Gerard | Bartošek, Miroslav.

Series: Serienbezeichnung | Lecture notes in computer science ; 1725.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
SOFSEM '95 : theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995 : proceedings / Miroslav Bartošek, Jan Staudek, Jiří Wiedermann, eds.

by SOFSEM (Conference) (22nd : 1995 : Milovy, Czech Republic) | Bartošek, Miroslav | Staudek, Jan | Wiedermann, J. (Juraj).

Series: Serienbezeichnung | Lecture notes in computer science ; 1012.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1995Other title: Theory and practice of informatics.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Foundations of software technology and theoretical computer science : 15th conference, Bangalore, India, December 18-20, 1995 : proceedings / P.S. Thiagarajan (ed.).

by Thiagarajan, P. S.

Series: Serienbezeichnung | Lecture notes in computer science ; 1026.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1995Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings / Alfred Strohmeier, ed.

by Ada-Europe International Conference on Reliable Software Technologies (1996 : Montreux, Switzerland) | Strohmeier, Alfred, 1946-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1088.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1996Other title: Ada-Europe '96.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
SOFSEM'96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996 : proceedings / Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek (eds.).

by SOFSEM (Conference) (23rd : 1996 : Milovy, Czech Republic) | Jeffery, Keith (Keith G.) | Král, Jaroslav | Bartošek, Miroslav.

Series: Serienbezeichnung | Lecture notes in computer science ; 1175.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1996Other title: SOFSEM '96 | Theory and practice of informatics.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Pages

Powered by Koha