Vries

Results: 602



#Item
51The ISM seen at unprecedented resolution Elisa Costantini (SRON) C. Pinto, C. de Vries, J. Kaastra (SRON)

The ISM seen at unprecedented resolution Elisa Costantini (SRON) C. Pinto, C. de Vries, J. Kaastra (SRON)

Add to Reading List

Source URL: ixo.gsfc.nasa.gov

Language: English - Date: 2011-03-25 11:25:15
52Jack Kooistra Sjoerd Bakker, Dirk de Vries, Jochem Kazemier, Nelly de Bode, Leendert de Geus… Het zijn slechts enkele namen van de vele, vele oorlogsslachtoffers die u heeft geregistreerd, meneer Kooistra. Tien- en tie

Jack Kooistra Sjoerd Bakker, Dirk de Vries, Jochem Kazemier, Nelly de Bode, Leendert de Geus… Het zijn slechts enkele namen van de vele, vele oorlogsslachtoffers die u heeft geregistreerd, meneer Kooistra. Tien- en tie

Add to Reading List

Source URL: cultuurfonds.nl

Language: Dutch - Date: 2016-06-17 04:36:21
    53Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries

    Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries

    Add to Reading List

    Source URL: www.edsko.net

    Language: English - Date: 2016-08-02 06:27:04
    54Modelling Unique and Affine Typing using Polymorphism Edsko de Vries Abstract. Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared,

    Modelling Unique and Affine Typing using Polymorphism Edsko de Vries Abstract. Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared,

    Add to Reading List

    Source URL: www.edsko.net

    Language: English - Date: 2016-08-02 06:27:04
    55AGENDA MEETING OF THE FINANCE COMMITTEE OF THE SANTA BARBARA METROPOLITAN TRANSIT DISTRICT A PUBLIC AGENCY

    AGENDA MEETING OF THE FINANCE COMMITTEE OF THE SANTA BARBARA METROPOLITAN TRANSIT DISTRICT A PUBLIC AGENCY

    Add to Reading List

    Source URL: www.sbmtd.gov

    Language: English - Date: 2015-09-18 14:05:43
    56DE ECONOMIST 148, NO. 4, 2000 DUTCH ECONOMIC GROWTH IN COMPARATIVE-HISTORICAL PERSPECTIVE, 1500–2000 BY JAN DE VRIES*

    DE ECONOMIST 148, NO. 4, 2000 DUTCH ECONOMIC GROWTH IN COMPARATIVE-HISTORICAL PERSPECTIVE, 1500–2000 BY JAN DE VRIES*

    Add to Reading List

    Source URL: pseudoerasmus.files.wordpress.com

    Language: English - Date: 2016-07-15 08:35:07
    57Polytypic Properties and Proofs in Coq Wendy Verbruggen ∗ Edsko de Vries † Arthur Hughes

    Polytypic Properties and Proofs in Coq Wendy Verbruggen ∗ Edsko de Vries † Arthur Hughes

    Add to Reading List

    Source URL: www.edsko.net

    Language: English - Date: 2016-08-02 06:27:04
    58Dealing with extreme storm surges in The Netherlands Hans de Vries KNMI

    Dealing with extreme storm surges in The Netherlands Hans de Vries KNMI

    Add to Reading List

    Source URL: www.waveworkshop.org

    Language: English - Date: 2013-10-28 17:41:08
    59SPECIAL SESSIONSpecial Session 4: Nonlinear PDEs and Control Theory with Applications Barbara Kaltenbacher, University of Alpen-Adria, Klagenfurt, Austria

    SPECIAL SESSIONSpecial Session 4: Nonlinear PDEs and Control Theory with Applications Barbara Kaltenbacher, University of Alpen-Adria, Klagenfurt, Austria

    Add to Reading List

    Source URL: www.aimsciences.org

    Language: English - Date: 2012-06-23 07:34:45
    60SYMBOLIC ALGORITHMS AND SOFTWARE FOR THE ´ TEST AND RECURSION OPERATORS FOR PAINLEVE NONLINEAR PARTIAL DIFFERENTIAL EQUATIONS by

    SYMBOLIC ALGORITHMS AND SOFTWARE FOR THE ´ TEST AND RECURSION OPERATORS FOR PAINLEVE NONLINEAR PARTIAL DIFFERENTIAL EQUATIONS by

    Add to Reading List

    Source URL: www.douglasbaldwin.com

    Language: English - Date: 2010-10-05 00:49:38