>> Amazon.co.jp
このページの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
著者名:
シリーズ名:
Lecture notes in computer science ; 1290 <BA00009279>
ISBN:
9783540634553 [354063455X]  CiNii Books  Calil
注記:
'Seventh Meeting of the Biennial Conference on Category Theory in Computer Science'--Pref
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 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
7 図書 Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings

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

Springer-Verlag
2 図書 Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990

Carboni, A. (Aurelio), 1942-, Pedicchio, M. C. (Maria Cristina), 1953-, Rosolini, G. (Giuseppe), 1954-, Conference &hellip;

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

WADT, Parisi Presicce, Francesco

Springer
3 図書 Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings

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

Springer-Verlag
9 図書 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
4 図書 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
10 図書 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
5 電子ブック Category Theory and Computer Science : 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings

Pitt, David, Rydeheard, David E., Johnstone, Peter, SpringerLink (Online service)

Springer-Verlag
11 図書 Mathematical foundations of computer science 1995 : 20th International Symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings

Symposium on Mathematical Foundations of Computer Science, Wiedermann, J. (Juraj), Hájek, Petr

Springer-Verlag
6 電子ブック Category Theory and Computer Science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings

Pitt, David., Rydeheard, David E., Johnstone, Peter., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 図書 Mathematical foundations of computer science 1993 : 18th International Symposium, MFCS'93, Gdańsk, Poland, August 30-September 3, 1993 : proceedings

Symposium on Mathematical Foundations of Computer Science, Borzyszkowski, Andrzej M., 1955-, Sokołowski, Stefan

Springer-Verlag