Sortiert nach
Atherosclerosis, 2022-08, Vol.355, p.111
2022
Volltextzugriff (PDF)
Atherosclerosis, 2022-08, Vol.355, p.110-111
2022
Volltextzugriff (PDF)
Value in health, 2024-07, Vol.27 (7), p.897-906
2024
Volltextzugriff (PDF)
Mobile Information Retrieval, 2017, p.45-63
2017
Volltextzugriff (PDF)
Mobile Information Retrieval, 2017, p.33-44
2017
Volltextzugriff (PDF)
Mobile Information Retrieval, 2017, p.65-83
2017
Volltextzugriff (PDF)
Mobile Information Retrieval, 2017, p.5-14
2017
Volltextzugriff (PDF)
European heart journal supplements, 2022-05, Vol.24 (Supplement_C)
2022
Volltextzugriff (PDF)
European heart journal supplements, 2022-05, Vol.24 (Supplement_C)
2022
Volltextzugriff (PDF)
European heart journal supplements, 2023-05, Vol.25 (Supplement_D), p.D187-D187
2023
Volltextzugriff (PDF)
Types for Proofs and Programs, p.69-84
Volltextzugriff (PDF)
Types for Proofs and Programs, p.100-109
Volltextzugriff (PDF)
Types for Proofs and Programs, p.157-172
Volltextzugriff (PDF)
Types for Proofs and Programs, p.18-32
Volltextzugriff (PDF)
Types for Proofs and Programs, p.51-68
Volltextzugriff (PDF)
Types for Proofs and Programs, p.85-99
Volltextzugriff (PDF)
Types for Proofs and Programs, p.142-156
Volltextzugriff (PDF)
Types for Proofs and Programs, p.188-202
Volltextzugriff (PDF)
Types for Proofs and Programs, p.125-141
Volltextzugriff (PDF)
Types for Proofs and Programs, p.110-124
Volltextzugriff (PDF)
Types for Proofs and Programs, p.173-187
Volltextzugriff (PDF)
Types for Proofs and Programs, 2008, Vol.4941
2008
Volltextzugriff (PDF)
Types for Proofs and Programs, 2008, Vol.4941
2008
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Physical Sciences
- Mathematics
- Information Retrieval
- Desktop Publishing
- User Interface Design & Usability
- Life Sciences & Biomedicine
- Logical Frameworks
- Type Theory
- Engineering
- Artificial Intelligence
- Computation And Language
- Engineering, Electrical & Electronic
- Humans
- Logic In Computer Science
- Analysis
- Computer Science, Artificial Intelligence
Kollektion
- IngentaConnect Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- SpringerLink Series
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- IngentaConnect Journals
- Ovid Journals
- MEDLINE
- Springer Nature - Complete Springer Journals
- Wiley Online Library - AutoHoldings Journals
- Oxford Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Cambridge Journals Online (DEFF)
- Oxford Journals 2020 Medicine
- IEEE Electronic Library (IEL)
- Wiley Online Library Full Collection 2018
- EBSCOhost Business Source Ultimate
Zeitschrift / Serie
Neu hinzugefügt