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...Journal of functional programming, 2008-09, Vol.18 (5-6), p.865-911
2008
Volltextzugriff (PDF)
IEEE software, 2000-09, Vol.17 (5), p.33-41
2000
Volltextzugriff (PDF)
Journal of automated reasoning, 2018-03, Vol.60 (3), p.257-277
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-02, Vol.176 (Proc. LINEARITY 2014), p.34-48
2015
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.1073-1095, Article 150
2023
Volltextzugriff (PDF)
Journal of functional programming, 2006-07, Vol.16 (4-5), p.485-545
2006
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2000-07, Vol.22 (4), p.701-771
2000
Volltextzugriff (PDF)
Principles of Security and Trust, 2015, p.53-72
2015
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.866-892, Article 30
2023
Volltextzugriff (PDF)
Proceedings of the 18th ACM conference on Computer and communications security, 2011, p.29-40
2011
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2000-11, Vol.22 (6), p.1037-1080
2000
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2006, Vol.28 (1), p.175-205
2006
Volltextzugriff (PDF)
Journal of symbolic computation, 2011-02, Vol.46 (2), p.95-118
2011
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 1999-05, Vol.21 (3), p.527-568
1999
Volltextzugriff (PDF)
Proceedings of the 17th ACM conference on Computer and communications security, 2010, p.201-211
2010
Volltextzugriff (PDF)
Programming Languages and Systems, 2016, Vol.9632, p.337-363
2016
Volltextzugriff (PDF)
Certified Programs and Proofs, 2013, p.211-226
2013
Volltextzugriff (PDF)
2013 IEEE Symposium on Security and Privacy, 2013, p.3-17
2013
Volltextzugriff (PDF)
Verified Software. Theories, Tools, and Experiments, 2016, Vol.9971, p.73-89
2016
Volltextzugriff (PDF)
Computer Network Security, 2010, p.32-35
2010
Volltextzugriff (PDF)
Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation, 2003, Vol.2896, p.1-2
2003
Volltextzugriff (PDF)
International Conference on Functional Programming: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming; 16-21 Sept. 2006, 2006, p.62-73
2006
Volltextzugriff (PDF)
Programming Languages and Systems, 2012, p.312-314
2012
Volltextzugriff (PDF)
Certified Programs and Proofs, 2012, Vol.7679, p.1-3
2012
Volltextzugriff (PDF)
Science of computer programming, 2006-10, Vol.62 (2), p.122-144
2006
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
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Separation Logic
- Programming Languages
- Software And Its Engineering -- Software Notations And Tools -- Compilers
- Theoretical Computing
- Type System
- Dependent Types
- Theory Of Computation -- Semantics And Reasoning
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Engineering
- Hoare Logic
- Memory Management
Kollektion
- Association for Computing Machinery
- Ingenta
- SpringerLink Series
- EZB Electronic Journals Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Cambridge Journals Online (DEFF)
- IEEE Xplore
- Access via Business Source (EBSCOhost)
- Access via ScienceDirect (Elsevier)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Journals@Ovid
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- MEDLINE
- IngentaConnect Journals
- Publisher's website
- Springer journals
Zeitschrift / Serie
- Sigplan Notices
- Journal Of Functional Programming
- Acm Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Electronic Notes In Theoretical Computer Science
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Acm Transactions On Information And System Security
- Communications Of The Acm
- Electronic Proceedings In Theoretical Computer Science