Sortiert nach
International journal on software tools for technology transfer, 2008-03, Vol.10 (2), p.185-203
2008
Link zum Volltext
Prolog: The Next 50 Years, p.239-247
Link zum Volltext
Current directions in biomedical engineering, 2023-09, Vol.9 (1), p.528-531
2023
Link zum Volltext
Integrated Formal Methods, p.480-500
Link zum Volltext
Current directions in biomedical engineering, 2020-09, Vol.6 (1), p.22-25
2020
Link zum Volltext
Current directions in biomedical engineering, 2021-08, Vol.7 (1), p.140-144
2021
Link zum Volltext
International journal on software tools for technology transfer, 2022-12, Vol.24 (6), p.1043-1077
2022
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-01, Vol.234 (Proc. WLP 2015/'16/WFLP'16), p.73-87
2017
Link zum Volltext
Electronic proceedings in theoretical computer science, 2020-08, Vol.320, p.80-94
2020
Link zum Volltext
Integrated Formal Methods, p.63-81
Link zum Volltext
Electronic proceedings in theoretical computer science, 2023-11, Vol.395, p.69-76
2023
Link zum Volltext
Science of computer programming, 2018-06, Vol.158, p.41-63
2018
Link zum Volltext
Software Engineering and Formal Methods, p.403-417
Link zum Volltext
Electronic proceedings in theoretical computer science, 2014-04, Vol.149 (Proc. F-IDE 2014), p.93-105
2014
Link zum Volltext
International journal on software tools for technology transfer, 2024-04, Vol.26 (2), p.147-168
2024
Link zum Volltext
Science of computer programming, 2018-06, Vol.158, p.81-99
2018
Link zum Volltext
Integrated Formal Methods, p.129-145
Link zum Volltext
Formal Methods for Industrial Critical Systems, p.107-125
Link zum Volltext
FME 2003: Formal Methods, 2003, p.855-874
2003
Link zum Volltext
Electronic proceedings in theoretical computer science, 2014-04, Vol.149 (Proc. F-IDE 2014), p.16-29
2014
Link zum Volltext
Science of computer programming, 2016-12, Vol.131, p.109-125
2016
Link zum Volltext
Integrated Formal Methods, p.237-256
Link zum Volltext
Theory and practice of logic programming, 2014-07, Vol.14 (4-5), p.569-585
2014
Link zum Volltext
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
- Model Checking
- B-Method
- Logic
- Science & Technology - Other Topics
- Partial Evaluation
- Software Engineering
- Software
- Regular Papers
- Event-B
- Logic Program
- Animation
Kollektion
- Ingenta
- Springer Book Series
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- EZB Free E-Journals
- Cambridge Journals Online (DEFF)
- ACM Digital Library Complete
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- IEEE Electronic Library (IEL)
- Wiley Online Library
- IngentaConnect Journals
- 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
- Electronic Proceedings In Theoretical Computer Science
- International Journal On Software Tools For Technology Transfer
- Science Of Computer Programming
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Acm Computing Surveys
- Current Directions In Biomedical Engineering
- Electronic Notes In Theoretical Computer Science
- Higher-Order And Symbolic Computation
Neu hinzugefügt