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...Journal of automated reasoning, 2017-04, Vol.58 (4), p.483-508
2017
Volltextzugriff (PDF)
Frontiers of Combining Systems, p.240-256
Volltextzugriff (PDF)
Journal of the ACM, 2018-03, Vol.65 (2), p.1-28
2018
Volltextzugriff (PDF)
Journal of automated reasoning, 2020-06, Vol.64 (5), p.879-910
2020
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.25-53
Volltextzugriff (PDF)
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019, p.27-37
2019
Volltextzugriff (PDF)
Interactive Theorem Proving, 2018, Vol.10895, p.196-214
2018
Volltextzugriff (PDF)
Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015, p.75-83
2015
Volltextzugriff (PDF)
Programming Languages and Systems, p.80-104
Volltextzugriff (PDF)
Proceedings of the ... AAAI Conference on Artificial Intelligence, 2023, Vol.37 (5), p.5591-5599
2023
Volltextzugriff (PDF)
Frontiers in microbiology, 2020-10, Vol.11, p.550674-550674
2020
Volltextzugriff (PDF)
PloS one, 2013-04, Vol.8 (4), p.e60776-e60776
2013
Volltextzugriff (PDF)
Nature communications, 2023-09, Vol.14 (1), p.5533-5533, Article 5533
2023
Volltextzugriff (PDF)
Frontiers in immunology, 2016-07, Vol.7, p.273-273
2016
Volltextzugriff (PDF)
Kidney international, 2017-10, Vol.92 (4), p.824-835
2017
Volltextzugriff (PDF)
PloS one, 2012-06, Vol.7 (6), p.e40064-e40064
2012
Volltextzugriff (PDF)
Scientific reports, 2016-12, Vol.6 (1), p.39117-39117, Article 39117
2016
Volltextzugriff (PDF)
European journal of drug metabolism and pharmacokinetics, 2018-10, Vol.43 (5), p.599-606
2018
Volltextzugriff (PDF)
Journal of molecular biology, 2008-02, Vol.376 (3), p.721-735
2008
Volltextzugriff (PDF)
The Journal of immunology (1950), 2001-03, Vol.166 (6), p.3655-3658
2001
Volltextzugriff (PDF)
Flexible Viruses, 2011, Vol.11, p.347-373
2011
Volltextzugriff (PDF)
The Journal of immunology (1950), 2001-03, Vol.166 (6), p.3655
2001
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
- Computer Science, Software Engineering
- Computer Science, Artificial Intelligence
- Multidisciplinary Sciences
- Science & Technology - Other Topics
- Isabelle
- Theorem Proving
- Algorithms
- Animals
- Artificial Intelligence
- Bacteria
- Biochemistry & Molecular Biology
- Biology
- Computer Science, Hardware & Architecture
- Computer Science, Information Systems
- Humans
Kollektion
- Free E-Journal (出版社公開部分のみ）
- Ingenta
- MEDLINE
- SpringerLink Series
- ACM Digital Library
- IngentaConnect Journals
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Single Title from Nature Journals
- Publisher website
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Business Source Ultimate
- Nexis Uni
- Elsevier ScienceDirect Journals Collection
- Wiley Online Library All Obooks
Zeitschrift / Serie