>> Amazon.co.jp
このページのQRコード

Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings

種類:
電子ブック
責任表示:
edited by David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1989
著者名:
Pitt, David H.
Rydeheard, David E.
Dybjer, Peter
Pitts, Andrew M.
Poigné, Axel
SpringerLink (Online service)
続きを見る
シリーズ名:
Lecture Notes in Computer Science ; 389
ISBN:
9783540467403 [3540467408]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/BFb0018340
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Category Theory and Computer Science : Paris, France, September 3–6, 1991 Proceedings

Pitt, David H., Curien, Pierre-Louis, Abramsky, Samson, Pitts, Andrew M., Poigné, Axel, Rydeheard, David E., …

Springer-Verlag
7 電子ブック Mathematical Foundations of Computer Science 1991 : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings

Tarlecki, Andrzej, SpringerLink (Online service)

Springer-Verlag
2 電子ブック 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
8 電子ブック Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings

Wiedermann, Jiří, Hájek, Petr, SpringerLink (Online service)

Springer-Verlag
3 電子ブック Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings

Pitt, David H., Rydeheard, David E., Dybjer, Peter., Pitts, Andrew., Poigne, Axel., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
9 電子ブック Logic at Botik '89 : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings

Meyer, Albert R., Taitslin, Michael A., SpringerLink (Online service)

Springer-Verlag
4 電子ブック Category Theory and Computer Science : Edinburgh, U.K., September 7–9, 1987 Proceedings

Pitt, David H., Poigné, Axel, Rydeheard, David E., SpringerLink (Online service)

Springer-Verlag
10 電子ブック Mathematical Foundations of Computer Science 1994 : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings

Prívara, Igor, Rovan, Branislav, Ruzička, Peter, SpringerLink (Online service)

Springer-Verlag
5 電子ブック Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings

Pitt, David, Abramsky, Samson, Poigné, Axel, Rydeheard, David, SpringerLink (Online service)

Springer-Verlag
11 電子ブック Category Theory and Computer Science : Edinburgh, UK, September 7-9, 1987. Proceedings

Pitt, David H., Poigne, Axel., Rydeheard, David E., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
6 電子ブック TAPSOFT '91 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991

Abramsky, S., Maibaum, T. S. E., SpringerLink (Online service)

Springer-Verlag
12 電子ブック Static Analysis : Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings

Mycroft, Alan, SpringerLink (Online service)

Springer-Verlag