Sortiert nach
Microprocessors and microsystems, 2019-09, Vol.69, p.54-67
2019
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2022-02, Vol.24 (1), p.29-31
2022
Volltextzugriff (PDF)
Acta informatica, 2016-06, Vol.53 (4), p.357-385
2016
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2022-02, Vol.24 (1), p.1-28
2022
Volltextzugriff (PDF)
1, 2019
Volltextzugriff (PDF)
1, 2019
Volltextzugriff (PDF)
Applied soft computing, 2020-10, Vol.95, p.106466, Article 106466
2020
Volltextzugriff (PDF)
1st ed. 2019., 2019
Volltextzugriff (PDF)
Journal of automated reasoning, 2021-10, Vol.65 (7), p.971-999
2021
Volltextzugriff (PDF)
CONCUR 2011 – Concurrency Theory, 2011, p.187-202
2011
Volltextzugriff (PDF)
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-32
2018
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2020-10, Vol.22 (5), p.523-539
2020
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.201-218
Volltextzugriff (PDF)
Formal methods in system design, 2020-11, Vol.55 (3), p.137-170
2020
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2012-04, Vol.14 (2), p.167-191
2012
Volltextzugriff (PDF)
Computer Aided Verification, 2010, p.132-147
2010
Volltextzugriff (PDF)
Programming Languages and Systems, p.357-366
Volltextzugriff (PDF)
Formal methods in system design, 2017-12, Vol.51 (3), p.575-607
2017
Volltextzugriff (PDF)
Acta informatica, 2019-04, Vol.56 (3), p.205-228
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-30, Article 218
2020
Volltextzugriff (PDF)
Swarm and evolutionary computation, 2022-03, Vol.69, p.100986, Article 100986
2022
Volltextzugriff (PDF)
Computer Aided Verification, 2006, p.517-531
2006
Volltextzugriff (PDF)
Search-Based Software Engineering, p.107-122
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Technology
- Science & Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Software Engineering
- Engineering
- Mathematics
- Engineering, Electrical & Electronic
- Algorithms & Data Structures
- Network Hardware
- Mathematics, Applied
- Physical Sciences
- Applied Sciences
- Computer Science, Artificial Intelligence
- Exact Sciences And Technology
- Software Engineering/programming And Operating Systems
- Computer Science; Control Theory; Systems
- Software
- Tree Automaton
Kollektion
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- IngentaConnect
- Springer Book Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink E-Journals
- IEEE Xplore
- ACM Digital Library (Association for Computing Machinery)
- EZB-FREE-00999 freely available EZB journals
- Elsevier ScienceDirect Journals Complete
- LWW Total
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Emerald Management 200
- Taylor & Francis Online
- Taylor & Francis Journals
- Taylor & Francis
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Formal Methods In System Design
- International Journal On Software Tools For Technology Transfer
- Acta Informatica
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Applied Soft Computing
- Arxiv
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs