Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings

>> Amazon.co.jp

このページのQRコード

Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings

種類:

電子ブック

責任表示:

edited by David Pitt, Samson Abramsky, Axel Poigné, David Rydeheard

出版情報:

Berlin, Heidelberg : Springer-Verlag, 1986

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 240

ISBN:

9783540472131 [3540472134]

ローカル注記:

学内専用E-BOOKS (local access only)

オンライン

http://dx.doi.org/10.1007/3-540-17162-2

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Computer Science; Logics and Meanings of Programs; Programming Techniques
分類・件名:	LCSH : Computer science LCSH : Logic design FREE : Computer Science FREE : Logics and Meanings of Programs FREE : Programming Techniques
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00005826

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings Pitt, David., Abramsky, Samson., Poigne, Axel., Rydeheard, David., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 電子ブック Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings Proietti, Maurizio, SpringerLink (Online service) Springer-Verlag
2 電子ブック 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	8 電子ブック 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
3 電子ブック 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	9 電子ブック Programming Languages Implementation and Logic Programming : International Workshop PLILP '88 Orléans, France, May 16–18, 1988 Proceedings Deransart, P., Lorho, B., Małuszyński, J., SpringerLink (Online service) Springer-Verlag
4 電子ブック Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings Pitt, David H., Rydeheard, David E., Dybjer, Peter, Pitts, Andrew M., Poigné, Axel, SpringerLink (Online service) Springer-Verlag	10 電子ブック 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
5 図書 Category theory and computer programming : Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 : proceedings Tutorial and Workshop on Category Theory and Computer Programming, Pitt, David (David H.) Springer-Verlag	11 電子ブック Category Theory and Computer Science : Paris, France, September 3-6, 1991. Proceedings Pitt, David H., Curien, Pierre-Louis., Abramsky, Samson., Pitts, Andrew., Poigne, Axel., Rydeheard, David E., … Springer Berlin Heidelberg : Imprint: Springer
6 電子ブック Concurrency: Theory, Language, and Architecture : UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings Yonezawa, Akinori, Ito, Takayasu, SpringerLink (Online service) Springer-Verlag	12 電子ブック Programming Language Implementation and Logic Programming : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings Deransart, Pierre, Maluszyński, Jan, SpringerLink (Online service) Springer-Verlag