Languages

Results: 66134



#Item
381

Toward Type-Preserving Compilation of Coq William J. Bowman in target languages TYPES

Add to Reading List

Source URL: www.williamjbowman.com

- Date: 2018-03-18 12:54:47
    382

    (B) The Pame Gamepoints] The languages Northern and Central Pame belong to the Oto-Pamean branch of the Oto-Manguean language family. They are spoken in separate states of Mexico by approximately 5620 and 4350

    Add to Reading List

    Source URL: nacloweb.org

    - Date: 2018-03-26 14:03:50
      383

      Chapter 1 Python, IDLE and your first program In this chapter you are going to: • learn about computer programming and the different languages that you can use I am never IDLE, although

      Add to Reading List

      Source URL: www.codingclub.co.uk

      - Date: 2012-09-15 09:50:04
        384

        “Un dialogo che non conosce confine né di nazionalità, né di razza, né di cultura”: temi, impatto e ricezione critica di Lontano da Mogadiscio.1 Simone Brioni Institute of Modern Languages Research Visiting Fello

        Add to Reading List

        Source URL: www.laurana.it

        - Date: 2014-11-11 02:53:44
          385

          Languages, Myths and Finds Translating Norse and Viking Cultures for the Twenty-First Century The Languages, Myths and Finds project, funded by the Arts and Humanities Research Council, ran in the years, coincid

          Add to Reading List

          Source URL: languagesmythsfinds.files.wordpress.com

          - Date: 2014-06-27 04:13:42
            386

            Coupled Evolution of Model-Driven Spreadsheets Jorge Mendes HASLab / INESC TEC, Universidade do Minho, Portugal Abstract—Spreadsheets are increasingly used as programming languages, in the con

            Add to Reading List

            Source URL: alfa.di.uminho.pt

            - Date: 2012-06-26 09:11:45
              387

              New Methods in Hard Disk Encryption Clemens Fruhwirth <> Institute for Computer Languages Theory and Logic Group Vienna University of Technology

              Add to Reading List

              Source URL: tomb.dyne.org

              - Date: 2011-01-28 17:33:02
                388

                Languages, Myths and Finds Translating Norse and Viking Cultures for the Twenty-First Century The Languages, Myths and Finds project, funded by the Arts and Humanities Research Council, ran in the years, coincid

                Add to Reading List

                Source URL: languagesmythsfinds.files.wordpress.com

                - Date: 2014-06-27 03:59:19
                  389

                  Lambda World 1 OctoberRoom to Grow Evolving functional programming languages Erik Osheim (@d6)

                  Add to Reading List

                  Source URL: plastic-idolatry.com

                  - Date: 2016-10-01 19:33:35
                    390

                    Languages, Myths and Finds Translating Norse and Viking Cultures for the Twenty-First Century The Languages, Myths and Finds project, funded by the Arts and Humanities Research Council, ran in the years, coincid

                    Add to Reading List

                    Source URL: languagesmythsfinds.files.wordpress.com

                    - Date: 2014-06-27 04:15:27
                      UPDATE