Refine your search

Your search returned 609 results.

Not what you expected? Check for suggestions
Sort
Results
Visual information and information systems : third international conference, VISUAL '99, Amsterdam, the Netherlands, June 2-4, 1999 : proceedings / Dionysius P. Huijsmans, Arnold W.M. Smeulders (eds.).

by International Conference on Visual Information Systems (3rd : 1999 : Amsterdam, Netherlands) | Huijsmans, Dionysius P, 1951- | Smeulders, Arnoldus Wilhelmus Maria, 1952-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1614.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).
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings / Niel V. Murray (ed.).

by TABLEAUX '99 (1999 : Saratoga Springs, N.Y.) | Murray, Neil V.

Series: Serienbezeichnung | Lecture notes in computer science ; 1617. | 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).
Algorithm engineering and experimentation : international workshop ALENEX '99, Baltimore, MD, USA, January 15-16, 1999 : selected papers / Michael T. Goodrich, Catherine C. McGeoch (eds.).

by ALENEX '99 (1999 : Baltimore, Md.) | Goodrich, Michael T | McGeoch, Catherine C, 1959-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1619.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).
Automated deduction--CADE 16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings / Harald Ganzinger (ed.).

by International Conference on Automated Deduction (16th : 1999 : Trento, Italy) | Ganzinger, H. (Harald), 1950-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1632. | 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).
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).
Application and Theory of Petri Nets 1999 : 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999 proceedings / Susanna Donatelli, Jetty Kleijn (eds.).

by International Conference on Applications and Theory of Petri Nets (20th : 1999 : Williamsburg, Va.) | Donatelli, Susanna | Kleijn, Jetty.

Series: Serienbezeichnung | Lecture notes in computer science ; 1639.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).
Algorithms - ESA '99 : 7th annual European symposium, Prague, Czech Republic, July 16-18, 1999 : proceedings / Jaroslav Nešetřil (ed.).

by ESA (Symposium) (7th : 1999 : Prague, Czech Republic) | Nešetřil, Jaroslav.

Series: Serienbezeichnung | Lecture notes in computer science ; 1643.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).
Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers / Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.).

by TYPES '98 (1998 : Benediktinerabtei Irsee, Germany) | Altenkirch, Thorsten, 1962- | Naraschewski, Wolfgang, 1970- | Reus, Bernhard, 1965-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1657.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: New York : Springer, 1999Other title: TYPES '98.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings / Jos C.M. Baeten, Sjouke Mauw (eds.).

by International Conference on Concurrency Theory (10th : 1999 : Eindhoven, Netherlands) | Baeten, J. C. M | Mauw, S.

Series: Serienbezeichnung | Lecture notes in computer science ; 1664.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Distributed computing : 13th international symposium, DISC '99, Bratislava, Slovak Republic, September 27-29, 1999 : proceedings / Prasad Jayanti (ed.).

by DISC '99 (1999 : Bratislava, Slovakia) | Jayanti, Prasad, 1962-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1693.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).
KI-99, advances in artificial intelligence : 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999 : proceedings / Wolfram Burgard, Thomas Christaller, Armin B. Cremers (eds.).

by German Conference on Artificial Intelligence (23rd : 1999 : Bonn, Germany) | Burgard, Wolfram | Christaller, Thomas | Cremers, A. B. (Armin B.), 1946-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1701. | 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, ©1999Other title: Advances in artificial intelligence.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings / Laurence Pierre, Thomas Kropf (eds.).

by CHARME'99 (1999 : Bad Herrenalb, Germany) | Pierre, Laurence | Kropf, Thomas, 1961-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1703.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).
Applied algebra, algebraic algorithms, and error-correcting codes : 13th international symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999 : proceedings / Marc Fossorier [and others] (eds.).

by AAECC-13 (1999 : Honolulu, Hawaii) | Fossorier, Marc, 1964-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1719.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).
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).
Advanced information systems engineering : 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002 : proceedings / Anne Banks Pidduck [and others], (eds.).

by CAiSE (Conference) (14th : 2002 : Toronto, Ont.) | Pidduck, Anne Banks, 1949-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2348. | 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).
Principles and practice of constraint programming--CP 2002 : 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002 : proceedings / Pascal Van Hentenryck (ed.).

by CP (Conference) (8th : 2002 : Ithaca, N.Y.) | Van Hentenryck, Pascal.

Series: Serienbezeichnung | Lecture notes in computer science ; 2470.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).
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).
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.).

by Kurt Gödel Colloquium (3rd : 1993 : Brno, Czech Republic) | Gottlob, G. (Georg) | Leitsch, Alexander, 1952- | Mundici, Daniele, 1946- | Kurt Gödel Society.

Series: Serienbezeichnung | Lecture notes in computer science ; 713.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1993Other title: KGC'93.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advanced information systems engineering : 9th international conference, CAiSE '97, Barcelona, Catalonia, Spain, June 16-20, 1997 : proceedings / Antoni Olivé, Joan Antoni Pastor, eds.

by CAiSE '97 (1997 : Barcelona, Spain) | Olivé, A, 1946- | Pastor, Joan Antoni.

Series: Serienbezeichnung | Lecture notes in computer science ; 1250.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1997Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advances in artificial intelligence : 12th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI'98 Vancouver, BC, Canada, June 18-20, 1998 : proceedings / Robert Mercer, Eric Neufeld (eds.).

by Canadian Society for Computational Studies of Intelligence. Conference (12th : 1998 : Vancouver, B.C.) | Mercer, Robert, 1951- | Neufeld, Eric.

Series: Serienbezeichnung | Lecture notes in computer science ; 1418. | 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, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha