Categorical methods in computer science : with aspects from topology

>> Google Books

所蔵情報QRコード

Categorical methods in computer science : with aspects from topology / H. Ehrig ... [et al.], (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1989

形態:

vi, 350 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 393 <BA00009279>

著者名:

ISBN:

9780387517223 [0387517227] (: us)
9783540517221 [3540517227] (: gw)

書誌ID:

BA0751680X

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Papers presented at the International Workshop on Categorical Methods in Computer Science with Aspects from Topology, held 1988 in Berlin Includes bibliographical references
主題:	Categories (Mathematics)--Congresses; Computer science--Congresses; Topology--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 電子ブック Categorical Methods in Computer Science With Aspects from Topology Ehrig SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 図書 Category theory and computer science : 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings Conference on Category Theory and Computer Science, Moggi, Eugenio, Rosolini, G. (Giuseppe), 1954- Springer-Verlag
2 電子ブック Categorical Methods in Computer Science : With Aspects from Topology Ehrig, Hartmut., Herrlich, Horst., Kreowski, Hans-Jörg., Preuß, Gerhard., SpringerLink (Online service)	8 図書 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
3 図書 Categorical topology : proceedings of the International Conference, Berlin, August 27th to September 2nd, 1978 (: Berlin ; : New York) International Conference on Categorical Topology, Herrlich, Horst, 1937-, Preuss, Gerhard, 1940- Springer-Verlag	9 図書 Logic from computer science : proceedings of a workshop held November 13-17, 1989 (: us ; : gw) Moschovakis, Yiannis N., 1938-, Workshop on Logic from Computer Science Springer-Verlag
4 図書 Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings (: us ; : gw) Schneider, Hans-Jürgen, 1937-, Ehrig, Hartmut Springer-Verlag	10 図書 Aspects and prospects of theoretical computer science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990 … (: gw ; : us) International Meeting of Young Computer Scientists, Dassow, Jürgen, 1947-, Kelemen, Jozef, 1951- Springer-Verlag
5 図書 Categorical topology : proceedings of the conference held at Mannheim, 21-25 July, 1975 (: Berlin ; : New York) Conference on Categorical Topology, Binz, Ernst, 1939-, Herrlich, Horst, 1937- Springer-Verlag	11 図書 Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 Claus, Volker, 1944-, Ehrig, Hartmut, Rozenberg, Grzegorz Springer-Verlag
6 図書 Theory and application of graph transformations : 6th International Workshop, TAGT '98, Paderborn, Germany, November 16-20, 1998 : selected papers International Workshop on Theory and Applications of Graph Transformation, Ehrig, Hartmut, Engels, Gregor, Kreowski, … Springer	12 図書 Graph-theoretic concepts in computer science : 25th International Workshop, WG '99, Ascona, Switzerland, June 17-19, 1999 : proceedings International Workshop on Graph-Theoretic Concepts in Computer Science, Widmayer, Peter, Neyer, Gabriele, Eidenbenz, … Springer

1

2

3

4

5

6

7

8

9

10

11

12