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...ACM computing surveys, 2020-07, Vol.52 (4), p.1-38
2020
Volltextzugriff (PDF)
Distributed computing, 2016-08, Vol.29 (4), p.279-315
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-08, Vol.255 (Proc. EXPRESS/SOS 2017), p.18-34
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.61-89, Article 3
2024
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-03, Vol.244 (Proc. MARS 2017), p.14-52
2017
Volltextzugriff (PDF)
Formal aspects of computing, 2012-07, Vol.24 (4-6), p.459-476
2012
Volltextzugriff (PDF)
Journal of automated reasoning, 2016-03, Vol.56 (3), p.309-341
2016
Volltextzugriff (PDF)
Journal of Logical and Algebraic Methods in Programming, 2019-08, Vol.106, p.198-199
2019
Volltextzugriff (PDF)
Acta informatica, 2015-04, Vol.52 (2-3), p.175-205
2015
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2016-06, Vol.85 (4), p.447-448
2016
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2022, Vol.355, p.13-26
2022
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2016-08, Vol.85 (5), p.952-971
2016
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2020-12, Vol.117, p.100590, Article 100590
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2020, Vol.316, p.72-120
2020
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2009-02, Vol.55 (1-2), p.35-62
2009
Volltextzugriff (PDF)
NASA Formal Methods, p.322-336
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2016-02, Vol.85 (2), p.269-286
2016
Volltextzugriff (PDF)
Acta informatica, 2020-10, Vol.57 (3-5), p.305-311
2020
Volltextzugriff (PDF)
Acta informatica, 2020-10, Vol.57 (3-5), p.305-311
2020
Volltextzugriff (PDF)
Software and systems modeling, 2011-05, Vol.10 (2), p.161-182
2011
Volltextzugriff (PDF)
Acta informatica, 2020, Vol.57 (3-5), p.305-311
2020
Volltextzugriff (PDF)
Interactive Theorem Proving, 2018, Vol.10895, p.68-87
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2023, Vol.387, p.59-75
2023
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Physical Sciences
- Humans
- Male
- Technology
- Computer Science
- Urology & Nephrology
- Astronomy & Astrophysics
- Computer Science, Theory & Methods
- Middle Aged
- Aged
- Mathematics
- Female
- Science & Technology - Other Topics
- Medicine
- Mathematics, Applied
- Physics
- Stars: Formation
- Adult
Kollektion
- EZB Free E-Journals
- Ingenta
- MEDLINE
- Wiley-Blackwell Journals
- SpringerLink Journals - AutoHoldings
- Journals@Ovid Ovid Full Text
- Ebook Central Perpetual and DDA
- Wiley Online Library Full Collection 2018
- eBooks on EBSCOhost
- Publisher or Other Site
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- JSTOR Complete Journals
- De Gruyter eBooks
- Springer Book Series
- ProQuest Dissertations & Theses A&I
- EBSCOhost Business Source Ultimate
- Oxford Journals
- Nexis Uni
- Cambridge Journals Online (DEFF)
Zeitschrift / Serie
- The Astrophysical Journal
- Astrophysical Journal/the astrophysical Journal
- Music Trades
- Journal Of The Royal Asiatic Society
- Bju International
- Monthly Notices Of The Royal Astronomical Society
- Neurourology And Urodynamics
- Angewandte Chemie
- Urologia Internationalis
- The Astrophysical Journal. Supplement Series
Neu hinzugefügt