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...2010 ACM/IEEE 32nd International Conference on Software Engineering, 2010, Vol.1, p.535-544
2010
Volltextzugriff (PDF)
SIGPLAN notices, 2014-06, Vol.49 (6), p.530-541
2014
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-11, Vol.2 (OOPSLA), p.1-26
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1122-1149, Article 261
2023
Volltextzugriff (PDF)
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020, p.1141-1152
2020
Volltextzugriff (PDF)
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.958-968
2018
Volltextzugriff (PDF)
Operating systems review, 2020-08, Vol.54 (1), p.31-39
2020
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2018, p.138-160
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-28
2022
Volltextzugriff (PDF)
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014, p.530-541
2014
Volltextzugriff (PDF)
2011 33rd International Conference on Software Engineering (ICSE), 2011, p.121-130
2011
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.632-647
Volltextzugriff (PDF)
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017, p.467-481
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-29
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-03, Vol.142, p.5-5
2014
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-04, Vol.8 (OOPSLA1), p.670-697, Article 118
2024
Volltextzugriff (PDF)
Operating systems review, 2016-03, Vol.50 (2), p.83-98
2016
Volltextzugriff (PDF)
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software, 2013, p.135-152
2013
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2020, Vol.11990, p.44-67
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2017-09, Vol.1 (ICFP), p.1-28
2017
Volltextzugriff (PDF)
Computer Aided Verification, p.23-41
Volltextzugriff (PDF)
Intelligent Tutoring Systems, p.320-326
Volltextzugriff (PDF)
FM 2008: Formal Methods, p.326-341
Volltextzugriff (PDF)
2013 Formal Methods in Computer-Aided Design, 2013, p.1-8
2013
Volltextzugriff (PDF)
Mathematical structures in computer science, 2013-08, Vol.23 (4), p.915-933
2013
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Software And Its Engineering
- Logic
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Program Synthesis
- Science & Technology - Other Topics
- Software And Its Engineering -- Software Creation And Management
- Theory Of Computation
- Theory Of Computation -- Semantics And Reasoning
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning
- Computer Bugs
- General And Reference
- General And Reference -- Cross-Computing Tools And Techniques
- Sat
- Software And Its Engineering -- Software Organization And Properties
Kollektion
Zeitschrift / Serie
- Sigplan Notices
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Acm Sigplan Notices
- Medicinski Glasnik : Official Publication Of The Medical Association Of Zenica-Doboj Canton, Bosnia And Herzegovina
- Operating Systems Review
- Software Engineering Notes
- Acm Transactions On Information And System Security
- Computer Architecture News
- Electronic Proceedings In Theoretical Computer Science
Neu hinzugefügt