Canada

Results: 271173



#Item
1Proof Procedures for Separated Heap Abstractions Josh Berdine, Cristiano Calcagno, Peter O’Hearn 1 July, 2007 (Canada day)  Part 0

Proof Procedures for Separated Heap Abstractions Josh Berdine, Cristiano Calcagno, Peter O’Hearn 1 July, 2007 (Canada day) Part 0

Add to Reading List

Source URL: www.lsi.upc.edu

- Date: 2007-07-09 05:41:32
    2W ILLIAM L H AMILTON http://stanford.edu/˜wleif Current address: 353 Serra Mall, Rm 438, Stanford, CA, 94305, USA Citizenship: Canada ,

    W ILLIAM L H AMILTON http://stanford.edu/˜wleif Current address: 353 Serra Mall, Rm 438, Stanford, CA, 94305, USA Citizenship: Canada ,

    Add to Reading List

    Source URL: stanford.edu

    Language: English - Date: 2017-12-27 18:07:45
    3TOWARDS A SOCIOLOGY OF HARM REDUCTION: A COMPARATIVE STUDY OF DRUG POLICY CHANGE IN CANADA AND THE UNITED KINGDOM BETWEEN THE YEARS 1985 AND 2017 by

    TOWARDS A SOCIOLOGY OF HARM REDUCTION: A COMPARATIVE STUDY OF DRUG POLICY CHANGE IN CANADA AND THE UNITED KINGDOM BETWEEN THE YEARS 1985 AND 2017 by

    Add to Reading List

    Source URL: tspace.library.utoronto.ca

    Language: English - Date: 2018-01-16 13:00:10
    4Le 31 janvierObjet : Information concernant le choix de report de l’impôt sur le revenu à l’intention des actionnaires résidant au Canada détenteurs d’actions d’AbbVie Inc. suivant la scission de Labor

    Le 31 janvierObjet : Information concernant le choix de report de l’impôt sur le revenu à l’intention des actionnaires résidant au Canada détenteurs d’actions d’AbbVie Inc. suivant la scission de Labor

    Add to Reading List

    Source URL: dam.abbott.com

    Language: French - Date: 2017-06-26 13:55:02
      5mZig: Enabling Multi-Packet Reception in ZigBee Linghe Kong1,2 Xue Liu  McGill University, Canada

      mZig: Enabling Multi-Packet Reception in ZigBee Linghe Kong1,2 Xue Liu McGill University, Canada

      Add to Reading List

      Source URL: wirelesslab.sjtu.edu.cn

      Language: English - Date: 2015-07-10 10:11:21
        6Networks of Mobility and Constraint: The Economic Integration of New Immigrants to Canada by  Maria M. Majerski

        Networks of Mobility and Constraint: The Economic Integration of New Immigrants to Canada by Maria M. Majerski

        Add to Reading List

        Source URL: tspace.library.utoronto.ca

        Language: English - Date: 2017-12-19 13:00:53
        7The Canadian Wheat Board, Warburtons, and the creative reconstitution of the Canada-UK commodity chain for wheat-bread

        The Canadian Wheat Board, Warburtons, and the creative reconstitution of the Canada-UK commodity chain for wheat-bread

        Add to Reading List

        Source URL: tspace.library.utoronto.ca

        Language: English - Date: 2010-12-10 16:03:20
        8Optimization Approaches to Multi-robot Planning and Scheduling Kyle E. C. Booth Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontario, Canada

        Optimization Approaches to Multi-robot Planning and Scheduling Kyle E. C. Booth Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontario, Canada

        Add to Reading List

        Source URL: icaps16.icaps-conference.org

        Language: English - Date: 2016-06-09 08:09:20
        9Data Preference Matters: A New Perspective of Safety Data Dissemination in Vehicular Ad Hoc Networks Qiao Xiang1 , Xi Chen1, Linghe Kong1 , Lei Rao2 , Xue Liu1 1 School of Computer Science, McGill University, Canada, 2

        Data Preference Matters: A New Perspective of Safety Data Dissemination in Vehicular Ad Hoc Networks Qiao Xiang1 , Xi Chen1, Linghe Kong1 , Lei Rao2 , Xue Liu1 1 School of Computer Science, McGill University, Canada, 2

        Add to Reading List

        Source URL: wirelesslab.sjtu.edu.cn

        Language: English - Date: 2015-04-14 12:02:56
        10A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1  University of Waterloo (Canada)

        A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada)

        Add to Reading List

        Source URL: seahorn.github.io

        Language: English - Date: 2018-08-03 20:31:21