IST Austria Library

Your search returned 18 results.

Not what you expected? Check for suggestions
1.
Category theory and computer science : 7th international conference, CTCS 97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings / Eugenio Moggi, Giuseppe Rosolini (eds.).

by Moggi, Eugenio | Rosolini, G. (Giuseppe), 1954- | Biennial Conference on Category Theory in Computer Science (7th : 1997 : Santa Margherita Ligure, Italy).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1997Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
2.
Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings / D.H. Pitt [and others] (eds.).

by Summer Conference on Category Theory and Computer Science (4th : 1991 : Paris, France) | Pitt, David (David H.) | Summer Conference on Category Theory and Computer Science (4th : 1991 : Paris, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
3.
Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings / David Pitt, David E. Rydeheard, Peter Johnstone, eds.

by Pitt, David (David H.) | Rydeheard, D. E. (David E.) | Johnstone, P. T | Biennial Conference on Category Theory and Computer Science (6th : 1995 : Cambridge, England).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1995Other title: CTCS '95.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
4.
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński.

by International FCT-Conference (1st : 1977 : Poznán, Poland and Kórnik, Poland) | Karpiński, Marek, 1948-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1977Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
5.
Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 / edited by E.G. Manes.

by International Symposium on Category Theory Applied to Computation and Control (1st : 1974 : San Francisco, Calif.) | Manes, Ernest G, 1943- [editor.] | American Mathematical Society | American Association for the Advancement of Science.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1975Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
6.
Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings / D.H. Pitt [and others] (ed.).

by Pitt, David (David H.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1989Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
7.
No cover image available
Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings / D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.).

by Pitt, David (David H.) | Poigné, A | Rydeheard, D. E. (David E.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1987Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
8.
Categorical algebra and its applications : proceedings of a conference, held in Louvain-La-Neuve, Belgium, July 26-August 1, 1987 / F. Borceux, ed.

by Borceux, Francis, 1948-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1988Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
9.
Categorical aspects of topology and analysis : proceedings of an international conference held at Carleton University, Ottawa, August 11-15, 1981 / edited by B. Banaschewski.

by Banaschewski, Bernhard | Carleton Conference on Categorical Aspects of Topology and Analysis (1981).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1982Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
10.
Categorical topology : proceedings of the international conference, Berlin, August 27th to September 2nd, 1978 / edited by H. Herrlich and G. Preuss.

by International Conference on Categorical Topology (1978 : Freie Universität Berlin) | Herrlich, Horst | Preuss, Gerhard, 1940-.

Material type: Text Text; Format: available online remote; 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 .
Place hold Log in to add tags
11.
Categorical topology : proceedings of the conference held at Mannheim, 21-25 July, 1975 / edited by E. Binz and H. Herrlich.

by Conference on Categorical Topology (1975 : Mannheim, Germany) | Binz, Ernst, 1939- | Herrlich, Horst.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 1976Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
12.
Category Seminar : proceedings, Sydney Category Theory Seminar, 1972/1973 / edited by Gregory M. Kelly.

by Sydney Category Theory Seminar (1972-1973 : Sydney, N.S.W.) | Kelly, G. M. (Gregory Maxwell), 1930-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1974Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
13.
Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981 / edited by K.H. Kamps, D. Pumplün, and W. Tholen.

by Kamps, Klaus Heiner | Pumplün, D. (Dieter), 1932- | Tholen, W. (Walter), 1947- | International Conference on Category Theory: Applications to Algebra, Logic, and Topology (1981 : Gummersbach, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Language: English, French Publisher: Berlin ; New York : Springer-Verlag, 1982Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
14.
Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990 / A. Carboni, M.C. Pedicchio, G. Rosolini, eds.

by Carboni, A. (Aurelio), 1942- | Pedicchio, M. C. (Maria Cristina), 1953- | Rosolini, G. (Giuseppe), 1954- | Conference "Category Theory '90" (1990 : Como, Italy).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
15.
Reports of the Midwest category seminar IV / H. Applegate [and others] ; edited by S. MacLane.

by Applegate, H | Mac Lane, Saunders, 1909-2005.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1970Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
16.
Reports of the Midwest Category Seminar V / M. André [and others] ; edited by J.W. Gray and S. Mac Lane.

by André, M. (Michel) | Gray, John W. (John Walker), 1931- | Mac Lane, Saunders, 1909-2005 | Midwest Category Seminar.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1971Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
17.
Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971 / I Bucur [and others] ; edited by F.W. Lawvere.

by Bucur, Ionel, 1930-1976 | Lawvere, F. W | Dalhousie University.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1972Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
18.
Categorical structures and their applications : proceedings of the North-West European Category Seminar, Berlin, Germany, 28-29 March 2003 / edited by W. Gähler and G. Preuss.

by North-West European Category Seminar (2003 : Berlin, Germany) | Gähler, Werner | Preuss, Gerhard, 1940- | Herrlich, Horst.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Singapore ; Hackensack, NJ : World Scientific, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags

Powered by Koha