Category theory and computer programming : Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 : proceedings

フォーマット:
図書
責任表示:
edited by David Pitt ... [et al.]
言語:
英語
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1986
形態:
vii, 519 p. : ill. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 240 <BA00009279>
書誌ID:
BA0038364X
ISBN:
9783540171621 [3540171622] (: gw)  CiNii Books  Google Books
9780387171623 [0387171622] (: us)  CiNii Books  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986

International Workshop on Advanced Programming Environments, Conradi, Reidar, Didriksen, Tor M., Wanvik, Dag H., &hellip;

Springer-Verlag
7 図書 Future parallel computers : an advanced course, Pisa, Italy, June 9-20, 1986 : proceedings

Advanced Course on Future Parallel Computers, Vanneschi, Marco, European Strategic Programme of Research and Development &hellip;

Springer-Verlag
2 図書 Category theory : applications to algebra, logic and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981

International Conference on Category Theory : Applications to Algebra, Logic and Topology, Kamps, Klaus Heiner, &hellip;

Springer-Verlag
8 図書 Categories of Boolean sheaves of simple algebras

Diers, Yves, 1937-

Springer-Verlag
3 図書 圏論の歩き方 = Category theory trotters

圏論の歩き方委員会

日本評論社
9 図書 Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987, proceedings

Conference on Functional Programming Languages and Computer Architecture, Kahn, G.

Springer-Verlag
4 図書 Concurrency : theory, language, and architecture : UK/Japan Workshop, Oxford, UK, September 25-27, 1989 : proceedings

米沢, 明憲(1947-), 伊藤, 貴康(1940-), UK/Japan Workshop on Concurrency

Springer-Verlag
10 図書 The science of programming

Gries, David, 1939-

Springer-Verlag
5 図書 Graph-theoretic concepts in computer science : 16th International Workshop WG '90, Berlin, Germany, June 20-22, 1990 : proceedings

International Workshop on Graph-Theoretic Concepts in Computer Science, Möhring, R. H. (Rolf H.)

Springer-Verlag
11 図書 Applications of categories in computer science : proceedings of the LMS Symposium, Durham, 1991

London Mathematical Society Symposium on Applications of Categories in Computer Science, Fourman, M. P., 1950-, &hellip;

Cambridge University Press
6 図書 Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985

Ganzinger, Harald, 1950-, Jones, Neil D., 1941-, Workshop "Programs as Data Objects"

Springer-Verlag
12 図書 EUROGRAPHICS '88 : proceedings of the European Computer Graphics Conference and Exhibition, Nice, France, 12-16 September, 1988

EUROGRAPHICS, European Association for Computer Graphics, Duce, David A., Jancene, Pierre

North-Holland