本文に飛ぶ

年 〜
年

検索結果 6 件

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)

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)
紙図書
Kluwer Academic Publishersc2001.<M17-03-2936>
国立国会図書館
  • タイトル標目Semantic structures in computation.

Domain theory, logic and computation : proceedings of the 2nd international symposium on domain theory, Sichuan, China, October 2001. : ISDT 2001 : Oct 2001, Chengdu, China. (Semantic Structures in Computation ; 3)

Domain theory, logic and computation : proceedings of the 2nd international symposium on domain theory, Sichuan, China, October 2001. : ISDT 2001 : Oct 2001, Chengdu, China. (Semantic Structures in Computation ; 3)
紙図書
Kluwer Academic Publishersc2003.<M17-04-2358>
国立国会図書館

Domain theory, logic and computation : proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

Domain theory, logic and computation : proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
紙図書
edited by GQ Zhang ... [et al.]Kluwer Academicc2003
全国の図書館

Call-by-push-value : a functional/imperative synthesis alk. paper

Call-by-push-value : a functional/imperative synthesis alk. paper
紙図書
by Paul Blain LevyKluwer Academic Publishersc2003
全国の図書館

Domains and processes : proceedings of the 1st International Symposium on Domain Theory, Shanghai, China, October 1999

Domains and processes : proceedings of the 1st International Symposium on Domain Theory, Shanghai, China, October 1999
紙図書
Klaus Keimel ... [et al.]Kluwer Academicc2001
全国の図書館

Semantic structures in computation

Semantic structures in computation
紙図書
Kluwer Academic
全国の図書館

検索結果は以上です。

RSS