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...2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.330-342
2021
Volltextzugriff (PDF)
Verified Software: Theories, Tools, Experiments, p.278-293
Volltextzugriff (PDF)
NASA Formal Methods, 2023, Vol.13903, p.397-413
2023
Volltextzugriff (PDF)
15th International Symposium on Software Reliability Engineering, 2004, p.245-256
2004
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.309-324
2006
Volltextzugriff (PDF)
2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2023, p.148-156
2023
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.88-106
2006
Volltextzugriff (PDF)
Proceedings of the second ACM workshop on Security and privacy in smartphones and mobile devices, 2012, p.3-14
2012
Volltextzugriff (PDF)
International Conference on Software Engineering: Proceedings of the 2005 international workshop on Mining software repositories : St. Louis, Missouri; 17-17 May 2005, 2005, p.1-5
2005
Volltextzugriff (PDF)
Proceedings of the 17th ACM conference on Computer and communications security, 2010, p.585-594
2010
Volltextzugriff (PDF)
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011, p.492-503
2011
Volltextzugriff (PDF)
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE), 2016, p.156-167
2016
Volltextzugriff (PDF)
Proceedings of the 34th International Conference on Software Engineering, 2012, p.903-913
2012
Volltextzugriff (PDF)
2013 35th International Conference on Software Engineering (ICSE), 2013, p.352-361
2013
Volltextzugriff (PDF)
2010 ACM/IEEE 32nd International Conference on Software Engineering, 2010, Vol.1, p.445-454
2010
Volltextzugriff (PDF)
Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019, p.1-6
2019
Volltextzugriff (PDF)
Static Analysis, p.95-111
Volltextzugriff (PDF)
Conference on Object Oriented Programming Systems Languages and Applications: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications; 21-25 Oct. 2007, 2007, p.321-336
2007
Volltextzugriff (PDF)
2012 34th International Conference on Software Engineering (ICSE), 2012, p.903-913
2012
Volltextzugriff (PDF)
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2008, p.37-49
2008
Volltextzugriff (PDF)
Computer Aided Verification, p.377-394
Volltextzugriff (PDF)
Conference on Object Oriented Programming Systems Languages and Applications: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications : Montreal, Quebec, Canada; 21-25 Oct. 2007, 2007, p.423-440
2007
Volltextzugriff (PDF)
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2010, p.313-326
2010
Volltextzugriff (PDF)
Aktive Filter
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
- Engineering
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics
- Ruby
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Analysis
- Software
- Applied Sciences
- Engineering, Electrical & Electronic
- Java
- Symbolic Execution
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Business
- Business & Economics
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- De Gruyter eBooks
- ACM Digital Library Complete
- IEEE Electronic Library (IEL)
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- ProQuest Dissertations & Theses A&I
- JSTOR All Journals
- Thieme E-Library
- EBSCOhost Business Source Ultimate
- EZB Electronic Journals Library
- ScienceDirect eBooks
- Publisher or Other Site
- Oxford University Press Books All Titles
- Journals@Ovid
- Oxford journals
- IngentaConnect Journals
- Thieme - Connect here FIRST to enable access
- Wiley Online Library