Sortiert nach
Papers in physics, 2022-01, Vol.14, p.140001-14
- Parisi, Daniel R.
- Patterson, Germán A.
- Pagni, Lucio
- Osimani, Agustina
- Bacigalupo, Tomas
- Godfrid, Juan
- Bergagna, Federico M.
- Rodriguez Brizi, Manuel
- Momesso, Pedro
- Gomez, Fermin L.
- Lozano, Jimena
- Baader, Juan M.
- Ribas, Ignacio
- Astiz Meyer, Facundo P.
- Di Luca, Miguel
- Barrera, Nicolas E.
- Keimel Álvarez, Ezequiel M.
- Herran Oyhanarte, Maite M.
- Pingarilho, Pedro R.
- Zuberbuhler, Ximena
- Gorostiaga, Felipe
2022
Volltextzugriff (PDF)
CLEI electronic journal, 2018-08, Vol.21 (2)
2018
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022
2022
Volltextzugriff (PDF)
Runtime Verification, p.351-362
Volltextzugriff (PDF)
Papers in physics, 2022-01, Vol.14
- Daniel R. Parisi
- Germán A. Patterson
- Lucio Pagni
- Agustina Osimani
- Tomas Bacigalupo
- Juan Godfrid
- Federico M. Bergagna
- Manuel Rodriguez Brizi
- Pedro Momesso
- Fermin L. Gomez
- Jimena Lozano
- Juan M. Baader
- Ignacio Ribas
- Facundo P. Astiz Meyer
- Miguel Di Luca
- Nicolas E. Barrera
- Ezequiel M. Keimel Álvarez
- Maite M. Herran Oyhanarte
- Pedro R. Pingarilho
- Ximena Zuberbuhler
- Felipe Gorostiaga
2022
Volltextzugriff (PDF)
2017 XLIII Latin American Computer Conference (CLEI), 2017, p.1-10
2017
Volltextzugriff (PDF)
Web Information Systems Engineering – WISE 2018, p.81-95
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, p.397-414
Volltextzugriff (PDF)
Journal of water process engineering, 2021-02, Vol.39, p.101872, Article 101872
2021
Volltextzugriff (PDF)
Ekonomiaz, 1988 (9-10), p.301-324
1988
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Covid-19
- Pandemic Measures
- Social Distance
- Access Control
- Alumina
- Aluminum
- Analytical Models
- Android
- Androids
- Bayer Process
- Certified Implementation
- Computer And Information Science
- Copper
- Data- Och Informationsvetenskap
- Formal Idealized Model
- Humanoid Robots
- Model-Based Security Testing
- Monitoring
- Orchestration
- Physical Sciences
Kollektion
Zeitschrift / Serie