>> Google Books
所蔵情報QRコード

Category theory and computer science : 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings / Eugenio Moggi, Giuseppe Rosolini (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1997
形態:
313 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1290 <BA00009279>
著者名:
ISBN:
9783540634553 [354063455X]
書誌ID:
BA32290640
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Category Theory and Computer Science

Eugenio Moggi, Moggi, Eugenio, Rosolini, Giuseppe

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 図書 Mathematical foundations of computer science 1999 : 24th International Symposium, MFCS '99, Szklarska Poręba, Poland, September 6-10, 1999 : proceedings

Symposium on Mathematical Foundations of Computer Science, Kutyłowski, Mirosław, Pacholski, Leszek, Wierzbicki, Tomasz

Springer
2 図書 Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990 (: gw ; : us)

Carboni, A. (Aurelio), 1942-, Pedicchio, M. C. (Maria Cristinia), 1953-, Rosolini, G. (Giuseppe), 1954-, Conference …

Springer-Verlag
8 図書 Mathematical foundations of computer science 1997 : 22nd International Symposium, MFCS '97, Bratislava, Slovakia, August 25-29, 1997 : proceedings

Symposium on Mathematical Foundations of Computer Science, Prívara, Igor, Ružička, Peter

Springer
3 図書 Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

Conference on Category Theory and Computer Science, Pitt, David (David H.), Rydeheard, D. E. (David E.), Johnstone, P. T

Springer
9 図書 Category Seminar : proceedings, Sydney Category Theory Seminar, 1972/1973 (: Germany ; : U.S.)

Sydney Category Theory Seminar, Kelly, G. M., 1930-

Springer-Verlag
4 図書 Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings (: gw ; : us)

Conference on Category Theory and Computer Science, Pitt, David (David H.)

Springer-Verlag
10 図書 Category theory 1991 : proceedings of an International Summer Category Theory Meeting, held June 23-30, 1991

International Summer Category Theory Meeting, Seely, R. A. G. (Robert Andrew George), 1951-, Canadian Mathematical …

Published by the American Mathematical Society for the Canadian Mathematical Society
5 図書 Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings (: gw ; : us)

Pitt, David (David H.), Conference on Category Theory and Computer Science

Springer-Verlag
11 図書 Mathematical foundations of computer science 1996 : 21st International Symposium, MFCS '96, Cracow, Poland, September 2-6, 1996 : proceedings

Symposium on Mathematical Foundations of Computer Science, Penczek, Wojciech, Szałas, Andrzej, 1958-

Springer
6 図書 Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers

WADT, Parisi Presicce, Francesco

Springer
12 図書 Mathematical foundations of computer science 2000 : 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28-September 1, 2000 : proceedings

Symposium on Mathematical Foundations of Computer Science, Nielsen, M. (Mogens), 1949-, Rovan, Branislav, 1947-

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12