Yahoo! JAPAN

検索設定 - この検索結果ページについて

Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89) で検索した結果 1~10件目 / 約397,000件 - 0.59秒

ウェブ

  1. Search records | 東京工業大学附属図書館 蔵書検索
    1. Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89). International Joint Conference on Theory and Practice of Software Development ; Díaz, Josep, ...
    request.libra.titech.ac.jp/.../%2A?...fc%3A%22Compute...
  2. Search records | 東京工業大学附属図書館 蔵書検索
    Trees in algebra and programming -- CAAP'96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996 : proceedings ... Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) ... TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development ...
    request.libra.titech.ac.jp/.../%2A?...
  3. Advanced Seminar on Foundations of Innovative Software ...
    Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87). フォーマット: 図書  ...
    opac.lib.ibaraki.ac.jp/opc/recordID/catalog.bib/BA00444030
  4. Coquand's calculus of constructions: A mathematical foundation for ...
    Coquand's calculus of constructions: A mathematical foundation for a proof development system ... A preliminary version of this paper was presented at the Third Banff Higher Order Workshop, 23–28 September 1989. .... 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP ... Proc. of the First Montréal ...
    link.springer.com/article/10.1007/BF01211392
  5. Fernando Orejas - dblp
    2019年10月2日 ... Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of ...... of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'89). ... 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages ( CCIPL).
    dblp.org > Home > Persons
  6. Advanced Seminar on Foundations of Innovative Software ...
    Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL) ... TAPSOFT ' 89 : proceedings of the International Joint Conference on Theory and Practice of Software ... I and Colloquium on Trees in Algebra and Programming (CAAP '89). 2.
    catalog.lib.kyushu-u.ac.jp/ja/recordID/1000930123/
  7. Web of Science Help
    ... REPORT; C A S CERN ACCELERATOR SCHOOL THIRD ADVANCED ACCELERATOR PHYSICS COURSE: CERN REPORT ... CAAP 92 : 17TH COLLOQUIUM ON TREES IN ALGEBRA AND PROGRAMMING: LECT NOTES COMPUT SC; CAAS ..... CANADIAN MEDICAL AND BIOLOGICAL ENGINEERING SOCIETY CONFERENCE : PROCEEDINGS - 1989 ..... CASS'98: PROCEEDINGS OF THE 43RD ANNUAL CORPORATE AVIATION SAFETY SEMINAR - SAFETY OUTSIDE ...
    images.webofknowledge.com/images/.../C_abrvjt.html
  8. Semantic models and abstract interpretation techniques for inductive ...
    Patrick Cousot , Radhia Cousot, Formal language, grammar and set-constraint- based program analysis by abstract ... symposium on Principles of programming languages, p.157-168, December 1989, San Francisco, California, USA ... on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol .... 2: Advanced Seminar on ...
    dl.acm.org/citation.cfm?id=215594
  9. Computable values can be classical - ACM Digital Library
    ... (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development, p.291-307, March 1987, Pisa, Italy ... P. J. Landin, Correspondence between ALGOL 60 and Church's Lambda-notation: part I, Communications of the ACM, v.8 n.2, p.89-101, Feb. ... 1: Colloquium on trees in algebra and programming (CAAP'85), p.97-138, April 1985, Berlin, Germany.
    dl.acm.org/citation.cfm?id=41646
  10. Colloquium on Trees in Algebra and Programming (CAAP '91) / S ...
    (Lecture notes in computer science;493 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development,  ...
    opac.dl.itc.u-tokyo.ac.jp/.../opac_details/?...
  1  2  3  4  5  6  7  8  9  10  次へ »
検索設定 - この検索結果ページについて

Copyright (C) 2019 Yahoo Japan Corporation. All Rights Reserved.