Your search returned 18 results.

Not what you expected? Check for suggestions
1.
Foundations of Software Technology and Theoretical Computer Science : Eighth Conference, Pune, India, December 21-23, 1988. Proceedings.

by Nori, Kesav V [editor] | Kumar, Sanjeev [editor].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York : Springer, Dec. 1988Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings / edited by Antoni Kreczmar, Grazyna Mirkowska.

by Kreczmar, Antoni | Mirkowska-Salwicka, Grażyna | Symposium on Mathematical Foundations of Computer Science (1972- ) (14th : 1989 : Porąbka, Bielsko, Poland and Kozubnik, Poland).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Fundamentals of Computation Theory : 10th International Conference, FCT '95 Dresden, Germany, August 22-25, 1995 Proceedings / edited by Horst Reichel.

by Reichel, Horst.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Graph-Theoretic Concepts in Computer Science : 18th International Workshop, WG '92 Wiesbaden-Naurod, Germany, June 18-20, 1992 Proceedings / edited by Ernst W. Mayr.

by Mayr, Ernst W.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1993Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17-21, 1995 Proceedings / edited by Bernhard Möller.

by MPC '95 (1995 : Kloster Irsee) | Möller, Bernhard, 1953-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings / edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca.

by Ausiello, G. (Giorgio), 1941- | Dezani-Ciancaglini, M. (Mariangiola) | Rocca, Simonetta Ronchi.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings / edited by Robert Cori, Martin Wirsing.

by Annual Symposium on Theoretical Aspects of Computer Science (5th : 1988 : Bordeaux, France) | Cori, Robert | Wirsing, M. (Martin).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Language: English, French Publisher: Berlin, Heidelberg : Springer-Verlag, 1988Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Graph-Theoretic Concepts in Computer Science : 15th International Workshop WG '89 Castle Rolduc, the Netherlands, June 14-16, 1989 Proceedings / edited by Manfred Nagl.

by Nagl, Manfred.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1990Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Fundamentals of Computation Theory : International Conference FCT '89 Szeged, Hungary, August 21-25, 1989 Proceedings / edited by J. Csirik, J. Demetrovics, F. Gécseg.

by FCT '89 (1989 : Szeged, Hungary) | Csirik, J. (János) | Demetrovics, János | Gécseg, F.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16-18, 1989 Proceedings / edited by B. Monien, R. Cori.

by Annual Symposium on Theoretical Aspects of Computer Science (6th : 1989 : Paderborn, Germany) | Monien, B | Cori, Robert.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14-16, 1991 Proceedings / edited by Christian Choffrut, Matthias Jantzen.

by Annual Symposium on Theoretical Aspects of Computer Science (8th : 1991 : Hamburg, Germany) | Choffrut, Christian | Jantzen, Matthias, 1948-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1991Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Computing and combinatorics : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings / Ding-Zhu Du, Guochuan Zhang (eds.).

by COCOON (Conference) (19th : 2013 : Hangzhou, China) | Du, Dingzhu [editor.] | Zhang, Guochuan [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Other title: COCOON 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Graph-Theoretic Concepts in Computer Science : 20th International Workshop, WG '94 Herrsching, Germany, June 16-18, 1994 Proceedings / edited by Ernst W. Mayr, Gunther Schmidt, Gottfried Tinhofer.

by Mayr, Ernst W | Schmidt, Gunther, 1939- | Tinhofer, Gottfried.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report / edited by Bernhard Möller, Helmut Partsch, Steve Schuman.

by Möller, Bernhard | Partsch, Helmut | Schuman, Steve.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995 Proceedings / edited by Jonathan P. Bowen, Michael G. Hinchey.

by Bowen, J. P. (Jonathan Peter), 1956- | Hinchey, Michael G. (Michael Gerard), 1969-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3-7, 1988 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter.

by Börger, E. (Egon), 1946- | Kleine Büning, H. (Hans) | Richter, Michael M, 1938-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Mathematical Foundations of Computer Science 1993 : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30-September 3, 1993 Proceedings / edited by Andrzej M. Borzyszkowski, Stefan Sokołowski.

by Borzyszkowski, Andrzej M | Sokołowski, Stefan.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
LATIN '95: Theoretical Informatics : Second Latin American Symposium Valparaíso, Chile, April 3-7, 1995 Proceedings / edited by Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete.

by Baeza-Yates, R. (Ricardo) | Golès, E | Poblete, Patricio V.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha