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...Logical methods in computer science, 2020-01, Vol.16 (1)
2020
Volltextzugriff (PDF)
Logical methods in computer science, 2018-01, Vol.14, Issue 4
2018
Volltextzugriff (PDF)
Journal of the ACM, 2023-10, Vol.70 (5), p.1-22, Article 29
2023
Volltextzugriff (PDF)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.530-539
2018
Volltextzugriff (PDF)
Advances in Cryptology – EUROCRYPT 2024, p.256-285
Volltextzugriff (PDF)
Logical methods in computer science, 2020
2020
Volltextzugriff (PDF)
Mathematical Foundations of Computer Science 2011, p.170-181
Volltextzugriff (PDF)
Journal of the ACM, 2017-12, Vol.64 (6), p.1-76
2017
Volltextzugriff (PDF)
Journal of Complexity, 2023-08, Vol.77, p.101755, Article 101755
2023
Volltextzugriff (PDF)
Theoretical computer science, 2018-07, Vol.735, p.132-146
2018
Volltextzugriff (PDF)
Information and computation, 2017-12, Vol.257, p.34-57
2017
Volltextzugriff (PDF)
Journal of the ACM, 2019-06, Vol.66 (3), p.1-24, Article 15
2019
Volltextzugriff (PDF)
Theoretical computer science, 2016-05, Vol.626, p.67-82
2016
Volltextzugriff (PDF)
Journal of Complexity, 2016-10, Vol.36, p.106-140
2016
Volltextzugriff (PDF)
Theory of computing systems, 2019-07, Vol.63 (5), p.1027-1048
2019
Volltextzugriff (PDF)
Computational Methods in Systems Biology, p.108-127
Volltextzugriff (PDF)
Static Analysis, p.162-180
Volltextzugriff (PDF)
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.798-806
2016
Volltextzugriff (PDF)
Reachability Problems, p.20-31
Volltextzugriff (PDF)
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, p.1-9
2016
Volltextzugriff (PDF)
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, 2021, p.1-12
2021
Volltextzugriff (PDF)
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, 2012, p.115-121
2012
Volltextzugriff (PDF)
Mathematical Aspects of Computer and Information Sciences, p.469-473
Volltextzugriff (PDF)
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation, 2022, p.381-389
2022
Volltextzugriff (PDF)
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation, 2022, p.129-138
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Mathematics
- Physical Sciences
- Mathematics, Applied
- Logic
- Reachability
- Science & Technology - Other Topics
- Computational Complexity
- Computer Science, Information Systems
- Computer Science, Software Engineering
- Ordinary Differential Equations
- Polynomials
- Analog Computation
- Commuting Matrices
- Complexity
- Computer Science, Hardware & Architecture
- Decidability
Kollektion
- Connected Ingenta
- ACM Digital Library (Association for Computing Machinery)
- EZB Electronic Journals Library
- HEAL-Link subscriptions: Springer Book Series
- Access via ScienceDirect (Elsevier)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Access via Business Source (EBSCOhost)
- eBooks on EBSCOhost
- IEEE Xplore Digital Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- Springer journals