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)
21st International Conference on Software Engineering and Formal Methods, SEFM 2023, Eindhoven, Netherlands, 2023, Vol.14323, p.106-125
2023
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2022-10, Vol.24 (5), p.735-756
2022
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2021, Vol.12719, p.226-243
2021
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2021, Vol.12719, p.197-204
2021
Volltextzugriff (PDF)
Software and systems modeling, 2015-02, Vol.14 (1), p.149-172
2015
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2021, Vol.12719, p.3-21
2021
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2021, Vol.12719, p.60-79
2021
Volltextzugriff (PDF)
Theoretical computer science, 2006-05, Vol.356 (3), p.325-355
2006
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2021, Vol.12719, p.80-99
2021
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2023, Vol.14323, p.47-65
2023
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2023, Vol.14323, p.11-29
2023
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2023, Vol.14323, p.30-46
2023
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2023, Vol.14323, p.226-245
2023
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2021, Vol.12719, p.100-119
2021
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2023, Vol.14323, p.145-164
2023
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2023, Vol.14323, p.246-262
2023
Volltextzugriff (PDF)
Logical methods in computer science, 2021-01, Vol.17, Issue 3
2021
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2023, Vol.14323, p.165-183
2023
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2021, Vol.12719, p.207-225
2021
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2023, Vol.14323, p.361-375
2023
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2023, Vol.14323, p.282-300
2023
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2023, Vol.14323, p.3-8
2023
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2023, Vol.14323, p.340-358
2023
Volltextzugriff (PDF)
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
- Networking And Internet Architecture
- Software Engineering
- Label Transition System
- Logic
- Model Check
- Model Checking
- Science & Technology - Other Topics
- Process Algebra
- Software
- Formal Methods
- Mathematics
- Software Engineering/programming And Operating Systems
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta E-Journals
- HEAL-Link subscriptions: Springer Book Series
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- MEDLINE
- Oxford Journals Online Current
- IngentaConnect Journals
- JSTOR
- Nexis Uni (LexisNexis)
- IEEE Xplore
- BMJ Journals
- Nature Journals Online
- NUS Single-Journal Subscriptions
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Logical Methods In Computer Science
- International Journal On Software Tools For Technology Transfer
- Science Of Computer Programming
- Theoretical Computer Science
- Acm Transactions On Computational Logic
- Acta Informatica
- Bmj Open
- Computer Journal
Neu hinzugefügt