Sortiert nach
Annals of pure and applied logic, 2024-12, Vol.175 (10), p.103485, Article 103485
2024
Link zum Volltext
Advances in Cryptology – CRYPTO 2019, p.115-146
Link zum Volltext
IEEE transactions on engineering management, 2020-11, Vol.67 (4), p.1142-1156
2020
- Link zum Volltext
ACM transactions on programming languages and systems, 2023-09, Vol.45 (3), p.1-61, Article 15
2023
Link zum Volltext
Journal of network and computer applications, 2021-05, Vol.182, p.103035, Article 103035
2021
Link zum Volltext
Computer (Long Beach, Calif.), 2017, Vol.50 (9), p.38-49
2017
- Link zum Volltext
Advances in Cryptology – EUROCRYPT 2020, p.769-793
Link zum Volltext
Annals of mathematics, 2017-05, Vol.185 (3), p.991-1015
2017
Link zum Volltext
Mathematics (Basel), 2020-10, Vol.8 (10), p.1782
2020
Link zum Volltext
Digital communications and networks, 2020-11, Vol.6 (4), p.480-485
2020
Link zum Volltext
1, 2023
Link zum Volltext
Open Problems in Network Security, p.112-125
Link zum Volltext
IEEE transactions on dependable and secure computing, 2022-01, Vol.19 (1), p.39-53
2022
- Link zum Volltext
Journal of environmental management, 2023-01, Vol.326, p.116530-116530, Article 116530
2023
Link zum Volltext
SIAM journal on computing, 2022-08, Vol.51 (4), p.1172-1229
2022
Link zum Volltext
Journal of the ACM, 2023-10, Vol.70 (5), p.1-57, Article 31
2023
Link zum Volltext
Theoretical computer science, 2015-04, Vol.576, p.77-84
2015
Link zum Volltext
ACS applied materials & interfaces, 2019-03, Vol.11 (10), p.10292-10300
2019
Link zum Volltext
Industrial crops and products, 2024-10, Vol.218, p.118995, Article 118995
2024
Link zum Volltext
IEEE internet of things journal, 2023-04, Vol.10 (8), p.6718-6732
2023
- Link zum Volltext
Studia Humana (Rzeszów), 2020-10, Vol.9 (3), p.154-164
2020
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Mathematics
- Physical Sciences
- Computer Science, Theory & Methods
- Logical Proofs
- Life Sciences & Biomedicine
- Burden Of Proof
- Exact Sciences And Technology
- Humans
- Social Sciences
- Proof Of Concept Study
- Computer Science, Information Systems
- Applied Sciences
- Engineering
- Proof
- Proof Theory
- Computer Science, Software Engineering
- Mathematical Theorems
Kollektion
- Ingenta
- Free E-Journal (出版社公開部分のみ）
- JSTOR
- Springer Book Series (Lecture Notes)
- Publisher website
- MEDLINE
- Ebook Central Perpetual and DDA
- SpringerLink (Online service)
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- eBooks on EBSCOhost
- IEEE/IET Electronic Library
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EBSCOhost Business Source Ultimate
- ACM Digital Library
- EZB-NALI5-00465 Elsevier Archive NL
- Nexis
- Taylor & Francis
- Taylor & Francis Journals Auto-Holdings Collection
Zeitschrift / Serie
Neu hinzugefügt