Refine your search

Your search returned 1666 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
101.
Formal Techniques in Real-Time and Fault-Tolerant Systems. by Series: Lecture notes in computer science ; 1486.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; London : Springer, 1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
102.
Artificial Intelligence: Methodology, Systems, and Applications. by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 1480.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; London : Springer, 1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
103.
Graph Drawing. by Series: Lecture notes in computer science ; 1547.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; London : Springer, 1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
104.
Universal routing strategies for interconnection networks / Christian Scheideler. by Series: Lecture notes in computer science ; 1390.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
105.
Applications of uncertainty formalisms / Anthony Hunter, Simon Parsons (eds.). by Series: Lecture notes in computer science ; 1455. | 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, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
106.
107.
108.
109.
Coordination technology for collaborative applications : organizations, processes, and agents / Wolfram Conen, Gustaf Neumann (eds.). by Series: Lecture notes in computer science ; 1364.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
110.
Artificial intelligence in structural engineering : information technology for design, collaboration, maintenance, and monitoring / Ian Smith (ed.). by Series: Lecture notes in computer science ; 1454. | 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, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
111.
112.
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 Series: Lecture notes in computer science ; 1427.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; London : Springer, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
113.
Evolutionary programming VII : 7th international conference, EP98, San Diego, California, USA, March 25-27, 1998 : proceedings / V.W. Porto [and others], eds. by Series: Lecture notes in computer science ; 1447.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Other title:
  • Evolutionary programming seven
  • Evolutionary programming 7
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
114.
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / Dongming Wang (ed.). by Series: Lecture notes in computer science ; 1360. | 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, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
115.
Applied parallel computing : large scale scientific and industrial problems ; 4th International Workshop, PARA'98, Umeå, Sweden, June 14-17, 1998 ; proceedings / Bo Kågström [and others], (eds.). by Series: Lecture notes in computer science ; 1541.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; London : Springer, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
116.
Combinatorial pattern matching : 9th annual symposium, CPM 98, Piscataway, New Jersey, USA, July 20-22, 1998 : proceedings / Martin Farach-Colton (ed.). by Series: Lecture notes in computer science ; 1448.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; London : Springer, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
117.
Database programming languages : 6th international workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 : proceedings / Sophie Cluet, Rick Hull, eds. by Series: Lecture notes in computer science ; 1369.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
118.
119.
120.
Pages

Powered by Koha