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...1st Edition 2021, 2021
Volltextzugriff (PDF)
Applicable Formal Methods for Safe Industrial Products, p.237-253
Volltextzugriff (PDF)
2024th edition, 2024
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)
Research Directions: Cyber-Physical Systems, 2023, Vol.1, Article e1
2023
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017-02, Vol.19 (1), p.73-96
2017
Volltextzugriff (PDF)
Formal aspects of computing, 2021-12, Vol.33 (6), p.923-924
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, 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)
Concurrency, Security, and Puzzles, 2016, Vol.10160, p.39-64
2016
Volltextzugriff (PDF)
Formal aspects of computing, 2015-11, Vol.27 (5-6), p.751-752
2015
Volltextzugriff (PDF)
Formal aspects of computing, 2015-11, Vol.27 (5-6), p.751
2015
Volltextzugriff (PDF)
Formal aspects of computing, 2021-06, Vol.33 (3), p.299-300
2021
Volltextzugriff (PDF)
Formal aspects of computing, 2021, Vol.33 (3), p.299-300
2021
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Software Engineering
- Computer Science
- Software
- Logics And Meanings Of Programs
- Theory Of Computation
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Congresses
- Software Engineering/programming And Operating Systems
- Logic Design
- Programming Languages
- Programming Languages, Compilers, Interpreters
- Formal Methods
- Computer Programming
- Kongress
- Mathematical Logic And Formal Languages
- Programming Techniques
- Theoretical Computing
- Computer Software Engineering
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta E-Journals
- Springer Book Series (Lecture Notes)
- EZB Electronic Journals Library
- SpringerLink
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- Elsevier ScienceDirect Journals Complete
- IEEE/IET Electronic Library (IEL)
- BSC - Ebsco (Business Source Ultimate)
- IngentaConnect Journals
- Journals@Ovid
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- MEDLINE
- JSTOR
- BMJ_英国医学会期刊
- Wiley Online Library Journals
- Applied Social Sciences Index & Abstracts (ASSIA)
- De Gruyter eBooks
Zeitschrift / Serie
- Formal Aspects Of Computing
- Electronic Notes In Theoretical Computer Science
- International Journal On Software Tools For Technology Transfer
- Research Directions. Cyber-Physical Systems
- Research Directions: Cyber-Physical Systems
- Acm Computing Surveys
- Biological Psychiatry
- Chemoecology
- Acta Informatica
- American Journal Of Physiology. Lung Cellular And Molecular Physiology
Neu hinzugefügt