Perez

Results: 2612



#Item
151

Software libre Josep Anton Pérez López Lluís Ribas i Xirgo XP04

Add to Reading List

Source URL: www.sw-computacion.f2s.com

- Date: 2011-07-11 23:44:42
    152

    Deriving Interpretations of the Gradually-Typed Lambda Calculus Álvaro García-Pérez Pablo Nogueira

    Add to Reading List

    Source URL: babel.ls.fi.upm.es

    - Date: 2016-05-31 08:02:48
      153

      A Standard Theory for the Pure Lambda-Value Calculus Álvaro García-Pérez Pablo Nogueira

      Add to Reading List

      Source URL: babel.ls.fi.upm.es

      - Date: 2016-05-31 07:48:41
        154

        Contamination of the Pacific Hafa Adai distinguished members of the United Nations Special Political and Decolonization Committee (Fourth Committee) and Chairman, H.E. Mr. Jorge Arguello, My name is Craig Santos Perez an

        Add to Reading List

        Source URL: guampedia.media.s3.amazonaws.com

        - Date: 2017-09-12 02:42:23
          155

          Transforming Our Island Hafa adai, Mr. Chairman Marty Natalegawa and distinguished members of the Committee. My name is Sabina Flores Perez. I speak to you today as an indigenous Chamorro woman from the island of Guam. I

          Add to Reading List

          Source URL: guampedia.media.s3.amazonaws.com

          - Date: 2017-09-12 02:42:38
            156

            Towards modular verification of consensus protocols Álvaro García Pérez IMDEA Software Institute, Madrid

            Add to Reading List

            Source URL: babel.ls.fi.upm.es

            - Date: 2018-01-15 12:22:36
              157

              The Essence of Reynolds (title borrowed from POPL14’s session in honour of John C. Reynolds, by Stephen Brookes, Peter O’Hearn and Uday Reddy) Álvaro García-Pérez

              Add to Reading List

              Source URL: babel.ls.fi.upm.es

              - Date: 2016-05-31 09:31:40
                158

                The Recovery of a Schema Mapping: Bringing Exchanged Data Back ´ MARCELO ARENAS and JORGE PEREZ Pontificia Universidad Catolica ´

                Add to Reading List

                Source URL: marenas.sitios.ing.uc.cl

                - Date: 2013-04-26 05:57:01
                  159

                  Álvaro García Pérez Generado desde: Editor CVN de FECYT Fecha del documento: v 1.4.0

                  Add to Reading List

                  Source URL: babel.ls.fi.upm.es

                  - Date: 2018-01-16 09:42:28
                    160

                    Data Exchange Beyond Complete Data MARCELO ARENAS, Pontificia Universidad Cat´olica de Chile ´ JORGE PEREZ , Universidad de Chile JUAN REUTTER, University of Edinburgh and Pontificia Universidad Cat´olica de Chile

                    Add to Reading List

                    Source URL: marenas.sitios.ing.uc.cl

                    - Date: 2014-03-14 10:49:32
                      UPDATE