CITE

Results: 8839



#Item
61Verifying Programs with Arrays and Lists Julien Braine, Laure Gonnord, David Monniaux To cite this version: Julien Braine, Laure Gonnord, David Monniaux. Verifying Programs with Arrays and Lists. [Intership report] ENS L

Verifying Programs with Arrays and Lists Julien Braine, Laure Gonnord, David Monniaux To cite this version: Julien Braine, Laure Gonnord, David Monniaux. Verifying Programs with Arrays and Lists. [Intership report] ENS L

Add to Reading List

Source URL: hal.archives-ouvertes.fr

Language: English - Date: 2018-08-16 08:58:56
    62HOW TO WRITE A GOOD ABSTRACT Why write an abstract? An abstract is a shortened version of a paper. This is a great opportunity, as:  it provides the first chance for you to announce and cite the preliminary findings o

    HOW TO WRITE A GOOD ABSTRACT Why write an abstract? An abstract is a shortened version of a paper. This is a great opportunity, as:  it provides the first chance for you to announce and cite the preliminary findings o

    Add to Reading List

    Source URL: erscongress.org

    Language: English - Date: 2017-12-04 08:23:42
      63This is a preprint, the final version is subject to change, of the American Mineralogist (MSA) Cite as Authors (Year) Title. American Mineralogist, in press. DOI: https://doi.orgam

      This is a preprint, the final version is subject to change, of the American Mineralogist (MSA) Cite as Authors (Year) Title. American Mineralogist, in press. DOI: https://doi.orgam

      Add to Reading List

      Source URL: www.minsocam.org

      Language: English - Date: 2018-03-28 10:20:55
        64Roschuni, Goodman, and Agogino – Prepublication DRAFT; please cite published version – October, 2012 Title: Communicating actionable user research Authors: Celeste Roschuni Berkeley Institute of Design & Mechanical

        Roschuni, Goodman, and Agogino – Prepublication DRAFT; please cite published version – October, 2012 Title: Communicating actionable user research Authors: Celeste Roschuni Berkeley Institute of Design & Mechanical

        Add to Reading List

        Source URL: www.confectious.net

        Language: English - Date: 2013-05-01 19:48:52
          65Resource aggregation for task-based Cholesky Factorization on top of heterogeneous machines Terry Cojean, Abdou Guermouche, Andra Hugo, Raymond Namyst, Pierre-André Wacrenier To cite this version:

          Resource aggregation for task-based Cholesky Factorization on top of heterogeneous machines Terry Cojean, Abdou Guermouche, Andra Hugo, Raymond Namyst, Pierre-André Wacrenier To cite this version:

          Add to Reading List

          Source URL: hal.inria.fr

          Language: English - Date: 2018-08-09 08:02:09
            66

            RTF Document

            Add to Reading List

            Source URL: web.cite.ehime-u.ac.jp

            - Date: 2014-11-19 00:58:50
              67Working Draft of Nov. 30, 2017 I apologize in advance for typos and infelicitous prose. Cite and quote at your own risk: I may have disavowed the point or changed phrasing by then. NEOCLASSICAL ADMINISTRATIVE LAW Jeffrey

              Working Draft of Nov. 30, 2017 I apologize in advance for typos and infelicitous prose. Cite and quote at your own risk: I may have disavowed the point or changed phrasing by then. NEOCLASSICAL ADMINISTRATIVE LAW Jeffrey

              Add to Reading List

              Source URL: administrativestate.gmu.edu

              Language: English - Date: 2018-06-01 11:33:21
                68

                RTF Document

                Add to Reading List

                Source URL: web.cite.ehime-u.ac.jp

                - Date: 2014-11-19 00:58:50
                  69N Lignon-Cité Lignon-Cité

                  N Lignon-Cité Lignon-Cité

                  Add to Reading List

                  Source URL: www.tpg.ch

                    70Proceedings of the 6th International Conference on Computing and Informatics, ICOCI27April, 2017 Kuala Lumpur. Universiti Utara Malaysia (http://www.uum.edu.my ) How to cite this paper: Paper No. 118

                    Proceedings of the 6th International Conference on Computing and Informatics, ICOCI27April, 2017 Kuala Lumpur. Universiti Utara Malaysia (http://www.uum.edu.my ) How to cite this paper: Paper No. 118

                    Add to Reading List

                    Source URL: icoci.cms.net.my

                    Language: English - Date: 2017-04-19 00:25:24