図書

Domains and processes : proceedings of the 1st international symposium on domain theory : Shanghai, China, October 1999. : Oct 1999, Shanghai, China. (Semantic Structures in Computation ; 1)

Icons representing 図書

Domains and processes : proceedings of the 1st international symposium on domain theory : Shanghai, China, October 1999. : Oct 1999, Shanghai, China.

(Semantic Structures in Computation ; 1)

Call No. (NDL)
M17-03-2936
Bibliographic ID of National Diet Library
000004194766
Material type
図書
Author
Keimel, Klaus.ほか
Publisher
Kluwer Academic Publishers
Publication date
c2001.
Material Format
Paper
Capacity, size, etc.
xiv, 273 p. : ill. ; 25 cm.
NDC
-
View All

Notes on use

Note (General)：

Selected papers.

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
0792371437 (acid-free paper)
Title
Domains and processes : proceedings of the 1st international symposium on domain theory : Shanghai, China, October 1999. : Oct 1999, Shanghai, China.
Series Title
Semantic Structures in Computation ; 1
Title Heading
Semantic structures in computation.
Author Heading
Keimel, Klaus.
International Symposium on Domain Theory (1st : 1999 : Shanghai, China)
Publication, Distribution, etc.
Boston : Kluwer Academic Publishers
London : Kluwer Academic Publishers
Publication Date
c2001.
Publication Date (W3CDTF)
2001
Extent
xiv, 273 p. : ill. ; 25 cm.