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...Applicable Formal Methods for Safe Industrial Products, p.237-253
Volltextzugriff (PDF)
Theoretical computer science, 2024-12, Vol.1021, p.114876, Article 114876
2024
Volltextzugriff (PDF)
ACM computing surveys, 2015-11, Vol.48 (2), p.1-41
2015
Volltextzugriff (PDF)
Research Directions: Cyber-Physical Systems, 2023, Vol.1, Article e2
2023
Volltextzugriff (PDF)
Research Directions: Cyber-Physical Systems, 2023, Vol.1, Article e4
2023
Volltextzugriff (PDF)
Theoretical computer science, 2020-01, Vol.802, p.105-140
2020
Volltextzugriff (PDF)
Science of computer programming, 2020-10, Vol.197, p.102510, Article 102510
2020
Volltextzugriff (PDF)
Research Directions: Cyber-Physical Systems, 2023, Vol.1, Article e1
2023
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, p.23-36
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2024-02, Vol.137, p.100940, Article 100940
2024
Volltextzugriff (PDF)
Formal aspects of computing, 2021-12, Vol.33 (6), p.923-924
2021
Volltextzugriff (PDF)
Autonomous robots, 2024-08, Vol.48 (6), p.14, Article 14
2024
Volltextzugriff (PDF)
Formal aspects of computing, 2021-06, Vol.33 (3), p.437-455
2021
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017-02, Vol.19 (1), p.73-96
2017
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017-02, Vol.19 (1), p.73-96
2017
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017-02, Vol.19 (1), p.73
2017
Volltextzugriff (PDF)
Formal aspects of computing, 2023-03, Vol.35 (1), p.1-2, Article 1
2023
Volltextzugriff (PDF)
Information processing letters, 2018-07, Vol.135, p.47-52
2018
Volltextzugriff (PDF)
Formal aspects of computing, 2021-01, Vol.33 (6), p.923-924
2021
Volltextzugriff (PDF)
Formal aspects of computing, 2021, Vol.33 (6), p.923-924
2021
Volltextzugriff (PDF)
Research Directions: Cyber-Physical Systems, 2023, Vol.1, Article e3
2023
Volltextzugriff (PDF)
Formal aspects of computing, 2021-08, Vol.33 (4-5), p.763-802
2021
Volltextzugriff (PDF)
Concurrency, Security, and Puzzles, 2016, Vol.10160, p.39-64
2016
Volltextzugriff (PDF)
Formal aspects of computing, 2008, Vol.20 (1), p.5-19
2008
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Mathematics
- Physical Sciences
- Mathematics, Applied
- Model Check
- Software
- Grand Challenge
- Computer Science, Information Systems
- Life Sciences & Biomedicine
- Computer Systems And Distributed Systems. User Interface
- Theory Of Computation
- Humans
- Math Applications In Computer Science
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- SpringerLink Journals - AutoHoldings
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- MEDLINE
- Journals@Ovid
- IEEE/IET Electronic Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Business Source Ultimate【Trial: -2024/12/31】【Remote access available】
- NUS Single-Journal Subscriptions
- Wiley Online Library Journals Frontfile Complete
- Wiley Online Library Full Collection 2018
- BMJ Publishing
- JSTOR
Zeitschrift / Serie
- Formal Aspects Of Computing
- Electronic Notes In Theoretical Computer Science
- Science Of Computer Programming
- Research Directions. Cyber-Physical Systems
- Research Directions: Cyber-Physical Systems
- International Journal On Software Tools For Technology Transfer
- Journal Of Chemical Ecology
- The Lancet
- Acm Computing Surveys
- American Journal Of Physiology. Lung Cellular And Molecular Physiology
Neu hinzugefügt