Your search returned 5 results.

Not what you expected? Check for suggestions
E-BOOKS
Category Theory [electronic resource] : Applications to Algebra, Logic and Topology Proceedings of the International Conference Held at Gummersbach, July 6–10, 1981 / edited by Klaus Heiner Kamps, Dieter Pumplün, Walter Tholen.

by Kamps, Klaus Heiner [editor.] | Pumplün, Dieter [editor.] | Tholen, Walter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 962Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
From Objects to Diagrams for Ranges of Functors [electronic resource] / by Pierre Gillibert, Friedrich Wehrung.

by Gillibert, Pierre [author.] | Wehrung, Friedrich [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 2029Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Category Theory and Computer Science [electronic resource] : 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings / edited by David Pitt, David E. Rydeheard, Peter Johnstone.

by Pitt, David [editor.] | Rydeheard, David E [editor.] | Johnstone, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 953Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic 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: IMSc Library (1). Location(s): .

E-BOOKS
Categorical Methods in Computer Science With Aspects from Topology [electronic resource] / edited by H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß.

by Ehrig, H [editor.] | Herrlich, H [editor.] | Kreowski, H. -J [editor.] | Preuß, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 393Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic 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: IMSc Library (1). Location(s): .

E-BOOKS
Category Theory and Computer Science [electronic resource] : 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings / edited by Eugenio Moggi, Giuseppe Rosolini.

by Moggi, Eugenio [editor.] | Rosolini, Giuseppe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1290Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha