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 transactions on programming languages and systems, 2015-04, Vol.37 (2), p.1-31, Article 7
2015
Volltextzugriff (PDF)
Journal of automated reasoning, 2023-03, Vol.67 (1), p.4, Article 4
2023
Volltextzugriff (PDF)
Journal of automated reasoning, 2018-06, Vol.61 (1-4), p.367-422
2018
Volltextzugriff (PDF)
Journal of automated reasoning, 2023-03, Vol.67 (1), p.8, Article 8
2023
Volltextzugriff (PDF)
Formal methods in system design, 2021-10, Vol.58 (1-2), p.322-345
2021
Volltextzugriff (PDF)
Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2017-10, Vol.375 (2104), p.20160331-20160331
2017
Volltextzugriff (PDF)
Journal of bioscience and bioengineering, 2023-06, Vol.135 (6), p.493-499
2023
Volltextzugriff (PDF)
2023 IEEE 30th Symposium on Computer Arithmetic (ARITH), 2023, p.36-43
2023
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2001-09, Vol.23 (5), p.657-683
2001
Volltextzugriff (PDF)
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 2016, p.1-8
2016
Volltextzugriff (PDF)
Journal of automated reasoning, 2012-10, Vol.49 (3), p.453-491
2012
Volltextzugriff (PDF)
Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022, Vol.13466, p.147-163
2022
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.80-94
2006
Volltextzugriff (PDF)
Intelligent Computer Mathematics, 2023, Vol.14101, p.206-221
2023
Volltextzugriff (PDF)
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024, p.14-29
2024
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2010-03, Vol.32 (3), p.1-67
2010
Volltextzugriff (PDF)
Journal of Formalized Reasoning, 2020-12, Vol.13 (1), p.1-16
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-08, Vol.3 (ICFP), p.1-29
2019
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 1996-05, Vol.18 (3), p.300-324
1996
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-08, Vol.5 (ICFP), p.1-29
2021
Volltextzugriff (PDF)
Journal of Formalized Reasoning, 2020-01, Vol.13 (1), p.1-16
2020
Volltextzugriff (PDF)
Election law journal, 2020-09, Vol.19 (3), p.432-450
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-08, Vol.5 (ICFP), p.1-30
2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Humans
- Male
- Female
- Computer Science
- Technology
- Middle Aged
- Urology & Nephrology
- Adult
- Computer Science, Software Engineering
- Aged
- Computer Science, Theory & Methods
- Glomerular Filtration Rate
- Risk Factors
- Animals
- Biological And Medical Sciences
- Medical Sciences
- Disease Progression
- Physical Sciences
Kollektion
- Free E-Journal (出版社公開部分のみ）
- MEDLINE
- Journals@OVID
- IngentaConnect
- Publisher or Other Site
- ACM Digital Library
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- JSTOR
- Wiley Online Library Journals
- De Gruyter eBooks
- Wiley Online Library Full Collection 2018
- Springer Book Series (Lecture Notes)
- Springer journals
- Oxford Journals
- Business Source Ultimate
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Oxford Journals 2020 Medicine
Zeitschrift / Serie
- Sigplan Notices
- American Journal Of Kidney Diseases
- Journal Of The American Society Of Nephrology
- Clinical Journal Of The American Society Of Nephrology
- Kidney International
- Journal Of Functional Programming
- Acm Transactions On Programming Languages And Systems
- Kidney International Reports
- Science
- Jama : The Journal Of The American Medical Association
Neu hinzugefügt