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, 2022-01, Vol.18, Issue 3
2022
Volltextzugriff (PDF)
Energies (Basel), 2020-01, Vol.13 (1), p.141
2020
Volltextzugriff (PDF)
Programming Languages and Systems, p.364-389
Volltextzugriff (PDF)
Programming Languages and Systems, p.68-94
Volltextzugriff (PDF)
Programming Languages and Systems, p.503-531
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.711-739, Article 212
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2017-09, Vol.1 (ICFP), p.1-28
2017
Volltextzugriff (PDF)
Journal of functional programming, 2019, Vol.29, Article e17
2019
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, Vol.9632, p.589-615
2016
Volltextzugriff (PDF)
Implementation and Application of Automata, p.285-297
Volltextzugriff (PDF)
Programming Languages and Systems, p.1-14
Volltextzugriff (PDF)
Programming Languages and Systems, p.282-309
Volltextzugriff (PDF)
Journal of computer and system sciences, 2019-09, Vol.104, p.323-341
2019
Volltextzugriff (PDF)
Information and computation, 2022-11, Vol.289, p.104948, Article 104948
2022
Volltextzugriff (PDF)
Programming Languages and Systems, p.15-40
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-29
2020
Volltextzugriff (PDF)
Programming Languages and Systems, p.419-445
Volltextzugriff (PDF)
Trustworthy Global Computing, 2015, Vol.8902, p.144-158
2015
Volltextzugriff (PDF)
Coordination Models and Languages, p.61-79
Volltextzugriff (PDF)
Programming Languages and Systems, p.672-698
Volltextzugriff (PDF)
ACM transactions on computational logic, 2003-01, Vol.4 (1), p.1-32
2003
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Partial Evaluation
- Life Sciences & Biomedicine
- Programming & Scripting Languages: General
- Software
- Humans
- Theory Of Computation
- Female
- Programming Languages
- Theoretical Computing
- Male
- Logic Programming
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics
Kollektion
- IngentaConnect
- HEAL-Link subscriptions: Springer Book Series
- ACM Digital Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- MEDLINE
- Journals@Ovid Full Text
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Springer Journals
- Wiley Online Library
- IEEE Electronic Library Online
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library
- Cambridge Journals Online (DEFF)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EBSCOhost Business Source Ultimate
- publisher website
- Thieme Connect (journals)
Zeitschrift / Serie
- Sigplan Notices
- Higher-Order And Symbolic Computation
- Journal Of Functional Programming
- Electronic Notes In Theoretical Computer Science
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Acm Transactions On Programming Languages And Systems
- Archiv Für Das Eisenhüttenwesen
- Acm Sigplan Notices
- Biological Conservation
Neu hinzugefügt