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...International journal on software tools for technology transfer, 2024-04, Vol.26 (2), p.147-168
2024
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2024-02, Vol.137, p.100943, Article 100943
2024
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2024, Vol.14759
2024
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.3-21
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2024, Vol.14759
2024
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.105-122
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2024, Vol.14759, p.387-391
2024
Volltextzugriff (PDF)
NASA Formal Methods, p.279-297
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2024, Vol.14759
2024
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.191-200
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.80-98
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2024, Vol.14759
2024
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.25-42
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2024, Vol.14759
2024
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.123-140
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2024, Vol.14759
2024
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.160-178
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2024, Vol.14759
2024
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.61-79
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2024, Vol.14759
2024
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2024, Vol.14759
2024
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2024, Vol.14759
2024
Volltextzugriff (PDF)
Lecture Notes in Computer Science, 2024, Vol.LNCS-14759, p.289-306
2024
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2024, Vol.14759, p.C1-C1
2024
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Logic Programming
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Model Checking
- B-Method
- Logic
- Science & Technology - Other Topics
- Theoretical Computing
- Event-B
- Logic Program
- Partial Evaluation
- Software Engineering
- Logical, Boolean And Switching Functions
Kollektion
- Ingenta.com
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Electronic Journals Library
- Cambridge Journals Online (DEFF)
- ACM Digital Library
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Collection
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Business Source Ultimate【Trial: -2024/12/31】【Remote access available】
- Journals@Ovid Full Text
- IEEE Xplore
- Wiley Online Library
- Wiley Online Library Full Collection 2018
- De Gruyter journals
- De Gruyter Open Access Books
- Wiley Online Library All Obooks
Zeitschrift / Serie
- Theory And Practice Of Logic Programming
- Formal Aspects Of Computing
- Science Of Computer Programming
- International Journal On Software Tools For Technology Transfer
- Electronic Proceedings In Theoretical Computer Science
- Acm Computing Surveys
- Current Directions In Biomedical Engineering
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Higher-Order And Symbolic Computation
Neu hinzugefügt