Refine your search

Your search returned 1433 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
161.
162.
Conceptual structures : fulfilling Peirce's dream : Fifth International Conference on Conceptual Structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997 : proceedings / Dickson Lukose [and others], (eds.). by Series: Lecture notes in computer science ; 1257. | 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, ©1997
Other title:
  • ICCS '97
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
163.
164.
Case-based reasoning : research and development : Second International Conference on Case-Based Reasoning, ICCBR-97, Providence, RI, USA, July 25-27, 1997 : proceedings / David Leake, Enric Plaza, (eds.). by Series: Lecture notes in computer science ; 1266. | 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, ©1997
Other title:
  • ICCBR-97
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
165.
Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings / Jürgen Dix, Ulrich Fuhrbach, Anil Nerode, (eds.). by Series: Lecture notes in computer science ; 1265. | 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, ©1997
Other title:
  • LPNMR '97
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
166.
SOFSEM'97 : theory and practice of informatics : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997 : proceedings / František Plášil, Keith G. Jeffery, eds. by Series: Lecture notes in computer science ; 1338.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer Verlag, ©1997
Other title:
  • Theory and practice of informatics
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
167.
Theorem proving in higher order logics : 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings / Elsa L. Gunter, Amy Felty, eds. by Series: Lecture notes in computer science ; 1275.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • TPHOLs '97
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
168.
Hybrid systems IV / Panos Antsaklis [and others], eds. by Series: Lecture notes in computer science ; 1273.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • Hybrid systems 4
  • Hybrid systems four
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
169.
Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings / Nada Lavrač, Sašo Džeroski (eds.). by Series: Lecture notes in computer science ; 1297. | 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, ©1997
Other title:
  • ILP-97
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
170.
171.
Computing and combinatorics : third annual international conference, COCOON '97, Shanghai, China, August 20-22, 1997 : proceedings / Tao Jiang, D.T. Lee (eds.). by Series: Lecture notes in computer science ; 1276.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • COCOON '97, computing and combinatorics
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
172.
Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers / Stephen Muggleton, (ed.). by Series: Lecture notes in computer science ; 1314. | 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, ©1997
Other title:
  • ILP-96
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
173.
174.
Music, gestalt, and computing : studies in cognitive and systematic musicology / Marc Leman, ed. by Series: Lecture notes in computer science ; 1317. | 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, 1997
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
175.
Evolution of parallel cellular machines : the cellular programming approach / Moshe Sipper. by Series: Lecture notes in computer science ; 1194.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
176.
Automatic verification of sequential infinite-state processes / Olaf Burkart. by Series: Lecture notes in computer science ; 1354.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; London : Springer, ©1997
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
177.
178.
Advances in cryptology--EUROCRYPT '97 : International Conference on the Theory and Application of Cryptographic Techniques, Konstanz, Germany, May 11-15, 1997 : proceedings / Walter Fumy (ed.). by Series: Lecture notes in computer science ; 1233.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • Advances in cryptology
  • EUROCRYPT '97
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
179.
180.
FME '97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings / John Fitzgerald, Cliff B. Jones, Peter Lucas (eds.). by Series: Lecture notes in computer science ; 1313.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • Industrial applications and strengthened foundations of formal methods
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha