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...Software and systems modeling, 2021-04, Vol.20 (2), p.335-361
2021
Volltextzugriff (PDF)
Journal of logic and computation, 2020-01, Vol.30 (1), p.3-25
2020
Volltextzugriff (PDF)
Journal of computer and system sciences, 2014-09, Vol.80 (6), p.1038-1045
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2023-09, Vol.390
2023
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
Multi-Agent Systems, p.177-192
Volltextzugriff (PDF)
Science of computer programming, 2024-01, Vol.232, p.103031, Article 103031
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-29
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2022, Vol.370, p.34-48
2022
Volltextzugriff (PDF)
Logical Foundations of Computer Science, 2017, Vol.10703, p.1-21
2017
Volltextzugriff (PDF)
Logical methods in computer science, 2024-01, Vol.20, Issue 3 (3)
2024
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2022-06, Vol.127, p.100778, Article 100778
2022
Volltextzugriff (PDF)
Principles of Systems Design, p.325-342
Volltextzugriff (PDF)
Models, Languages, and Tools for Concurrent and Distributed Programming, p.28-44
Volltextzugriff (PDF)
From Reactive Systems to Cyber-Physical Systems, p.259-275
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2020-04, Vol.112, p.100529, Article 100529
2020
Volltextzugriff (PDF)
Logical Foundations of Computer Science, 2015, Vol.9537, p.1-13
2015
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, p.207-225
Volltextzugriff (PDF)
Coordination Models and Languages, p.181-199
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2020-02, Vol.111, p.100515, Article 100515
2020
Volltextzugriff (PDF)
Computer Science -- Theory and Applications, 2015, Vol.9139, p.27-52
2015
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2022, Vol.13273, p.1-10
2022
Volltextzugriff (PDF)
Computational Logic in Multi-Agent Systems, p.1-18
Volltextzugriff (PDF)
Algorithmica, 2012-09, Vol.64 (1), p.38-55
2012
Volltextzugriff (PDF)
Algorithmica, 2012, Vol.64 (1), p.38-55
2012
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Life Sciences & Biomedicine
- Humans
- Science & Technology - Other Topics
- Logic
- Modal Logic
- Runtime Verification
- Computational Complexity
- Computer Science, Software Engineering
- Environmental Sciences
- Environmental Sciences & Ecology
- Physical Sciences
- Child
- Covid-19
- Satisfiability
- Cyprus
- Male
Kollektion
- Ingenta
- EZB Electronic Journals Library
- SpringerLink Series
- MEDLINE
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Nexis Uni
- Nature Journals Online
- IngentaConnect Journals
- Journals@Ovid Full Text
- ACM Digital Library
- Oxford journals
- Psychology & Behavioral Sciences Collection
- Wiley-Blackwell Journals
- Oxford Journals 2020 Medicine
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Journal Of Logical And Algebraic Methods In Programming
- Algorithmica
- Essence
- Nature Communications
- The Lancet. Planetary Health
- The Science Of The Total Environment
- The journal Of Logical And Algebraic Methods In Programming/journal Of Logical And Algebraic Methods In Programming
- Air Quality, Atmosphere & Health
- Air Quality, Atmosphere And Health
- Cell Death & Disease
Neu hinzugefügt