Refine your search

Your search returned 1433 results.

Not what you expected? Check for suggestions
Sort
Results
121.
122.
Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, the Netherlands, April 2-4, 1997 : proceedings / Ed Brinksma (ed.). by Series: Lecture notes in computer science ; 1217.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • TACAS '97
Online resources:
Availability: Items available for loan: e-Library (1).
123.
124.
Foundations of inductive logic programming / Shan-Hwei Nienhuys-Cheng, Ronald de Wolf. by Series: Lecture notes in computer science ; 1228. | 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).
125.
Computational intelligence : theory and applications : international conference, 5th Fuzzy Days, Dortmund, Germany, April 28-30, 1997 : proceedings / Bernd Reusch (ed.). by Series: Lecture notes in computer science ; 1226.
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).
126.
Machine learning, ECML-97 : 9th European Conference on Machine Learning, Prague, Czech Republic, April 23-25, 1997 : proceedings / Maarten van Someren, Gerhard Widmer, eds. by Series: Lecture notes in computer science ; 1224. | 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:
  • ECML-97
Online resources:
Availability: Items available for loan: e-Library (1).
127.
128.
Input/output intensive massively parallel computing : language support, automatic parallelization, advanced optimization, and runtime systems / Peter Brezany. by Series: Lecture notes in computer science ; 1220.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: New York : Springer, ©1997
Online resources:
Availability: Items available for loan: e-Library (1).
129.
New trends in formal languages : control, cooperation, and combinatorics / Gheorghe Păun, Arto Salomaa, eds. by Series: Lecture notes in computer science ; 1218.
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).
130.
Information security and privacy : Second Australasian Conference, ACISP '97, Sydney, NSW, Australia, July 7-9, 1997 : proceedings / Vijay Varadharajan, Josef Pieprzyk, Yi Mu, eds. by Series: Lecture notes in computer science ; 1270.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • ACISP '97
Online resources:
Availability: Items available for loan: e-Library (1).
131.
Implementation of functional languages : 8th International Workshop, IFL'96, Bad Godesberg, Germany, September 16-18, 1996 : selected papers / Werner Kluge (ed.). by Series: Lecture notes in computer science ; 1268.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • IFL '96
Online resources:
Availability: Items available for loan: e-Library (1).
132.
133.
CONCUR '97 : concurrency theory : 8th International Conference, Warsaw, Poland, July 1-4, 1997 : proceedings / Antoni Mazurkiewicz, Józef Winkowski, eds. by Series: Lecture notes in computer science ; 1243.
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).
134.
Logical foundations of computer science : 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings / Sergei Adian, Anil Nerode (eds.). by Series: Lecture notes in computer science ; 1234.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • LFCS '97
Online resources:
Availability: Items available for loan: e-Library (1).
135.
Mobile object systems : towards the programmable Internet : second international workshop, MOS '96, Linz, Austria, July 8-9, 1996 : selected presentations and invited papers / Jan Vitek, Christian Tschudin, eds. by Series: Lecture notes in computer science ; 1222.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • MOS '96
Online resources:
Availability: Items available for loan: e-Library (1).
136.
137.
Multi-agent rationality : 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97, Ronneby, Sweden, May 13-16, 1997 : proceedings / Magnus Boman, Walter Van de Velde (eds.). by Series: Lecture notes in computer science ; 1237. | 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, ©1997
Other title:
  • MAAMAW '97
Online resources:
Availability: Items available for loan: e-Library (1).
138.
Software configuration management : ICSE '97 SCM-7 Workshop, Boston, MA, USA, May 18-19, 1997 : proceedings / Reidar Conradi, ed. by Series: Lecture notes in computer science ; 1235.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • ICSE '97 SCM-7 workshop
Online resources:
Availability: Items available for loan: e-Library (1).
139.
Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings / Hubert Comon (ed.). by Series: Lecture notes in computer science ; 1232.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • RTA-97
Online resources:
Availability: Items available for loan: e-Library (1).
140.
Information processing in medical imaging : 15th International Conference, IPMI'97, Poultney, Vermont, USA, June 9-13, 1997, proceedings / James Duncan, Gene Gindi, eds. by Series: Lecture notes in computer science ; 1230.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • IPMI '97
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha