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...Software and systems modeling, 2021-06, Vol.20 (3), p.711-724
2021
Volltextzugriff (PDF)
IEEE transactions on computers, 2020-12, Vol.69 (12), p.1745-1756
2020
Volltextzugriff (PDF)
Automatica (Oxford), 2017-04, Vol.78, p.287-296
2017
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017-08, Vol.19 (4), p.427-448
2017
Volltextzugriff (PDF)
2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2023, p.1767-1773
2023
Volltextzugriff (PDF)
Acta cybernetica (Szeged), 2021-06, Vol.25 (1), p.3
2021
Volltextzugriff (PDF)
Acta cybernetica (Szeged), 2021-05, Vol.25 (1), p.3
2021
Volltextzugriff (PDF)
Optimization methods & software, 2018-11, Vol.33 (4-6), p.718-728
2018
Volltextzugriff (PDF)
Acta cybernetica (Szeged), 2021-02, Vol.25 (1), p.101-125
2021
Volltextzugriff (PDF)
2017 IEEE 24th Symposium on Computer Arithmetic (ARITH), 2017, p.82-89
2017
Volltextzugriff (PDF)
Static Analysis, p.184-200
Volltextzugriff (PDF)
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, p.318-333
Volltextzugriff (PDF)
Formal methods in system design, 2018-12, Vol.53 (3), p.363-383
2018
Volltextzugriff (PDF)
Acta cybernetica (Szeged), 2020-01, Vol.24 (3), p.449-465
2020
Volltextzugriff (PDF)
SIGPLAN notices, 2012-05, Vol.47 (5), p.129-138
2012
Volltextzugriff (PDF)
Journal of symbolic computation, 2012-12, Vol.47 (12), p.1479-1511
2012
Volltextzugriff (PDF)
Cyber Physical Systems. Model-Based Design, p.89-107
Volltextzugriff (PDF)
Fuzzy Techniques: Theory and Applications, p.788-792
Volltextzugriff (PDF)
Formal Methods for Industrial Critical Systems, p.31-46
Volltextzugriff (PDF)
NASA Formal Methods, p.108-123
Volltextzugriff (PDF)
2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP), 2012, p.79-85
2012
Volltextzugriff (PDF)
Internet of Things. IoT Infrastructures, 2016, 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
- Cagáňová, Dagmar
- Fazio, Maria
- Zeadally, Sherali
- Giordano, Stefano
- Mandler, Benny
- Marquez-Barja, Johann
- Somov, Andrey
- Badra, Mohamad
- Vieriu, Radu-Laurentiu
- Mitre Campista, Miguel Elias
- Chaouchi, Hakima
2016
Volltextzugriff (PDF)
2009 International Conference on Embedded Software and Systems, 2009, p.83-92
2009
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, 2015, Vol.9527, p.143-160
2015
Volltextzugriff (PDF)
Reachability Problems, 2017, Vol.10506, p.118-131
2017
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Technology
- Science & Technology
- Computer Science, Theory & Methods
- Programming Languages
- Modeling And Simulation
- Data Structures And Algorithms
- Computer Science, Software Engineering
- Engineering
- Mathematics
- Engineering Sciences
- Mathematical Model
- Algorithms
- Automation & Control Systems
- Cyber-Physical Systems
- Engineering, Electrical & Electronic
- Computational Modeling
- Interval Analysis
- Mathematics, Applied
- Numerical Analysis
Kollektion
- Ingenta
- IEEE Xplore
- SpringerLink Series
- EZB Electronic Journals Library
- ACM Digital Library Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Taylor & Francis Journals Complete
- IngentaConnect Journals
- Journals@Ovid Ovid Full Text
- Taylor & Francis Journals
- Taylor & Francis
Zeitschrift / Serie
- Acta Cybernetica
- Electronic Notes In Theoretical Computer Science
- Acm Sigplan Notices
- Automatica
- Formal Methods In System Design
- I.E.E.E. Transactions On Computers/ieee Transactions On Computers
- Ieee Transactions On Computers
- Ifac-Papersonline
- International Journal On Software Tools For Technology Transfer
- Journal Of Software Engineering For Robotics