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...Space Weather, 2023-04, Vol.21 (4), p.n/a
2023
Volltextzugriff (PDF)
Space Weather, 2021-12, Vol.19 (12), p.n/a
2021
Volltextzugriff (PDF)
Mathematical structures in computer science, 2021-04, Vol.31 (4), p.424-468
2021
Volltextzugriff (PDF)
Journal of functional programming, 2007-07, Vol.17 (4-5), p.613-673
2007
Volltextzugriff (PDF)
Journal of functional programming, 2022-01, Vol.32, Article e8
2022
Volltextzugriff (PDF)
Logical methods in computer science, 2020-01, Vol.16, Issue 1
2020
Volltextzugriff (PDF)
Journal of functional programming, 2021-01, Vol.31, Article e21
2021
Volltextzugriff (PDF)
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.92-103
2015
Volltextzugriff (PDF)
Journal of functional programming, 2016-01, Vol.26, Article e18
2016
Volltextzugriff (PDF)
Journal of spacecraft and rockets, 2006-07, Vol.43 (4), p.883-892
2006
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2010-09, Vol.34 (Proc. LFMTP 2010), p.69-83
2010
Volltextzugriff (PDF)
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.915-928
2020
Volltextzugriff (PDF)
Automated Software Engineering: Proceedings of the 19th IEEE international conference on Automated software engineering; 20-24 Sept. 2004, 2004, p.164-173
2004
Volltextzugriff (PDF)
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.223-232
2013
Volltextzugriff (PDF)
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014, p.1-9
2014
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-31
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1758-1786, Article 284
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-08, Vol.4 (ICFP), p.1-29
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-31
2019
Volltextzugriff (PDF)
European journal of epidemiology, 2000-03, Vol.16 (3), p.209-216
2000
Volltextzugriff (PDF)
Certified Programs and Proofs, 2013, p.1-16
2013
Volltextzugriff (PDF)
LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.565-574
2016
Volltextzugriff (PDF)
Logical Foundations of Computer Science, 2015, Vol.9537, p.219-235
2015
Volltextzugriff (PDF)
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015, p.140-151
2015
Volltextzugriff (PDF)
SIGPLAN notices, 2010-09, Vol.45 (9), p.169-180
2010
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
- MEDLINE
- Ingenta
- Free E-Journal (出版社公開部分のみ）
- Journals@Ovid Full Text
- Elsevier ScienceDirect Journals Complete
- Publisher website
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLink_现刊
- IngentaConnect Journals
- Oxford Journals
- Wiley-Blackwell Journals
- Oxford Journals 2020 Medicine
- Wiley Online Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Nature
- ACM Digital Library Complete
- SAGE Publications
- Ebook Central Perpetual and DDA
- Taylor & Francis Journals Complete
- eBooks on EBSCOhost
Zeitschrift / Serie
- Digestive And Liver Disease
- American Journal Of Hypertension
- Pediatrics
- Astronomy And Astrophysics
- Minerva Pediatrica
- Journal Of Hepatology
- Journal Of Human Hypertension
- Nuclear Instruments & Methods In Physics Research. Section A, Accelerators, Spectrometers, Detectors And Associated Equipment
- Nutrition, Metabolism, And Cardiovascular Diseases
- High Blood Pressure & Cardiovascular Prevention
Neu hinzugefügt