Azevedo

Results: 169



#Item
41

A Verified Information-Flow Architecture Arthur Azevedo de Amorim1 Nathan Collins2 Andr´e DeHon1 Delphine Demange1 C˘at˘alin Hrit¸cu1,3 David Pichardie3,4 Benjamin C. Pierce1 Randy Pollack4 Andrew Tolmach2 1 Univers

Add to Reading List

Source URL: www.crash-safe.org

Language: English - Date: 2014-08-15 21:25:30
    42

    PREPRINT Really Natural Linear Indexed Type Checking Arthur Azevedo de Amorim Marco Gaboardi

    Add to Reading List

    Source URL: arxiv.org

    Language: English - Date: 2015-03-16 20:42:28
      43

      INTEGRANDO A TERAPIA COGNITIVO-COMPORTAMENTAL À PSICOFARMACOTERAPIA NO TRATAMENTO DO TRANSTORNO OBSESSIVO-COMPULSIVO Jaelson Rodrigo Ricardo de Sousa* Maria Renata Florencio de Azevedo* Mayara Rejane Feitosa dos Anjos*

      Add to Reading List

      Source URL: congresso.fbtc.org.br

      Language: Portuguese - Date: 2015-04-14 16:52:34
        44

        ENCONTRO “Análise SWOT do Ensino Superior Português: Oportunidades, Desafios e Estratégias de Qualidade” IPAM, Porto | 13 novembro 2013 Rua Manuel Pinto de Azevedo, 748 | Porto

        Add to Reading List

        Source URL: nep.tecnico.ulisboa.pt

        - Date: 2014-01-15 12:00:04
          45

          Environmental governance and the challenge of harmonization of state policies on climate change Juliana Speranza, Flávia Martins, Tasso Azevedo, Ricardo Abramovay1 1. Introduction The concern over the issue of global cl

          Add to Reading List

          Source URL: www.isecoeco.org

          - Date: 2014-08-13 11:21:07
            46

            Relação de árbitros da I Competição de Arbitragem Empresarial da PUC/RS (CAEMP) RELAÇÃO DE ÁRBITROS 1 1. André Jobim de Azevedo - Professor na PUCRS. Mestre em Direito pela PUCRS. Superintendente da CAF. Membro

            Add to Reading List

            Source URL: www3.pucrs.br

            - Date: 2015-03-23 15:29:54
              47

              Agriculteurs français et développement international Lettre hebdo n°454, du 9 au 15 septembre 2013 Roberto Azevêdo espère une relance des négociations au sein de l’OMC Le nouveau directeur de l’Organisation mon

              Add to Reading List

              Source URL: www.afdi-opa.org

              - Date: 2013-09-23 04:17:55
                48

                A Verified Information-Flow Architecture (Long version) Arthur Azevedo de Amorim1 Nathan Collins2 Andr´e DeHon1 Delphine Demange1 C˘at˘alin Hrit¸cu1,3 David Pichardie3,4 Benjamin C. Pierce1 Randy Pollack4 Andrew Tolm

                Add to Reading List

                Source URL: www.crash-safe.org

                Language: English - Date: 2014-08-15 21:25:30
                  49

                  Mobilidade e Acessibilidade Urbanas Sustentáveis: A Gestão da Mobilidade no Brasil Priscilla Alves a* Archimedes Azevedo Raia Junior b a-b Programa de Pós-graduação em Engenharia Urbana - PPGEU / Universidade Federa

                  Add to Reading List

                  Source URL: inclusao.coppetec.coppe.ufrj.br

                  Language: Portuguese - Date: 2015-03-09 07:24:43
                    50

                    Expert assessments of the cost of light water small modular reactors Ahmed Abdulla1, Inês Lima Azevedo, and M. Granger Morgan Department of Engineering and Public Policy, Carnegie Mellon University, Pittsburgh, PA 15213

                    Add to Reading List

                    Source URL: www.pnas.org

                    Language: English - Date: 2013-05-28 11:17:46
                      UPDATE