Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Theoretical computer science, 2018-11, Vol.747, p.75-99
2018
Volltextzugriff (PDF)
Cyber Physical Systems. Model-Based Design, 2020, Vol.11971, p.108-126
2020
Volltextzugriff (PDF)
Theoretical computer science, 2018, Vol.747, p.75
2018
Volltextzugriff (PDF)
Principles of Modeling, 2018, Vol.10760, p.223-239
2018
Volltextzugriff (PDF)
Nonlinear analysis. Hybrid systems, 2016-05, Vol.20, p.1-20
2016
Volltextzugriff (PDF)
IEEE software, 2019-03, Vol.36 (2), p.73-82
2019
Volltextzugriff (PDF)
Internet of Things. IoT Infrastructures, 2016, Vol.169, p.118-130
- Taha, Walid
- Duracz, Adam
- Zeng, Yingfu
- Atkinson, Kevin
- Bartha, Ferenc A.
- Brauner, Paul
- Duracz, Jan
- Xu, Fei
- Cartwright, Robert
- Konečný, Michal
- Moggi, Eugenio
- Masood, Jawad
- Andreasson, Pererik
- Inoue, Jun
- Sant’Anna, Anita
- Philippsen, Roland
- Chapoutot, Alexandre
- O’Malley, Marcia
- Ames, Aaron
- Gaspes, Veronica
- Hvatum, Lise
- Mehta, Shyam
- Eriksson, Henrik
- Grante, Christian
- Badra, Mohamad
- Giordano, Stefano
- Somov, Andrey
- Mitre Campista, Miguel Elias
- Marquez-Barja, Johann
- Chaouchi, Hakima
- Fazio, Maria
- Zeadally, Sherali
- Cagáňová, Dagmar
- Mandler, Benny
- Vieriu, Radu-Laurentiu
2016
Volltextzugriff (PDF)
SIGBED review, 2017-01, Vol.14 (1), p.44-52
2017
Volltextzugriff (PDF)
Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, 2022, p.16-32
2022
Volltextzugriff (PDF)
2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES), 2016, p.412-422
2016
Volltextzugriff (PDF)
2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA), 2013, p.120-125
2013
Volltextzugriff (PDF)
2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), 2016, p.1-10
2016
Volltextzugriff (PDF)
Journal of Software Engineering for Robotics, 2016, Vol.7 (1), p.100
2016
Volltextzugriff (PDF)
2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems, 2015, p.1093-1096
2015
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Hybrid Systems
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computational Modeling
- Semantics
- Simulation
- Computer Science, Software Engineering
- Rigorous Simulation
- Validated Numerics
- Analytical Models
- Computer Simulation
- Cyber-Physical Systems
- Design Engineering
- Domain Theory
- Domain-Specific Language
- Embedded Systems
- Engineering
- Engineering, Electrical & Electronic
Kollektion
Zeitschrift / Serie