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...Electronic proceedings in theoretical computer science, 2018, Vol.275 (Proc. MSFP 2018), p.53-69
2018
Volltextzugriff (PDF)
Journal of functional programming, 2020, Vol.30, Article e9
2020
Volltextzugriff (PDF)
Journal of functional programming, 2004-01, Vol.14 (1), p.69-111
2004
Volltextzugriff (PDF)
Journal of reconstructive microsurgery OPEN, 2023-01, Vol.8 (1), p.e54-e59
2023
Volltextzugriff (PDF)
Journal of functional programming, 2008-01, Vol.18 (1), p.1-13
2008
Volltextzugriff (PDF)
A List of Successes That Can Change the World, 2016, Vol.9600, p.207-233
2016
Volltextzugriff (PDF)
Journal of functional programming, 2021-01, Vol.31, Article e22
2021
Volltextzugriff (PDF)
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014, p.297-309
2014
Volltextzugriff (PDF)
Lecture notes in computer science, 2007 (4502), p.237-252
2007
Volltextzugriff (PDF)
Journal of functional programming, 2015-01, Vol.25, Article e5
2015
Volltextzugriff (PDF)
2007th edition, 2007
Volltextzugriff (PDF)
Acta IMEKO, 2023-01, Vol.12 (1), p.1-5
2023
Volltextzugriff (PDF)
Mathematical structures in computer science, 2016-01, Vol.26 (1), p.1-2
2016
Volltextzugriff (PDF)
Progress in informatics, 2013-03 (10), p.149
2013
Volltextzugriff (PDF)
A List of Successes That Can Change the World, 2016, Vol.9600, p.169-186
2016
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-09, Vol.2 (ICFP), p.1-30
2018
Volltextzugriff (PDF)
SIGPLAN notices, 2012-09, Vol.47 (9), p.1-2
2012
Volltextzugriff (PDF)
SIGPLAN notices, 2014-11, Vol.49 (9), p.297-309
2014
Volltextzugriff (PDF)
A List of Successes That Can Change the World, 2016, Vol.9600, p.249-272
2016
Volltextzugriff (PDF)
Journal of pediatric orthopaedics, 2020-02, Vol.40 (2), p.e122-e126
2020
Volltextzugriff (PDF)
Journal of functional programming, 2002-07, Vol.12 (4-5), p.375-392
2002
Volltextzugriff (PDF)
Algebra and Coalgebra in Computer Science, p.113-126
Volltextzugriff (PDF)
Advanced Functional Programming, 2005, p.130-170
1ère éd, 2005
Volltextzugriff (PDF)
A List of Successes That Can Change the World, 2016, Vol.9600, p.318-335
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Computer Programming / Software Development
- Type Theory
- Programming Languages
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Dependent Types
- Dependent Type
- Mathematics
- Software
- Elimination Rule
- Functional Programming
- Generic Programming
- Logic
- Mathematical Logic And Formal Languages
Kollektion
- IngentaConnect_期刊（NSTL购买）
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library Complete
- EZB Electronic Journals Library
- Cambridge Journals Online (DEFF)
- Journals@Ovid Ovid Full Text
- Wiley-Blackwell Journals
- PAIS Index
- IngentaConnect Journals
- Taylor & Francis Journals Complete
- MEDLINE
- IEEE Xplore
- Elsevier ScienceDirect Journals Complete
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Applied Social Sciences Index & Abstracts (ASSIA)
Zeitschrift / Serie
- Journal Of Functional Programming
- Sigplan Notices
- Acm Sigplan Notices
- Health Promotion Journal Of Australia
- International Journal Of Mathematical Education In Science And Technology
- Acta Imeko
- Electronic Notes In Theoretical Computer Science
- Fundamenta Informaticae
- Ieee Journal Of Translational Engineering In Health And Medicine
- Journal Of Automated Reasoning
Neu hinzugefügt