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...2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-12
2017
Volltextzugriff (PDF)
Journal of the ACM, 2011-12, Vol.58 (6), p.1-66
2011
Volltextzugriff (PDF)
Programming Languages and Systems, 2017, Vol.10201, p.855-879
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-29
2018
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.287-302
2006
Volltextzugriff (PDF)
Programming Languages and Systems, 2017, p.83-110
2017
Volltextzugriff (PDF)
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 2007, p.366-378
2007
Volltextzugriff (PDF)
Theoretical computer science, 2007-05, Vol.375 (1), p.308-334
2007
Volltextzugriff (PDF)
Programming Languages and Systems, 2017, Vol.10201, p.393-419
2017
Volltextzugriff (PDF)
Scientific reports, 2021-02, Vol.11 (1), p.4183-4183, Article 4183
2021
Volltextzugriff (PDF)
Programming Languages and Systems, 2017, Vol.10201, p.696-723
2017
Volltextzugriff (PDF)
Computer Science Logic, 2001, p.1-19
2001
Volltextzugriff (PDF)
Chemical communications (Cambridge, England), 2013-01, Vol.49 (22), p.2225-2227
2013
Volltextzugriff (PDF)
Logical methods in computer science, 2013-09, Vol.9, Issue 3
2013
Volltextzugriff (PDF)
The Annals of thoracic surgery, 2011-08, Vol.92 (2), p.587-593
2011
Volltextzugriff (PDF)
Programming Languages and Systems, 2017, Vol.10201, p.831-854
2017
Volltextzugriff (PDF)
Theoretical computer science, 2004-05, Vol.315 (1), p.257-305
2004
Volltextzugriff (PDF)
Canadian journal of ophthalmology, 2016-10, Vol.51 (5), p.348-353
2016
Volltextzugriff (PDF)
Programming Languages and Systems, 2017, Vol.10201, p.229-259
2017
Volltextzugriff (PDF)
Programming Languages and Systems, 2017, Vol.10201, p.909-936
2017
Volltextzugriff (PDF)
Programming Languages and Systems, 2017, Vol.10201, p.368-392
2017
Volltextzugriff (PDF)
Circulation Journal, 2010, Vol.74(8), pp.1564-1569
2010
Volltextzugriff (PDF)
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.525-534
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Life Sciences & Biomedicine
- Separation Logic
- Physical Sciences
- Science & Technology - Other Topics
- Software Engineering
- Humans
- Applied Sciences
- Exact Sciences And Technology
- Software
- Computer Science; Control Theory; Systems
- Chemistry
- Engineering
- Programming Languages
- Materials Science
- Materials Science, Multidisciplinary
Kollektion
- Ingenta
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- EZB Electronic Journals Library
- MEDLINE
- Journals@OVID
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- IEEE Electronic Library Online
- Publisher or Other Site
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library - AutoHoldings Journals
- Springer Nature - Connect here FIRST to enable access
- SpringerLink Journals - AutoHoldings
- Wiley Online Library Full Collection 2018
- EBSCOhost Business Source Ultimate
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Cambridge Journals Online (DEFF)
Zeitschrift / Serie
- Sigplan Notices
- Nucleic Acids Research
- Acm Sigplan Notices
- Advanced Functional Materials
- Logical Methods In Computer Science
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Theoretical Computer Science
- Acm Transactions On Programming Languages And Systems
- Nature Communications
Neu hinzugefügt