Treffer 1 - 20 von 2.445 für Suche 'Antonio Navarro Perez', Suchdauer: 1,45s Treffer weiter einschränken
  1. 1
    The spread of media content through blogs

    The spread of media content through blogs von Cha, Meeyoung, Pérez, Juan Antonio Navarro, Haddadi, Hamed


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Logics with Common Weak Completions

    Logics with Common Weak Completions von Galindo, M. O., Navarro Perez, J. A., Arrazola Ramirez, J. R., Macias, V. B.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    El discurso sionista-costarricense sobre el derecho de propiedad y asentamiento judío en Palestina (1943-1945)

    El discurso sionista-costarricense sobre el derecho de propiedad y asentamiento judío en Palestina (1943-1945) von Pérez Navarro, Ricardo Antonio


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Separation Logic Modulo Theories

    Separation Logic Modulo Theories von Navarro Pérez, Juan Antonio, Rybalchenko, Andrey


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Encodings of Bounded LTL Model Checking in Effectively Propositional Logic

    Encodings of Bounded LTL Model Checking in Effectively Propositional Logic von Navarro-Pérez, Juan Antonio, Voronkov, Andrei


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Ground Nonmonotonic Modal Logic S5: New Results

    Ground Nonmonotonic Modal Logic S5: New Results von Galindo, Mauricio Osorio, Pérez, Juan Antonio Navarro, Ramírez, José R. Arrazola, Macías, Verónica Borja


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    SYSTEM AND METHOD FOR AUTHORIZING ELECTRONIC PAYMENTS

    SYSTEM AND METHOD FOR AUTHORIZING ELECTRONIC PAYMENTS von WEBER, Timo, MANSFELD, Fabian, NAVARRO PEREZ, Antonio

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  8. 8
    SYSTEM AND METHOD FOR EXECUTING ELECTRONIC PAYMENTS

    SYSTEM AND METHOD FOR EXECUTING ELECTRONIC PAYMENTS von WEBER, Timo, MANSFELD, Fabian, NAVARRO PEREZ, Antonio

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  9. 9
    SYSTEM AND METHOD FOR AUTHORIZING ELECTRONIC PAYMENTS

    SYSTEM AND METHOD FOR AUTHORIZING ELECTRONIC PAYMENTS von WEBER, Timo, MANSFELD, Fabian, NAVARRO PEREZ, Antonio

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  10. 10
    SYSTEM AND METHOD FOR EXECUTING ELECTRONIC PAYMENTS

    SYSTEM AND METHOD FOR EXECUTING ELECTRONIC PAYMENTS von WEBER, Timo, MANSFELD, Fabian, NAVARRO PEREZ, Antonio

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Encodings of Problems in Effectively Propositional Logic

    Encodings of Problems in Effectively Propositional Logic von Navarro-Pérez, Juan Antonio, Voronkov, Andrei


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Modeling Cloud Architectures as Interactive Systems

    Modeling Cloud Architectures as Interactive Systems von Perez, Antonio Navarro, Rumpe, Bernhard

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Cardinality Abstraction for Declarative Networking Applications

    Cardinality Abstraction for Declarative Networking Applications von Pérez, Juan Antonio Navarro, Rybalchenko, Andrey, Singh, Atul


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Modeling Cloud Architectures as Interactive Systems

    Modeling Cloud Architectures as Interactive Systems von Antonio Navarro Perez, Rumpe, Bernhard

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Logics with Common Weak Completions

    Logics with Common Weak Completions


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Integration of Heterogeneous Modeling Languages via Extensible and Composable Language Components

    Integration of Heterogeneous Modeling Languages via Extensible and Composable Language Components von Haber, Arne, Look, Markus, Perez, Antonio Navarro, Rumpe, Bernhard, Völkel, Steven, Wortmann, Andreas

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    GRAPH EXECUTION ENGINE

    GRAPH EXECUTION ENGINE von NAVARRO PEREZ, Juan Antonio, SHMAKOV, Pavel, CHIMISOV, Cyril, SAXENA, Ashish, RIZMAN, Matej, PEARCE, Matthew, NARYANTO, Vinsensius B. Vega S

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Automatic Memory Management for Compute Graphs

    Automatic Memory Management for Compute Graphs von Rizman, Matej, Shmakov, Pavel, Navarro Perez, Juan Antonio, Naryanto, Vinsensius B. Vega S, Chimisov, Cyril, Saxena, Ashish

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  19. 19
    AUTOMATIC MEMORY MANAGEMENT FOR COMPUTE GRAPHS

    AUTOMATIC MEMORY MANAGEMENT FOR COMPUTE GRAPHS von SHMAKOV, Pavel, NAVARRO PEREZ, Juan Antonio, CHIMISOV, Cyril, SAXENA, Ashish, RIZMAN, Matej, NARYANTO, Vinsensius B. Vega S

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  20. 20
    PERFIL PARA PLACA DE ENCOFRADO

    PERFIL PARA PLACA DE ENCOFRADO von NAVARRO PEREZ ANTONIO

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: