UPM

Results: 1894



#Item
171

UNIVERSIDAD POLITÉCNICA DE MADRID Escuela Tecnica Superior de Ingenieros Industriales PROCESO DE COORDINACIÓN DE LAS ENSEÑANZAS ANX-PR/CL: GUÍA DE APRENDIZAJE

Add to Reading List

Source URL: www.upm.es

Language: Spanish - Date: 2017-02-06 05:48:56
    172

    AEROTECH VI CONFERENCE 2016 Keynote Speaker : Prof. Chin-Hsiang Cheng Stirling Engines Applied in Aerospace and Energy Systems: Premises and Promises INTRODUCTION Professional Position: Distinguished Professor

    Add to Reading List

    Source URL: www.aerotech.eng.upm.edu.my

    Language: English
      173

      Programa 19. “Campus Didácticos” de la UPM Medida 62 Establecimiento de “Aulas Didácticas” en la UPM

      Add to Reading List

      Source URL: catedraunesco.es

      Language: Spanish - Date: 2011-02-23 10:32:34
        174

        Rule Formats for Nominal Transition Systems Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir and Yolanda Ortega-Mallén September 8th, 2017

        Add to Reading List

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

        - Date: 2018-01-15 12:24:53
          175

          ´ lvaro Garc´ıa P´ A erez IMDEA Software Institute Campus de Montegancedo s/nPozuelo de Alarc´

          Add to Reading List

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

          - Date: 2018-02-15 08:39:22
            176

            2018 ESTUDIOS DE GRADO CENTRO JORNADAS DE

            Add to Reading List

            Source URL: www.upm.es

            - Date: 2018-03-15 09:39:26
              177

              The Beta Cube ´ Alvaro Garc´ıa IMDEA Software and Babel Research Group, Universidad Polit´ecnica de Madrid, Spain Pablo Nogueira, Emilio Jes´us Gallego Arias

              Add to Reading List

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

              - Date: 2011-05-30 05:03:39
                178

                Rule formats for bounded nondeterminism in Nominal SOS Álvaro García-Pérez (Joint work with Luca Aceto, Ignacio Fábregas and Anna Ingólfsdóttir.)

                Add to Reading List

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

                - Date: 2016-05-31 08:04:56
                  179

                  On Hopefully Intelligible Contributions to Seminar Series and Related Events (aka. This Talk on Kurt Gödel is not a Pearl of Computation) Álvaro García-Pérez

                  Add to Reading List

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

                  - Date: 2016-05-31 09:35:40
                    180

                    Deriving the Full-Reducing Krivine Machine from the Small-Step Operational Semantics of Normal Order Álvaro García-Pérez Pablo Nogueira

                    Add to Reading List

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

                    - Date: 2016-05-31 08:00:52
                      UPDATE