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
161.
B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings / Didier Bert (ed.). by Series: Lecture notes in computer science ; 1393.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Other title:
  • Recent advances in the development and use of the B method
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
162.
163.
164.
165.
Requirements targeting software and systems engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings / Manfred Broy, Bernhard Rumpe (eds.). by Series: Lecture notes in computer science ; 1526.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Other title:
  • International Workshop RTSE'97
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
166.
Financial cryptography : second International Conference, FC '98, Anguilla, British West Indies, February 23-25, 1998 : proceedings / Rafael Hirschfeld (ed.). by Series: Lecture notes in computer science ; 1465.
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
167.
Evolutionary robotics : First European Workshop, EvoRobot'98 : Paris, France, April 16-17, 1998 : proceedings / Philip Husbands, Jean-Arcady Meyer (eds.). by Series: Lecture notes in computer science ; 1468.
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
168.
169.
170.
Case-based reasoning technology : from foundations to applications / Mario Lenz [and others] (eds.). by Series: Lecture notes in computer science ; 1400. | 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
171.
172.
173.
Mobile agents and security / Giovanni Vigna, ed. by Series: Lecture notes in computer science ; 1419.
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
174.
Modelling and motion capture techniques for virtual environments : International Workshop, CAPTECH'98, Geneva, Switzerland, November 26-27, 1998 : proceedings / Nadia Magnenat-Thalmann, Daniel Thalmann (eds). by Series: Lecture notes in computer science ; 1537. | 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-Verlag, 1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
175.
176.
Fast software encryption : 5th international workshop, FSE '98, Paris, France, March 23-25, 1998 : proceedings / Serge Vaudenay, (ed.). by Series: Lecture notes in computer science ; 1372.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Other title:
  • FSE '98
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
177.
Intelligent tutoring systems : 4th International Conference, ITS '98, San Antonio, Texas, USA, August 16-19, 1998 : proceedings / Barry P. Goettl [and others], (eds.). by Series: Lecture notes in computer science ; 1452.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Other title:
  • ITS '98
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
178.
Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings / Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach (eds.). by Series: Lecture notes in computer science ; 1489. | 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
Other title:
  • JELIA '98
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
179.
180.
Algorithms--ESA '98 : 6th annual European symposium, Venice, Italy, August 24-26, 1998 : proceedings / Gianfranco Bilardi [and others], (eds.). by Series: Lecture notes in computer science ; 1461.
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
Pages

Powered by Koha