Derek

Results: 2380



#Item
51A Relational Modal Logic for Higher-Order Stateful ADTs Derek Dreyer Georg Neis Andreas Rossberg

A Relational Modal Logic for Higher-Order Stateful ADTs Derek Dreyer Georg Neis Andreas Rossberg

Add to Reading List

Source URL: people.mpi-sws.org

Language: English - Date: 2009-11-12 09:36:49
    52[The first year of the daguerreotype:] Ste Croix in London, 1839. R. Derek Wood [published in History of Photography, Spring 1993, Vol.17 (1), pp. 101–7] The Times, 14 September 1839: “THE DAGUERREOTYPE. – The firs

    [The first year of the daguerreotype:] Ste Croix in London, 1839. R. Derek Wood [published in History of Photography, Spring 1993, Vol.17 (1), pp. 101–7] The Times, 14 September 1839: “THE DAGUERREOTYPE. – The firs

    Add to Reading List

    Source URL: www.midley.co.uk

    Language: English - Date: 2007-01-13 20:31:39
      53FOR IMMEDIATE RELEASE Derek Meier Solid PR

      FOR IMMEDIATE RELEASE Derek Meier Solid PR

      Add to Reading List

      Source URL: www.kaiju.com

      Language: English - Date: 2007-10-24 22:37:17
        54Naiad: A Timely Dataflow System Derek G. Murray Frank McSherry Rebecca Isaacs Michael Isard Paul Barham Mart´ın Abadi Microsoft Research Silicon Valley

        Naiad: A Timely Dataflow System Derek G. Murray Frank McSherry Rebecca Isaacs Michael Isard Paul Barham Mart´ın Abadi Microsoft Research Silicon Valley

        Add to Reading List

        Source URL: cs.stanford.edu

        - Date: 2018-03-20 01:55:53
          55Ballistic Shadow Art Xiaozhong Chen Sheldon Andrews Derek Nowrouzezahrai

          Ballistic Shadow Art Xiaozhong Chen Sheldon Andrews Derek Nowrouzezahrai

          Add to Reading List

          Source URL: profs.etsmtl.ca

          - Date: 2017-03-29 23:23:27
            56Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers Julia Lawall, Derek Palinski, Lukas Gnirke, Gilles Muller Sorbonne Universit´es/UPMC/Inria/LIP6 Abstract

            Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers Julia Lawall, Derek Palinski, Lukas Gnirke, Gilles Muller Sorbonne Universit´es/UPMC/Inria/LIP6 Abstract

            Add to Reading List

            Source URL: pages.lip6.fr

            - Date: 2017-08-28 11:27:03
              57Derek MacHale talks Trade Days On the 8th and 9th of October, the industry came together for the Trade Days, with manufacturers and retailers from across the country meeting at the NEC in Birmingham to showcase new produ

              Derek MacHale talks Trade Days On the 8th and 9th of October, the industry came together for the Trade Days, with manufacturers and retailers from across the country meeting at the NEC in Birmingham to showcase new produ

              Add to Reading List

              Source URL: www.tradedays.co.uk

              - Date: 2018-04-03 23:20:46
                58WIN DEREK’S 2018 DODGE DEMON SRT 2018 Dodge Demon SRT 6.2L Supercharged HEMI V8 – 840 Horsepower March – October. “Win Derek’s 2018 Dodge Demon” promotional giveaway is a joint casino promotion for gam

                WIN DEREK’S 2018 DODGE DEMON SRT 2018 Dodge Demon SRT 6.2L Supercharged HEMI V8 – 840 Horsepower March – October. “Win Derek’s 2018 Dodge Demon” promotional giveaway is a joint casino promotion for gam

                Add to Reading List

                Source URL: www.thed.com

                - Date: 2018-03-31 16:27:55
                  59GeoServer Clustering Revisited Getting Your Docker On Derek Kern - Ubisense, Inc 1

                  GeoServer Clustering Revisited Getting Your Docker On Derek Kern - Ubisense, Inc 1

                  Add to Reading List

                  Source URL: 2017.foss4g.org

                  - Date: 2017-12-28 15:43:20
                    60Ballistic Shadow Art Xiaozhong Chen Sheldon Andrews Derek Nowrouzezahrai

                    Ballistic Shadow Art Xiaozhong Chen Sheldon Andrews Derek Nowrouzezahrai

                    Add to Reading List

                    Source URL: www.cs.mcgill.ca

                    - Date: 2017-06-18 06:28:10