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...Computers (Basel), 2021, Vol.10 (6), p.79
2021
Volltextzugriff (PDF)
Formal aspects of computing, 2019-02, Vol.31 (1), p.95-129
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-07, Vol.118 (Proc. UITP 2012), p.15-41
2013
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-10, Vol.167 (Proc. UITP 2014), p.23-34
2014
Volltextzugriff (PDF)
Journal of Formalized Reasoning, 2016-01, Vol.9 (2), p.69-130
2016
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2018-04, Vol.20 (2), p.139-155
2018
Volltextzugriff (PDF)
Science of computer programming, 2017-11, Vol.148, p.1-2
2017
Volltextzugriff (PDF)
Science of computer programming, 2014-11, Vol.93, p.87-88
2014
Volltextzugriff (PDF)
MILCOM IEEE Military Communications Conference, 2023
2023
Volltextzugriff (PDF)
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.319-325
Volltextzugriff (PDF)
Journal of logic and computation, 2016-04, Vol.26 (2), p.641-675
2016
Volltextzugriff (PDF)
MILCOM 2022 - 2022 IEEE Military Communications Conference (MILCOM), 2022, p.861-866
2022
Volltextzugriff (PDF)
The Practice of Enterprise Modeling, p.215-225
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-01, Vol.240, p.98-101
2017
Volltextzugriff (PDF)
Mathematics in computer science, 2016-12, Vol.10 (4), p.429-457
2016
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.36-53
Volltextzugriff (PDF)
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.297-302
Volltextzugriff (PDF)
Machine Learning for Networking, 2021, Vol.12629, p.1-18
2021
Volltextzugriff (PDF)
NASA Formal Methods, p.263-278
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-01, Vol.240, p.102-105
2017
Volltextzugriff (PDF)
Science of computer programming, 2013-03, Vol.78 (3), p.293-309
2013
Volltextzugriff (PDF)
Higher-Order and Symbolic Computation, 2010-06, Vol.23 (2), p.191-226
2010
Volltextzugriff (PDF)
2022 IEEE International Conference on Big Data (Big Data), 2022, p.2595-2600
2022
Volltextzugriff (PDF)
New directions in the teaching of physical sciences (Online), 2017-11 (12)
2017
Volltextzugriff (PDF)
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.262-268
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Automated Reasoning
- Event-B
- Logic
- Formal Verification
- Mathematics
- Science & Technology - Other Topics
- Theorem Proving
- Artificial Intelligence
- Automation
- Physical Sciences
- Proof Strategy
- Separation Logic
- Tactics
- Automata
- Big Data
Kollektion
- IngentaConnect
- Springer Book Series
- EZB Electronic Journals Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE/IET Electronic Library (IEL)
- ACM Digital Library
- Springer Online Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ScienceDirect Journals (5 years ago - present)
- IngentaConnect Journals
- Oxford Journals Current Collection
- ProQuest Dissertations & Theses A&I
- Journals@Ovid Ovid Full Text
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Science Of Computer Programming
- Computers
- Doaj
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Formal Aspects Of Computing
- Higher-Order And Symbolic Computation
- International Journal On Software Tools For Technology Transfer
- Journal Of Formalized Reasoning
- Journal Of Logic And Computation
Neu hinzugefügt