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)
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.742-755
2020
Volltextzugriff (PDF)
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.1771-1775
2023
Volltextzugriff (PDF)
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.79-91
2021
Volltextzugriff (PDF)
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, p.519-529
2017
Volltextzugriff (PDF)
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024, p.1-15
2024
Volltextzugriff (PDF)
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.273-286
2020
Volltextzugriff (PDF)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.659-668
2018
Volltextzugriff (PDF)
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-14
2022
Volltextzugriff (PDF)
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.624-636
2023
Volltextzugriff (PDF)
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014, p.259-269
2014
Volltextzugriff (PDF)
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.423-435
2021
Volltextzugriff (PDF)
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-13
2022
Volltextzugriff (PDF)
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.1646-1657
2021
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.955-966
2021
Volltextzugriff (PDF)
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.649-660
2021
Volltextzugriff (PDF)
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.1542-1554
2023
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-14
2021
Volltextzugriff (PDF)
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.673-685
2023
Volltextzugriff (PDF)
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024, p.1-15
2024
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-15
2021
Volltextzugriff (PDF)
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, p.324-334
2017
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)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Semantics
- Science & Technology
- Cognition & Reasoning
- Technology
- Computer Science
- Social Sciences
- Psychology
- Humans
- Reasoning
- Language
- Psychology, Experimental
- Computer Science, Software Engineering
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Memory
- Female
- Male
- Linguistics
- Theory Of Computation -- Semantics And Reasoning
- Computer Science, Theory & Methods
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics
Kollektion
- ACM Digital Library
- IngentaConnect
- EZB Electronic Journals Library
- MEDLINE
- IEEE Electronic Library (IEL)
- Ovid SocietyJournals and Single Titles
- Springer journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- BSC - Ebsco (Business Source Ultimate)
- Elsevier ScienceDirect Journals Complete
- JSTOR
- ERIC
- PsycARTICLES (APA)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- Psychology & Behavioral Sciences Collection
- Applied Social Sciences Index & Abstracts (ASSIA)
- Wiley Blackwell Single Titles
- Ebook Central Perpetual and DDA
Zeitschrift / Serie
- Memory & Cognition
- Journal Of Experimental Psychology. Learning, Memory, And Cognition
- Plos One
- Acm Transactions On Programming Languages And Systems
- Synthese
- Journal Of Cognitive Neuroscience
- Bilingualism
- Psychonomic Bulletin & Review
- Frontiers In Human Neuroscience
- Journal Of Experimental Psychology. Human Perception And Performance
Neu hinzugefügt