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...Automated Reasoning, p.516-531
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2021-02, Vol.42 (4), p.1-34, Article 16
2021
Volltextzugriff (PDF)
2014 Formal Methods in Computer-Aided Design (FMCAD), 2014, p.155-162
2014
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2017, Vol.10469, p.316-331
2017
Volltextzugriff (PDF)
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018, p.105-119
2018
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2016, Vol.10009, p.346-362
2016
Volltextzugriff (PDF)
SIGPLAN notices, 2018-12, Vol.53 (4), p.105-119
2018
Volltextzugriff (PDF)
The Fourth International Workshop on Advanced Computational Intelligence, 2011, p.249-256
2011
Volltextzugriff (PDF)
Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design, 2014, p.155-162
2014
Volltextzugriff (PDF)
Biomaterials, 2013-06, Vol.34 (18), p.4510-4519
2013
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
- Logic
- Recursion
- Context Bound
- Interprocedural Analysis
- Logic And Verification
- Software And Its Engineering
- Stack
- Theory Of Computation
- Ablation Techniques
- Abstraction
- Advanced Basic Science
- Algorithm Design And Analysis
- Animals
- Applied Computing -- Arts And Humanities -- Architecture -- Computer-Aided Design
- Applied Computing -- Physical Sciences And Engineering -- Engineering -- Computer-Aided Design
Kollektion
- ACM Digital Library
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE Electronic Library Online
- EZB-NALI5-00465 Elsevier Archive NL
- Access via Business Source (EBSCOhost)
- MEDLINE
- ProQuest Dissertations & Theses A&I
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
Zeitschrift / Serie