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...
1st Edition 2022, 2022
Volltextzugriff (PDF)
Logical methods in computer science, 2024-08, Vol.20, Issue 3
2024
Volltextzugriff (PDF)
Logical methods in computer science, 2023-12, Vol.19, Issue 4, p.6420-6425
2023
Volltextzugriff (PDF)
Logical methods in computer science, 2015-06, Vol.11, Issue 2
2015
Volltextzugriff (PDF)
Logical methods in computer science, 2022-01, Vol.18, Issue 1
2022
Volltextzugriff (PDF)
TheoretiCS, 2023-01, Vol.2
2023
Volltextzugriff (PDF)
Logical methods in computer science, 2021-01, Vol.17 (1), p.1-18
2021
Volltextzugriff (PDF)
Formal methods in system design, 2004-05, Vol.24 (3), p.281-320
2004
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2018, Vol.277 (Proc. GandALF 2018), p.250-264
2018
Volltextzugriff (PDF)
Logical methods in computer science, 2014-12, Vol.10, Issue 4 (4)
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-09, Vol.226 (Proc. GandALF 2016), p.61-75
2016
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.3-22
Volltextzugriff (PDF)
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-2
2019
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2006-06, Vol.8 (3), p.204-215
2006
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-09, Vol.193 (Proc. GandALF 2015), p.1-15
2015
Volltextzugriff (PDF)
Information processing letters, 2002-10, Vol.84 (2), p.75-85
2002
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-04, Vol.146 (Proc. SR 2014), p.49-55
2014
Volltextzugriff (PDF)
Theoretical computer science, 2003-05, Vol.300 (1), p.411-475
2003
Volltextzugriff (PDF)
Logical methods in computer science, 2010-01, Vol.6, Issue 1
2010
Volltextzugriff (PDF)
Information and computation, 2017-06, Vol.254, p.238-258
2017
Volltextzugriff (PDF)
Logical methods in computer science, 2024-08, Vol.20, Issue 3
2024
Volltextzugriff (PDF)
ACM transactions on computational logic, 2023-07, Vol.24 (3), p.1-38, Article 21
2023
Volltextzugriff (PDF)
Logical methods in computer science, 2008-06, Vol.4, Issue 2 (2:9)
2008
Volltextzugriff (PDF)
Acta informatica, 2018-03, Vol.55 (2), p.91-127
2018
Volltextzugriff (PDF)
Information and computation, 2022-11, Vol.289 (Part B), p.104856, Article 104856
2022
Volltextzugriff (PDF)
Aktive Filter
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
- Logic
- Mathematics
- Physical Sciences
- Computer Science And Game Theory
- Logical, Boolean And Switching Functions
- Science & Technology - Other Topics
- Life Sciences & Biomedicine
- Timed Automata
- Mathematics, Applied
- Software
Kollektion
- IngentaConnect
- EZB Electronic Journals Library
- HEAL-Link subscriptions: Springer Book Series
- Elsevier ScienceDirect Journals Complete
- SpringerLink
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- MEDLINE
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Xplore
- IngentaConnect Journals
- Journals@Ovid Full Text
- ACM Digital Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Access via Business Source (EBSCOhost)
- Access via Taylor & Francis
- NUS Single-Journal Subscriptions
- Access via Taylor & Francis
- Taylor & Francis
- Wiley Online Library
Zeitschrift / Serie
- Logical Methods In Computer Science
- Information And Computation
- 1024
- Bulletin 1024
- Electronic Proceedings In Theoretical Computer Science
- Information Processing Letters
- Theoretical Computer Science
- Brics Report Series
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
Neu hinzugefügt