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...Mathematical structures in computer science, 2022-03, Vol.31 (10), p.1205-1231
2022
Volltextzugriff (PDF)
Mathematical structures in computer science, 2023-09, Vol.33 (8), p.688-743
2023
Volltextzugriff (PDF)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.56-65
2018
Volltextzugriff (PDF)
Theoretical computer science, 2024-04, Vol.991, p.114421, Article 114421
2024
Volltextzugriff (PDF)
Journal of pure and applied algebra, 2024-09, Vol.228 (9), p.107659, Article 107659
2024
Volltextzugriff (PDF)
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.915-928
2020
Volltextzugriff (PDF)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.255-264
2018
Volltextzugriff (PDF)
Foundations and trends in programming languages, 2016-01, Vol.3 (2-3), p.95-230
- Ancona, Davide
- Bono, Viviana
- Bravetti, Mario
- Campos, Joana
- Castagna, Giuseppe
- Deniélou, Pierre-Malo
- Gay, Simon J.
- Gesbert, Nils
- Giachino, Elena
- Hu, Raymond
- Johnsen, Einar Broch
- Martins, Francisco
- Mascardi, Viviana
- Montesi, Fabrizio
- Neykova, Rumyana
- Bono, Nicholas Ng
- Padovani, Luca
- Vasconcelos, Vasco T.
- Yoshida, Nobuko
2016
Volltextzugriff (PDF)
Mathematical structures in computer science, 2021-04, Vol.31 (4), p.424-468
2021
Volltextzugriff (PDF)
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-13
2022
Volltextzugriff (PDF)
Mathematical structures in computer science, 2021-04, Vol.31 (4), p.363-391
2021
Volltextzugriff (PDF)
Logical methods in computer science, 2021-01, Vol.17, Issue 3
2021
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-27
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.920-954, Article 220
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-08, Vol.6 (ICFP), p.540-569
2022
Volltextzugriff (PDF)
Logical methods in computer science, 2021-01, Vol.17, Issue 4
2021
Volltextzugriff (PDF)
Logical methods in computer science, 2018-01, Vol.14, Issue 4
2018
Volltextzugriff (PDF)
Mathematical structures in computer science, 2021-10, Vol.31 (9), p.1006-1023
2021
Volltextzugriff (PDF)
Journal of automated reasoning, 2019-08, Vol.63 (2), p.211-253
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-08, Vol.8 (ICFP), p.659-692, Article 259
2024
Volltextzugriff (PDF)
Annals of pure and applied logic, 2018-12, Vol.169 (12), p.1270-1294
2018
Volltextzugriff (PDF)
39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, 2024, p.1-9
2024
Volltextzugriff (PDF)
Journal of automated reasoning, 2023-12, Vol.67 (4), p.36, Article 36
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.2340-2369, Article 78
2024
Volltextzugriff (PDF)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.779-788
2018
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Physical Sciences
- Computer Science, Theory & Methods
- Mathematics
- Exact Sciences And Technology
- Social Sciences
- Applied Sciences
- Sciences And Techniques Of General Use
- Probability Theory And Stochastic Processes
- Stereotypes
- Computer Science, Software Engineering
- Engineering
- Probability And Statistics
- Physics
- Computer Science; Control Theory; Systems
- Special Processes
- Statistics & Probability
- Mathematics, Applied
Kollektion
- IngentaConnect
- ACM Digital Library
- Free E-Journal (出版社公開部分のみ）
- Springer Journals
- IngentaConnect Journals
- SpringerLink Series
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- JSTOR
- IEL
- Journals@Ovid Ovid Full Text
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Business Source Ultimate
- Publisher or Other Site
- Taylor & Francis Online
- Taylor & Francis Journals Complete
- Taylor & Francis Journals
- Sociological Abstracts
Zeitschrift / Serie
- Journal Of Applied Probability
- The Annals Of Probability
- Stochastic Processes And Their Applications
- Acm Transactions On Programming Languages And Systems
- Probability Theory And Related Fields
- Physical Review. B, Condensed Matter
- Annals Of Probability
- Statistics & Probability Letters
- Communications In Statistics. Theory And Methods
- International Journal Of Theoretical Physics
Neu hinzugefügt