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...IEEE transactions on knowledge and data engineering, 2023-12, Vol.35 (12), p.1-20
2023
Volltextzugriff (PDF)
IEEE transactions on knowledge and data engineering, 2020-06, Vol.32 (6), p.1179-1198
2020
Volltextzugriff (PDF)
FM 2016: Formal Methods, p.659-676
Volltextzugriff (PDF)
Formal aspects of computing, 2019-04, Vol.31 (2), p.207-230
2019
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.376-400
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-29
2018
Volltextzugriff (PDF)
Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data, 2020, p.543-557
2020
Volltextzugriff (PDF)
Journal of automated reasoning, 2013-10, Vol.51 (3), p.325-356
2013
Volltextzugriff (PDF)
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.1337-1341
2021
Volltextzugriff (PDF)
Programming Languages and Systems, p.3-22
Volltextzugriff (PDF)
Journal of international studies (Sintok, Kedah, Malaysia), 2023-08, Vol.19 (2), p.67-92
2023
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.366-388
2023
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2019, Vol.11388, p.70-91
2019
Volltextzugriff (PDF)
2018 17th RoEduNet Conference: Networking in Education and Research (RoEduNet), 2018, p.1-6
2018
Volltextzugriff (PDF)
2019
Volltextzugriff (PDF)
Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, 2022, p.66-68
2022
Volltextzugriff (PDF)
2024 IEEE 40th International Conference on Data Engineering (ICDE), 2024, p.2026-2039
2024
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2024, p.C1-C1
2024
Volltextzugriff (PDF)
Environmental pollution (1987), 2021-09, Vol.285, p.117260-117260, Article 117260
2021
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.370-374
Volltextzugriff (PDF)
Environmental science and pollution research international, 2017-03, Vol.24 (8), p.7348-7358
2017
Volltextzugriff (PDF)
Ceramics international, 2024-08, Vol.50 (15), p.27064-27079
2024
Volltextzugriff (PDF)
Journal of Computer Science and Cybernetics, 2012-04, Vol.26 (2)
2012
Volltextzugriff (PDF)
International journal of social economics, 2019-02, Vol.46 (2), p.241-251
2019
Volltextzugriff (PDF)
Psychology, health & medicine, 2024-09, Vol.29 (8), p.1448-1465
2024
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Vietnam
- Computer Science, Theory & Methods
- Life Sciences & Biomedicine
- Chemistry
- Computer Science, Information Systems
- Logic
- Physical Sciences
- Computer Science, Artificial Intelligence
- Engineering
- Engineering, Electrical & Electronic
- Agriculture
- Automated Reasoning
- Blockchain
- Chemistry, Physical
- Computer Science, Hardware & Architecture
- Entailment Proving
Kollektion
- Ingenta
- EZB Electronic Journals Library
- IEEE Xplore
- SpringerLink Series
- ACM Digital Library Complete
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Nature - Complete Springer Journals
- Wiley Online Library - AutoHoldings Journals
- Applied Social Sciences Index & Abstracts (ASSIA)
- Jstor Complete Legacy
- Wiley Online Library
- Emerald Management 200
- PAIS Index
- Taylor & Francis Online
- MEDLINE
Zeitschrift / Serie
- Ieee Transactions On Knowledge And Data Engineering
- Journal Of Molecular Structure
- Journal Of Pharmacy & Pharmacognosy Research
- Luminescence
- Cahiers Du Genre
- Ceramics International
- Chemchemtech
- Environmental Pollution
- Environmental Science And Pollution Research
- Environmental Science And Pollution Research International
Neu hinzugefügt