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...Logical methods in computer science, 2023-01, Vol.19, Issue 1
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019, Vol.304 (Proc. ICE 2019), p.77-96
2019
Volltextzugriff (PDF)
Logical methods in computer science, 2018-09, Vol.14, Issue 3
2018
Volltextzugriff (PDF)
Logical methods in computer science, 2017-01, Vol.13, Issue 2
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-08, Vol.222 (Proc. EXPRESS/SOS 2016), p.60-74
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-02, Vol.203 (Proc. PLACES 2015), p.61-72
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-02, Vol.203 (Proc. PLACES 2015), p.29-43
2016
Volltextzugriff (PDF)
Logical methods in computer science, 2017-01, Vol.13, Issue 2
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-06, Vol.211 (Proc. PLACES 2016), p.1-12
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-06, Vol.211 (Proc. PLACES 2016), p.25-36
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-08, Vol.162 (Proc. BEAT 2014), p.35-42
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-02, Vol.242 (Proc. ITRS 2016), p.31-47
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-06, Vol.155 (Proc. PLACES 2014), p.61-71
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-08, Vol.162 (Proc. BEAT 2014), p.9-18
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-08, Vol.64 (Proc. EXPRESS 2011), p.16-30
2011
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-03, Vol.177 (Proc. ITRS 2014), p.53-64
2015
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2024-04, Vol.401
2024
Volltextzugriff (PDF)
International Symposium on Programming, 2005, p.337-351
2005
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-07, Vol.121 (Proc. ITRS 2012), p.58-80
2013
Volltextzugriff (PDF)
Logical methods in computer science, 2012-03, Vol.8, Issue 1
2012
Volltextzugriff (PDF)
Fundamenta informaticae, 2024-07, Vol.192 (1), p.1-75
2024
Volltextzugriff (PDF)
Fundamenta informaticae, 2019-10, Vol.170 (1-3), p.267-305
2019
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Mathematics
- Operational Semantic
- Theoretical Computing
- Logic
- Lambda Calculus
- Computer Science, Software Engineering
- Science & Technology - Other Topics
- Intersection Types
- Reduction Rule
- Programming Languages
- Sciences And Techniques Of General Use
- Session Types
- Ubiquitous Computing
Kollektion
- IngentaConnect Journals
- Springer Book Series
- EZB Free E-Journals
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- Cambridge Journals Online (DEFF)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Nature - Complete Springer Journals
- IEEE Electronic Library (IEL)
- Project Euclid Complete
- Duke University Press journals
- Wiley Online Library - AutoHoldings Journals
- EBSCOhost Business Source Ultimate
- Oxford University Press Journals Current
- Cambridge University Press online books
- Cambridge Core All Books
- Jstor Complete Legacy
Zeitschrift / Serie
- Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Mathematical Structures In Computer Science
- Logical Methods In Computer Science
- Fundamenta Informaticae
- Information And Computation
- Journal Of Logical And Algebraic Methods In Programming
- Mscs. Mathematical Structures In Computer Science/mathematical Structures In Computer Science
Neu hinzugefügt