Results
|
|
141.
|
Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Database, (DYNAMICS '97), Port Jefferson, New York, USA, October 17, 1997 : invited surveys and selected papers / Burkhard Freitag...[et al.]. by Series: Lecture notes in computer science ; 1472
Material type:  Text; Format:
print
Publication details: Germany : Springer, 1998
Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library QA76.9 . D3I67 1996.
|
|
|
142.
|
|
|
|
143.
|
|
|
|
144.
|
|
|
|
145.
|
|
|
|
146.
|
Logic programming and knowledge representation : Third International Workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papers / Jurgen Dix, Luis Moniz Pereira, Teodor C. Przymusinski, editors. by Series: Lecture notes in computer science ; 1471
Material type: Text; Format:
print
Publication details: Germany : Springer, 1998
Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Material Disposal Room QA76.63 . L645 1997, ...
|
|
|
147.
|
|
|
|
148.
|
|
|
|
149.
|
|
|
|
150.
|
|
|
|
151.
|
Electronic publishing, artistic imaging, and digital typography : 7th International Conference on Electronic Publishing, EP '98 held jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT '98, St. Malo, France, March/April 1998 : proceedings / Roger D. Hersch, Jacques Andr~O, and Heather Brown (eds.) by Series: Lecture notes in computer science,|x0302-4743 ;|v1375
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin, NE : Springer, 1998
Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Main Library General Collection Z250.7 . I67 1998, ...
|
|
|
152.
|
|
|
|
153.
|
|
|
|
154.
|
|
|
|
155.
|
Information security : first international workshop, ISW '97, Tatsunokuchi, Ishikawa, Japan, September 17-19, 1997 : proceedings / George Davida, Masahiro Mambo, Eiji Okamoto, eds. by Series: Lecture notes in computer science, 0302-9743 ; 1396
Material type: Text; Format:
print
Publication details: Berlin : Springer, 1998
Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Main Library QA76.9 . A25I78 1997, ...
|
|
|
156.
|
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX' 98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings / Harrie de Swart, ed. by Series: Lecture notes in computer science, 0302-9743 ; 1397. Lecture notes in artificial intelligence | Lecture notes in computer science ; 1397 | Lecture notes in computer science. Lecture notes in artificial intelligence
Material type: Text; Format:
print
Publication details: Berlin, Germany : Springer, 1998
Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Main Library General Collection QA76.9 . A96T33 1998, ...
|
|
|
157.
|
Hybrid systems : computation and control : first international workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998 : proceedings / Thomas A. Henzinger, Shankar Sastry (eds) by Series: Lecture notes in computer science ; 1386
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, c1998
Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Material Disposal Room QA76.38 . H73 1998, ...
|
|
|
158.
|
|
|
|
159.
|
Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Bernhard Steffen, (ed.) by Series: Lecture notes in computer science ; 1384.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Springer,|cc1998
Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library QA76.9 . S88T33 1998.
|
|
|
160.
|
|