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, 2020, Vol.30, Article e24
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-29
2019
Volltextzugriff (PDF)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.265-274
2018
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2000-07, Vol.22 (4), p.701-771
2000
Volltextzugriff (PDF)
SIGPLAN notices, 2015-08, Vol.50 (6), p.479-488
2015
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 1999-05, Vol.21 (3), p.527-568
1999
Volltextzugriff (PDF)
ACM transactions on computational logic, 2007-04, Vol.8 (2), p.8
2007
Volltextzugriff (PDF)
SIGPLAN notices, 2017, Vol.52 (1), p.100-113
2017
Volltextzugriff (PDF)
Verified Software. Theories, Tools, and Experiments, 2018, Vol.11294, p.112-134
2018
Volltextzugriff (PDF)
ACM transactions on computational logic, 2008-06, Vol.9 (3), p.1-26
2008
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2010-09, Vol.34
2010
Volltextzugriff (PDF)
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015, p.623-636
2015
Volltextzugriff (PDF)
Trustworthy Global Computing, p.108-123
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.28-52
2006
Volltextzugriff (PDF)
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015, p.479-488
2015
Volltextzugriff (PDF)
SIGPLAN notices, 2010-09, Vol.45 (9), p.131-142
2010
Volltextzugriff (PDF)
Journal of functional programming, 2005-03, Vol.15 (2), p.249-291
2005
Volltextzugriff (PDF)
SIGPLAN notices, 2015-05, Vol.50 (1), p.623-636
2015
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2009-01, Vol.228, p.53-68
2009
Volltextzugriff (PDF)
Journal of functional programming, 2002-01, Vol.12 (1), p.43-88
2002
Volltextzugriff (PDF)
Journal of functional programming, 2002-11, Vol.12 (6), p.567-600
2002
Volltextzugriff (PDF)
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004, 2004, p.286-295
2004
Volltextzugriff (PDF)
Lecture notes in computer science, 2001, p.1-25
2001
Volltextzugriff (PDF)
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, 2010, p.131-142
2010
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2007-04, Vol.172, p.259-299
2007
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Computer Science, Theory & Methods
- Software
- Software And Its Engineering -- Software Notations And Tools -- Compilers
- Theoretical Computing
- Theory Of Computation -- Semantics And Reasoning -- Program Constructs -- Type Structures
- Logical Frameworks
- Mechanized Metatheory
- Theory Of Computation -- Logic
- Theory Of Computation -- Semantics And Reasoning
- Language Theory And Syntactical Analysis
- Programming Languages
- Standard Ml
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics
Kollektion
- ACM Digital Library
- Ingenta
- EZB Electronic Journals Library
- SpringerLink Series
- Cambridge Journals Online (DEFF)
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- IngentaConnect Journals
- Ebook Central Perpetual and DDA
- Taylor & Francis:Master (3349 titles)
- Cambridge University Press online books
- eBooks on EBSCOhost
- Psychology & Behavioral Sciences Collection (EBSCOhost)
- ProQuest Dissertations & Theses A&I
- Cambridge Core All Books
- IEEE/IET Electronic Library (IEL)
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis
Zeitschrift / Serie
- Sigplan Notices
- Journal Of Functional Programming
- Acm Sigplan Notices
- Electronic Notes In Theoretical Computer Science
- Acm Transactions On Computational Logic
- Acm Transactions On Programming Languages And Systems
- Proceedings Of The Fourth Acm Sigplan International Conference On Functional Programming
- Proceedings Of The Tldi '03 : 2003 Acm Sigplan International Workshop On Types In Languages Design And Implementation : Papers Presented At The Workshop, New Orleans, Louisiana, Usa January 18th, 2003
- Sigact News
- Theoretical Computer Science