Sortiert nach
1st Edition 2020, 2020
Volltextzugriff (PDF)
Logical methods in computer science, 2019-01, Vol.15, Issue 1
2019
Volltextzugriff (PDF)
NASA Formal Methods, p.322-336
Volltextzugriff (PDF)
1st Edition 2018, 2018
Volltextzugriff (PDF)
1st Edition 2019, 2019
Volltextzugriff (PDF)
Formal Methods – The Next 30 Years, p.762-772
Volltextzugriff (PDF)
Theoretical computer science, 2005-11, Vol.346 (1), p.96-112
2005
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-06, Vol.117 (Proc. QAPL 2013), p.97-115
2013
Volltextzugriff (PDF)
Quantitative Evaluation of Systems, 2018, Vol.11024, p.306-322
2018
Volltextzugriff (PDF)
Journal of computer security, 2023-10, Vol.31 (5), p.539-580
2023
Volltextzugriff (PDF)
Formal aspects of computing, 2021-08, Vol.33 (4-5), p.459-460
2021
Volltextzugriff (PDF)
Formal Methods – The Next 30 Years, p.670-686
Volltextzugriff (PDF)
Formal methods in system design, 2021-01, Vol.58 (1-2), p.1-4
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-06, Vol.55 (Proc. Refine 2011), p.101-120
2011
Volltextzugriff (PDF)
Programming Languages and Systems, p.3-18
Volltextzugriff (PDF)
Formal aspects of computing, 2021, Vol.33 (4-5), p.459-460
2021
Volltextzugriff (PDF)
Formal aspects of computing, 2021-01, Vol.33 (4-5), p.459-460
2021
Volltextzugriff (PDF)
Formal aspects of computing, 2021-01, Vol.33 (4-5), p.459-460
2021
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-12
2021
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 1996-05, Vol.18 (3), p.325-353
1996
Volltextzugriff (PDF)
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, p.329-343
Volltextzugriff (PDF)
Mathematics of Program Construction, 2019, Vol.11825, p.1-17
2019
Volltextzugriff (PDF)
Theoretical computer science, 2018-10, Vol.744, p.97-112
2018
Volltextzugriff (PDF)
Formal methods in system design, 2022-01, p.1-4
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Software Engineering
- Artificial Intelligence
- Computer Science, Software Engineering
- Computer Programming / Software Development
- Logic
- Science & Technology - Other Topics
- Computer Science, Artificial Intelligence
- Robotics
- Software
- Exact Sciences And Technology
- Mathematics
- Applied Sciences
- Computer Science; Control Theory; Systems
- Quantitative Information Flow
- Engineering
- Logic In Computer Science
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect
- SpringerLink Series
- EZB Electronic Journals Library
- ACM Digital Library
- Elsevier ScienceDirect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink_现刊
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Xplore
- Business Source Ultimate
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- NUS Single-Journal Subscriptions
- Cambridge Journals Online (DEFF)
- Oxford Journals
- ProQuest Dissertations & Theses A&I
- IngentaConnect Journals
- Nexis Uni (LexisNexis)
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Formal Aspects Of Computing
- Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Information Processing Letters
- Acm Transactions On Computational Logic
- Arxiv
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Formal Methods In System Design
- Acm Transactions On Programming Languages And Systems