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...2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
Environmental modelling & software : with environment data news, 2013-01, Vol.39, p.201-213
2013
Volltextzugriff (PDF)
Applied sciences, 2024-01, Vol.14 (3), p.977
2024
Volltextzugriff (PDF)
Complexity (New York, N.Y.), 2021-01, Vol.2021 (1)
2021
Volltextzugriff (PDF)
Journal of physics. Conference series, 2018-06, Vol.1019 (1), p.12081
2018
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
2014., 2013
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
Computational Science and Its Applications – ICCSA 2021, p.231-246
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
Journal of physics. Conference series, 2019-12, Vol.1399 (4), p.44047
2019
Volltextzugriff (PDF)
Optical and quantum electronics, 2022-10, Vol.54 (10), Article 611
2022
Volltextzugriff (PDF)
Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023, p.649-663
2023
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
ACM transactions on mathematical software, 2013-04, Vol.39 (3), p.1-43
2013
Volltextzugriff (PDF)
Proceedings of the 3rd International Workshop on Quantum Software Engineering, 2022, p.16-23
2022
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
AbsIntIO: Towards Showing the Absence of Integer Overflows in Binaries using Abstract Interpretation
2023
Volltextzugriff (PDF)
Naval engineers journal, 2016-06, Vol.128 (2), p.72-80
2016
Volltextzugriff (PDF)
Applied sciences, 2020-01, Vol.10 (1), p.12
2020
Volltextzugriff (PDF)
ACM transactions on modeling and computer simulation, 2023-05, Vol.33 (3), p.1-19, Article 8
2023
Volltextzugriff (PDF)
FMTea 2019: Formal Methods Teaching, 2019, Vol.11758, p.69-80
2019
Volltextzugriff (PDF)
Software Technologies: Applications and Foundations, p.596-603
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Chemistry
- Physics
- Engineering
- Physics, Applied
- Materials Science
- Life Sciences & Biomedicine
- Materials Science, Multidisciplinary
- Chemistry, Multidisciplinary
- Mathematics
- Science & Technology - Other Topics
- Computer Science
- Engineering, Electrical & Electronic
- Algorithms
- Geology
- Environmental Sciences & Ecology
- Environmental Sciences
- Chemistry, Analytical
Kollektion
- IngentaConnect Journals
- EZB Free E-Journals
- IngentaConnect Journals
- SpringerLink_现刊
- Wiley-Blackwell Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- MEDLINE
- Wiley Online Library Full Collection 2018
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Elsevier ScienceDirect Journals Complete
- Taylor & Francis
- Publisher website
- Taylor & Francis:Master (3349 titles)
- Taylor & Francis Journals Auto-Holdings Collection
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- AIP Journals Complete
- IEEE Electronic Library (IEL)
- EBSCOhost Business Source Ultimate
- Jstor Complete Legacy
- SAGE Journals
Zeitschrift / Serie
Neu hinzugefügt