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...MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021, p.578-591
2021
Volltextzugriff (PDF)
The Journal of systems and software, 2017-12, Vol.134 (December 2017), p.340-354
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-03, Vol.81 (Proc. LSFA 2011), p.16-29
2012
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2018-02, Vol.95, p.148-180, Article 148
2018
Volltextzugriff (PDF)
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.54-79
2022
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, Vol.9331, p.203-219
2015
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, Vol.8208, p.116-122
2013
Volltextzugriff (PDF)
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015-09, p.289-301
2015
Volltextzugriff (PDF)
Computer Security – ESORICS 2016, 2016, Vol.9878 LNCS, 2016, p.538-557
2016
Volltextzugriff (PDF)
Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 2024, p.203-216
2024
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, Vol.8788, p.275
2014
Volltextzugriff (PDF)
Computer Security – ESORICS 2013, 2013, Vol.8134, p.718-735
2013
Volltextzugriff (PDF)
8th International Symposium on Trustworthy Global Computing, TGC 2013, Buenos Aires, Argentina, 2014, Vol.8358, p.199-216
2014
Volltextzugriff (PDF)
Proceedings of the 9th International Symposium on Haskell, 2016, p.13-20
2016
Volltextzugriff (PDF)
Proceedings of the 10th international conference on Functional and Logic Programming, 2010, p.72-86
2010
Volltextzugriff (PDF)
SIGPLAN notices, 2018-07, Vol.51 (12), p.13-20
2018
Volltextzugriff (PDF)
2014 IEEE 27th Computer Security Foundations Symposium, 2014, p.65-79
2014
Volltextzugriff (PDF)
PLAS 2015, 2015, p.28-41
2015
Volltextzugriff (PDF)
SIGPLAN notices, 2015-12, Vol.50 (9), p.289-301
2015
Volltextzugriff (PDF)
SIGPLAN notices, 2012-09, Vol.47 (9), p.201-214
2012
Volltextzugriff (PDF)
SIGPLAN notices, 2018-07, Vol.51 (12), p.146-157
2018
Volltextzugriff (PDF)
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming, 2012, Vol.47 (9), p.201-214
2012
Volltextzugriff (PDF)
Proceedings of the 9th International Symposium on Haskell, 2016, p.146-157
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Haskell
- Covert Channel
- Covert Channels
- Information Flow Control
- Security And Privacy -- Systems Security -- Operating Systems Security
- Computer Science, Information Systems
- Current Label
- Engineering
- Engineering, Electrical & Electronic
- Functional Programming
- Fuzzing
- Information-Flow Control
- Internal Timing
- Language-Based Security
- Library
Kollektion
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Electronic Proceedings In Theoretical Computer Science
- Journal Of Logical And Algebraic Methods In Programming
- Proceedings Of The 20th Acm Sigplan International Conference On Functional Programming
- Proceedings Of The Acm Sigplan International Conference On Functional Programming, Icfp
- The Journal Of Systems And Software
- The journal Of Logical And Algebraic Methods In Programming/journal Of Logical And Algebraic Methods In Programming