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...Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-29
2018
Volltextzugriff (PDF)
Future generation computer systems, 2018-02, Vol.79, p.653-668
2018
Volltextzugriff (PDF)
Computer Aided Verification, 2012, p.495-512
2012
Volltextzugriff (PDF)
Theorem Proving in Higher Order Logics, p.391-407
Volltextzugriff (PDF)
IEEE transactions on computer-aided design of integrated circuits and systems, 2020-11, Vol.39 (11), p.3544-3554
2020
Volltextzugriff (PDF)
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016, p.4-17
2016
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.1145-1168, Article 153
2023
Volltextzugriff (PDF)
Journal of functional programming, 2010-01, Vol.20 (1), p.71-122
2010
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.41-44
Volltextzugriff (PDF)
2015 48th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), 2015, p.635-646
2015
Volltextzugriff (PDF)
Computer Aided Verification, p.258-272
Volltextzugriff (PDF)
Formal methods in system design, 2012-04, Vol.40 (2), p.170-205
2012
Volltextzugriff (PDF)
SIGPLAN notices, 2011-01, Vol.46 (1), p.55-66
2011
Volltextzugriff (PDF)
ACM transactions on computational logic, 2008-06, Vol.9 (3), p.1-26
2008
Volltextzugriff (PDF)
Proceedings of International Ethical Hacking Conference 2019, p.229-238
Volltextzugriff (PDF)
Emerging Technology in Modelling and Graphics, 2019, Vol.937, p.519-531
2019
Volltextzugriff (PDF)
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2009, p.379-391
2009
Volltextzugriff (PDF)
ACM transactions on architecture and code optimization, 2016-01, Vol.12 (4), p.1-23
2016
Volltextzugriff (PDF)
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011, p.175-186
2011
Volltextzugriff (PDF)
SIGPLAN notices, 2011-06, Vol.46 (6), p.175-186
2011
Volltextzugriff (PDF)
Foundational and Practical Aspects of Resource Analysis, 2016, p.101-125
2016
Volltextzugriff (PDF)
SIGPLAN notices, 2016-04, Vol.51 (1), p.608-621
2016
Volltextzugriff (PDF)
SIGPLAN notices, 2016-12, Vol.51 (9), p.4-17
2016
Volltextzugriff (PDF)
SIGPLAN notices, 2012-01, Vol.47 (1), p.509-520
2012
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Relaxed Memory Models
- Semantics
- Computer Science, Theory & Methods
- Software
- Life Sciences & Biomedicine
- Programming Languages
- Distributed, Parallel, And Cluster Computing
- Agriculture
- Applied Sciences
- Computer Science; Control Theory; Systems
- Computing Methodologies -- Concurrent Computing Methodologies -- Concurrent Programming Languages
- Exact Sciences And Technology
- Plant Sciences
- Theory Of Computation -- Logic
- Theory Of Computation -- Semantics And Reasoning
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning
Kollektion
- ACM Digital Library
- IngentaConnect
- SpringerLink Series
- EZB Electronic Journals Library
- IEEE/IET Electronic Library
- Elsevier ScienceDirect Journals Complete
- Springer journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Journals@Ovid
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Cambridge Journals Online (DEFF)
- EBSCOhost Business Source Ultimate
- MEDLINE
- ProQuest Dissertations & Theses A&I
- IngentaConnect Journals
- Nature
- Publisher or Other Site
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Journal Of Soil Science And Plant Nutrition
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Acm Transactions On Architecture And Code Optimization
- Acm Transactions On Computational Logic
- Agricultural Research
- Communications Of The Acm
- Environmental And Experimental Botany
Neu hinzugefügt