Sortiert nach
1st Edition 2022, 2022
Link zum Volltext
Logical methods in computer science, 2023-12, Vol.19, Issue 4
2023
Link zum Volltext
Logical methods in computer science, 2015-06, Vol.11, Issue 2
2015
Link zum Volltext
Logical methods in computer science, 2022-01, Vol.18, Issue 1
2022
Link zum Volltext
TheoretiCS, 2023-01, Vol.2
2023
Link zum Volltext
Logical methods in computer science, 2021-01, Vol.17 (1), p.1-18
2021
Link zum Volltext
Formal methods in system design, 2004-05, Vol.24 (3), p.281-320
2004
Link zum Volltext
Electronic proceedings in theoretical computer science, 2018, Vol.277 (Proc. GandALF 2018), p.250-264
2018
Link zum Volltext
Logical methods in computer science, 2014-12, Vol.10, Issue 4 (4)
2014
Link zum Volltext
Electronic proceedings in theoretical computer science, 2016-09, Vol.226 (Proc. GandALF 2016), p.61-75
2016
Link zum Volltext
Automated Technology for Verification and Analysis, p.3-22
Link zum Volltext
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-2
2019
Link zum Volltext
International journal on software tools for technology transfer, 2006-06, Vol.8 (3), p.204-215
2006
Link zum Volltext
Electronic proceedings in theoretical computer science, 2015-09, Vol.193 (Proc. GandALF 2015), p.1-15
2015
Link zum Volltext
Information processing letters, 2002-10, Vol.84 (2), p.75-85
2002
Link zum Volltext
Electronic proceedings in theoretical computer science, 2014-04, Vol.146 (Proc. SR 2014), p.49-55
2014
Link zum Volltext
Theoretical computer science, 2003-05, Vol.300 (1), p.411-475
2003
Link zum Volltext
Logical methods in computer science, 2010-01, Vol.6, Issue 1
2010
Link zum Volltext
Information and computation, 2017-06, Vol.254, p.238-258
2017
Link zum Volltext
Logical methods in computer science, 2008-06, Vol.4, Issue 2 (2:9)
2008
Link zum Volltext
Acta informatica, 2018-03, Vol.55 (2), p.91-127
2018
Link zum Volltext
Information and computation, 2022-11, Vol.289 (Part B), p.104856, Article 104856
2022
Link zum Volltext
Information and computation, 2022-11, Vol.289, p.104861, Article 104861
2022
Link zum Volltext
Information and computation, 2020-06, Vol.272, p.104497, Article 104497
2020
Link zum Volltext
Theory of computing systems, 2020-04, Vol.64 (3), p.467-507
2020
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Theoretical Computing
- Computer Science, Software Engineering
- Logic In Computer Science
- Logical, Boolean And Switching Functions
- Logic
- Software
- Temporal Logic
- Mathematics
- Software Engineering
- Physical Sciences
- Science & Technology - Other Topics
- Winning Strategy
- Computer Science And Game Theory
Kollektion
- Ingenta
- SpringerLink Series
- EZB Free E-Journals
- Elsevier ScienceDirect Journals Complete
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- MEDLINE
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Xplore Digital Library
- Journals@OVID
- ACM Digital Library
- EBSCOhost Business Source Ultimate
- Standalone journals
- Taylor & Francis:Master (3349 titles)
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis Current Content Access
- Wiley Online Library
Zeitschrift / Serie
- Information And Computation
- Logical Methods In Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Information Processing Letters
- Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Formal Aspects Of Computing
- Formal Methods In System Design
- International Journal On Software Tools For Technology Transfer