|
1.
|
|
|
2.
|
Perspectives of system informatics : third International Andrei Ershov memorial conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.). by Bjørner, D. (Dines), 1937- [edt] | Broy, M, 1949- [edt] | Zamulin, Alexandre V [edt] | International Andrei Ershov Memorial Conference on Persepctives of System Informatics, PSI (3 : 06-07-1999 - 09-07-1999 : Novosibirsk, Russia). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
3.
|
Algorithm theory, SWAT '92 : third Scandinavian workshop on algorithm theory, Helsinki, Finland, July 8-10, 1992 : proceedings / O. Nurmi, E. Ukkonen (eds.). by Nurmi, O. (Otto), 1953- [edt] | Ukkonen, E. (Esko), 1950- [edt] | Scandinavian Workshop on Algorithm Theory, SWAT (3 : 1992 : Helsinki, Finland). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer-Verlag, ©1992Other title: Algorithm theory | SWAT '92.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
4.
|
Mathematical foundations of computer science 1999 : 24th international symposium, MFCS'99, Szklarska Poręba, Poland, September 6-10, 1999 : proceedings / Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (eds.). by Symposium on Mathematical Foundations of Computer Science (1972- ) (24th : 1999 : Szklarska Poręba, Poland) | Kutyłowski, Mirosław | Pacholski, Leszek | Wierzbicki, Tomasz. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
5.
|
|
|
6.
|
Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen, Wolfgang Thomas (eds.). by CSL '97 (1997 : Århus, Denmark) | Thomas, Wolfgang, 1947- | Nielsen, M. (Mogens), 1949- | European Association for Computer Science Logic. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; Hong Kong : Springer-Verlag, ©1998Other title: CSL '97 | EACSL.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
7.
|
Computer science logic : 10th international workshop, CSL' 96, Annual Conference of the EACSL, Utrecht, the Netherlands, September 21-27, 1996 : selected papers / Dirk van Dalen, Marc Bezem (eds.). by CSL '96 (1996 : Utrecht, Netherlands) | Dalen, D. van (Dirk), 1932- | Bezem, M. (Marc), 1956- | European Association for Computer Science Logic. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; Hng Kong : Springer-Verlag, ©1997Other title: CSL' 96 | EACSL.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
8.
|
Applied algebra, algebraic algorithms, and error-correcting codes : 13th international symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999 : proceedings / Marc Fossorier [and others] (eds.). by AAECC-13 (1999 : Honolulu, Hawaii) | Fossorier, Marc, 1964-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
9.
|
Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada (eds.). by International CTRS Workshop (2nd : 1990 : Montréal, Québec) | Kaplan, S. (Stéphane), 1961- | Okada, M. (Mitsuhiro), 1954-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1991Other title: CTRS.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
10.
|
STACS 98 : 15th annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998 : proceedings / Michel Morvan, Christoph Meinel, Daniel Krob (eds). by Annual Symposium on Theoretical Aspects of Computer Science (15th : 1998 : Paris, France) | Morvan, Michel | Meinel, Christoph | Krob, Daniel. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
11.
|
Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings / Martín Abadi, Takayasu Ito (eds.). by TACS'97 (1997 : Sendai-shi, Miyagi-ken, Japan) | Abadi, Martín | Itō, T. (Takayasu), 1940-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©1997Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
12.
|
SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory, Berger, Sweden [i.e. Norway], July 11-14, 1990 : proceedings / J.R. Gilbert, R. Karlsson (eds.). by Scandinavian Workshop on Algorithm Theory (2nd : 1990 : Bergen, Norway) | Gilbert, J. R. (John R.), 1953- | Karlsson, R. (Rolf), 1950-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1990Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
13.
|
Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / Jörg Flum, Mario Rodrʹiguez-Artalejo (eds.). by Workshop on Computer Science Logic (13th : 1999 : Madrid, Spain) | Flum, Jörg | Rodríguez Artalejo, M. (Mario). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 1999Other title: CSL'99.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
14.
|
|
|
15.
|
Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craców, Poland, September 2-6, 1996 : proceedings / Wojciech Penczek, Andrzej Szałas, eds. by Penczek, Wojciech | Szałas, Andrzej, 1958- | Symposium on Mathematical Foundations of Computer Science (1972- ) (21st : 1996 : Kraków, Poland). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©1996Other title: MFCS '96.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
16.
|
STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings / Ernst W. Mayr, Claude Puech, eds. by Annual Symposium on Theoretical Aspects of Computer Science (12th : 1995 : Munich, Germany) | Mayr, Ernst | Puech, Claude. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
17.
|
|
|
18.
|
Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 / edited by J. Bečvář. by Symposium on Mathematical Foundations of Computer Science (1972- ) (8th : 1979 : Olomouc, Czech Republic) | Bečvář, J, 1926-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer-Verlag, 1979Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
19.
|
|
|
20.
|
|