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...Acta informatica, 2020-10, Vol.57 (3-5), p.551-590
2020
Volltextzugriff (PDF)
Logical methods in computer science, 2021-01, Vol.17, Issue 1
2021
Volltextzugriff (PDF)
Logical methods in computer science, 2023-01, Vol.19, Issue 1
2023
Volltextzugriff (PDF)
Logical methods in computer science, 2020-01, Vol.16, Issue 3
2020
Volltextzugriff (PDF)
Logical methods in computer science, 2022-01, Vol.18, Issue 1
2022
Volltextzugriff (PDF)
Logical methods in computer science, 2021-01, Vol.17, Issue 3
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-08, Vol.255 (Proc. EXPRESS/SOS 2017), p.1-17
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2020, Vol.322, p.3-11
2020
Volltextzugriff (PDF)
Theoretical computer science, 2016-01, Vol.612, p.29-44
2016
Volltextzugriff (PDF)
Formal Methods for Industrial Critical Systems, p.8-11
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-08, Vol.189 (Proc. ICE 2015), p.37-52
2015
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-08, Vol.222 (Proc. EXPRESS/SOS 2016), p.45-59
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2024, Vol.399, p.21-100
2024
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2022-03, Vol.355
2022
Volltextzugriff (PDF)
Information and computation, 2019-10, Vol.268, p.104435, Article 104435
2019
Volltextzugriff (PDF)
Logical methods in computer science, 2009-12, Vol.5, Issue 4
2009
Volltextzugriff (PDF)
Formal aspects of computing, 2023-03, Vol.35 (1), p.1-38, Article 2
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2023, Vol.387, p.114-131
2023
Volltextzugriff (PDF)
SOFSEM 2020: Theory and Practice of Computer Science, p.285-297
Volltextzugriff (PDF)
Pursuit of the Universal, p.312-322
Volltextzugriff (PDF)
ACM transactions on computational logic, 2022-10, Vol.23 (4), p.1-56, Article 22
2022
Volltextzugriff (PDF)
Formal Aspects of Component Software, p.161-182
Volltextzugriff (PDF)
Theoretical computer science, 2020-10, Vol.837, p.223-246
2020
Volltextzugriff (PDF)
Formal Methods for Industrial Critical Systems, p.98-114
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2010-11, Vol.41 (Proc. EXPRESS 2010), p.1-15
2010
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Process Algebra
- Logic
- Mathematics
- Parallel Composition
- Science & Technology - Other Topics
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Theoretical Computing
- Algorithmics. Computability. Computer Arithmetics
- Physical Sciences
- Computer Science, Software Engineering
- Concurrency
- Mathematics, Applied
- Algebra
- Bisimilarity
Kollektion
- IngentaConnect
- EZB Free E-Journals
- SpringerLink Series
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library Complete
- Springer Online Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- Cambridge Journals Online (DEFF)
- eBooks on EBSCOhost
- IEEE Xplore
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Logical Methods In Computer Science
- Theoretical Computer Science
- Information And Computation
- Brics Report Series
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Acm Transactions On Computational Logic
- Electronic Notes In Theoretical Computer Science
- Formal Aspects Of Computing
- Mathematical Structures In Computer Science