Categorical methods in computer science : with aspects from topology

>> Amazon.co.jp

このページのQRコード

Categorical methods in computer science : with aspects from topology

種類:

図書

責任表示:

H. Ehrig ... [et al.], (eds.)

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1989

著者名:

シリーズ名:

Lecture notes in computer science ; 393 <BA00009279>

ISBN:

9780387517223 [0387517227] (: us)

9783540517221 [3540517227] (: gw)

注記:

Papers presented at the International Workshop on Categorical Methods in Computer Science with Aspects from Topology, held 1988 in Berlin
Includes bibliograpical references

所蔵情報

子書誌情報

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

詳細

主題:	Categories (Mathematics)--Congresses; Computer science--Congresses; Topology--Congresses
分類・件名:	NDC7 : 549.92 LCSH : Computer science -- Congresses LCSH : Categories (Mathematics) -- Congresses LCSH : Topology -- Congresses
LCCN:	89021832
TTLL:	eng
言語:	英語
形態:	vi, 350 p. : ill. ; 25 cm
書誌ID:	BA0751680X

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Categorical aspects of topology and analysis : proceedings of an international conference held at Carleton University, Ottawa, August 11-15, 1981 Carleton Conference on Categorical Aspects of Topology and Analysis, Banaschewski, Bernhard Springer-Verlag	7 図書 Aspects and prospects of theoretical computer science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990 … International Meeting of Young Computer Scientists, Dassow, Jürgen, 1947-, Kelemen, Jozef, 1951- 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) Springer Berlin Heidelberg : Imprint: Springer	8 図書 Graph-theoretic concepts in computer science : 24th International Workshop, WG '98, Smolenice Castle, Slovak Republic, June 18-20, 1998 : proceedings International Workshop on Graph-Theoretic Concepts in Computer Science, Hromkovic̆, Juraj, 1958-, Sýkora, Ondrej Springer
3 図書 Categorical topology : proceedings of the International Conference, Berlin, August 27th to September 2nd, 1978 International Conference on Categorical Topology, Herrlich, Horst, 1937-, Preuss, Gerhard, 1940- Springer-Verlag	9 図書 Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers Workshop on Computer Science Logic, Nielsen, Mogens, Thomas, Wolfgang, European Association for Computer Science Logic Springer
4 電子ブック Categorical Methods in Computer Science With Aspects from Topology Ehrig, H., Herrlich, H., Kreowski, H. -J, Preuß, G., SpringerLink (Online service) Springer-Verlag	10 図書 Graph-theoretic concepts in computer science : 23rd International Workshop, WG '97, Berlin, Germany, June 18-20, 1997 : proceedings International Workshop on Graph-Theoretic Concepts in Computer Science, Möhring, R. H. (Rolf H.) Springer
5 図書 Categorical topology : proceedings of the conference held at Mannheim, 21-25 July, 1975 Conference on Categorical Topology, Binz, Ernst, 1939-, Herrlich, Horst, 1937- Springer-Verlag	11 図書 Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers Workshop on Computer Science Logic, Dalen, Dirk van, Bezem, Marc, European Association for Computer Science Logic Springer
6 図書 Logic from computer science : proceedings of a workshop held November 13-17, 1989 Moschovakis, Yiannis N., 1938-, Workshop on Logic from Computer Science Springer-Verlag	12 図書 Graph-theoretic concepts in computer science : 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16-18, 1993 : proceedings International Workshop on Graph-Theoretic Concepts in Computer Science, Leeuwen, Jan van Springer-Verlag