Yoshida

Results: 373



#Item
41Microsoft Word - 受賞-油空振

Microsoft Word - 受賞-油空振

Add to Reading List

Source URL: yoshida-www.pi.titech.ac.jp

- Date: 2014-06-04 21:23:56
    42T: Heads of Institutions Date: May 24, 2018 From: Kenji Yoshida Director-General National Museum of Ethnology (Minpaku) National Institutes for the Humanities (NIHU), Japan

    T: Heads of Institutions Date: May 24, 2018 From: Kenji Yoshida Director-General National Museum of Ethnology (Minpaku) National Institutes for the Humanities (NIHU), Japan

    Add to Reading List

    Source URL: www.minpaku.ac.jp

    Language: English - Date: 2018-05-31 01:47:07
      43<4D6963726F736F667420576F7264202D208BE08F728AAE8FB8944395BD90AC82518254944E82558C8E825093FA>

      <4D6963726F736F667420576F7264202D208BE08F728AAE8FB8944395BD90AC82518254944E82558C8E825093FA>

      Add to Reading List

      Source URL: yoshida-www.pi.titech.ac.jp

      - Date: 2013-06-11 00:18:36
        44Shigeru Masuda* (), Yoshida-Izumidono-chou, Sakyo-ku, Kyoto, , Japan. Fourier’s Equations of Heat Motion in Fluid and Boltzmann’s Transport Equations. Our motivat

        Shigeru Masuda* (), Yoshida-Izumidono-chou, Sakyo-ku, Kyoto, , Japan. Fourier’s Equations of Heat Motion in Fluid and Boltzmann’s Transport Equations. Our motivat

        Add to Reading List

        Source URL: jointmathematicsmeetings.org

        Language: English - Date: 2013-09-19 00:45:51
          45UAA Consensus on the Management of BPH/Male st LUTS (1 Edition) Edited and written by Masayuki Takeda, Md Afiquor Rahman, M A Salam, Masaki Yoshida, Hideki Kobayashi,

          UAA Consensus on the Management of BPH/Male st LUTS (1 Edition) Edited and written by Masayuki Takeda, Md Afiquor Rahman, M A Salam, Masaki Yoshida, Hideki Kobayashi,

          Add to Reading List

          Source URL: uaanet.org

          - Date: 2017-05-29 07:29:31
            46Protocol-based Verification of Message-passing Parallel Programs Hugo A. L´opez, Eduardo R. B. Marques, Francisco Martins, C´esar Santos, Vasco T. Vasconcelos Nicholas Ng, Nobuko Yoshida University of Lisbon

            Protocol-based Verification of Message-passing Parallel Programs Hugo A. L´opez, Eduardo R. B. Marques, Francisco Martins, C´esar Santos, Vasco T. Vasconcelos Nicholas Ng, Nobuko Yoshida University of Lisbon

            Add to Reading List

            Source URL: proglang.informatik.uni-freiburg.de

            - Date: 2017-10-04 11:31:52
              47Using session types as an effect system Dominic Orchard Nobuko Yoshida  Imperial College London, UK

              Using session types as an effect system Dominic Orchard Nobuko Yoshida Imperial College London, UK

              Add to Reading List

              Source URL: www.doc.ic.ac.uk

              - Date: 2015-10-30 16:15:01
                48平成27年度 (2015年度) 事業報告書  平成27年(2015年)4月31日から

                平成27年度 (2015年度) 事業報告書 平成27年(2015年)4月31日から

                Add to Reading List

                Source URL: www.yoshida-g.gr.jp

                - Date: 2016-07-01 04:56:12
                  49Globally Governed Session Semantics Dimitrios Kouzapas and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new bisimulation theory based on multiparty session types where a choreography specificati

                  Globally Governed Session Semantics Dimitrios Kouzapas and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new bisimulation theory based on multiparty session types where a choreography specificati

                  Add to Reading List

                  Source URL: www.doc.ic.ac.uk

                  - Date: 2013-04-16 10:29:34
                    50From Communicating Machines to Graphical Choreographies Julien Lange Nobuko Yoshida  Emilio Tuosto

                    From Communicating Machines to Graphical Choreographies Julien Lange Nobuko Yoshida Emilio Tuosto

                    Add to Reading List

                    Source URL: lra.le.ac.uk

                    - Date: 2015-03-27 23:00:22