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...Theoretical computer science, 2024-05, Vol.996, p.114505, Article 114505
2024
Volltextzugriff (PDF)
Constraints : an international journal, 2010-04, Vol.15 (2), p.238-264
2010
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2014-02, Vol.16 (1), p.103-121
2014
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.182-196
2006
Volltextzugriff (PDF)
Testing Software and Systems, 2016, Vol.9976, p.209-217
2016
Volltextzugriff (PDF)
Principles and Practice of Constraint Programming – CP 2007, 2007, p.49-63
2007
Volltextzugriff (PDF)
Principles and Practice of Constraint Programming, 2008, Vol.5202, p.327-341
2008
Volltextzugriff (PDF)
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, p.1773-1780
2015
Volltextzugriff (PDF)
Computational Methods in Systems Biology, 2021, Vol.12881, p.36-56
2021
Volltextzugriff (PDF)
Computational Methods in Systems Biology, 2020, Vol.12314, p.362-372
2020
Volltextzugriff (PDF)
Reflections on the Work of C.A.R. Hoare, 2010, p.101-121
2010
Volltextzugriff (PDF)
2010 IEEE International Conference on Software Maintenance, 2010, p.1-5
2010
Volltextzugriff (PDF)
Reliable computing, 1999, Vol.5 (3), p.213-228
1999
Volltextzugriff (PDF)
Lecture notes in computer science, 1998, Vol.1520, p.147-161
1998
Volltextzugriff (PDF)
Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, 2014, p.7-11
2014
Volltextzugriff (PDF)
European Design Automation Conference: Proceedings of the conference on European design automation; 18-22 Sept. 1995, 1995, p.414-419
1995
Volltextzugriff (PDF)
Correct Hardware Design and Verification Methods, 2005, p.109-121
2005
Volltextzugriff (PDF)
Proceedings of the 2011 ACM Symposium on Applied Computing, 2011, p.1633-1638
2011
Volltextzugriff (PDF)
Proceedings of the conference on European design automation, 1990, p.52-56
1990
Volltextzugriff (PDF)
Developments in Reliable Computing, 1999, p.213-228
1999
Volltextzugriff (PDF)
European Design Automation Conference: Proceedings of the conference on European design automation; 12-15 Mar. 1990, 1990, p.52-56
1990
Volltextzugriff (PDF)
Proceedings of the European Design Automation Conference, 1990., EDAC, 1990, p.52-56
1990
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Software Engineering
- Data Structures And Algorithms
- Applied Sciences
- Computer Science; Control Theory; Systems
- Constraint System
- Exact Sciences And Technology
- Artificial Intelligence
- Bioinformatics
- Boolean Variable
- Computer Science, Interdisciplinary Applications
- Execution Path
- Formal Verification
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Hoare Logic
- Interval Analysis
Kollektion
- Ingenta
- SpringerLink Series
- Ebook Central Perpetual and DDA
- ACM Digital Library (Association for Computing Machinery)
- eBooks on EBSCOhost
- IEEE Electronic Library Online
- SpringerLink Journals - AutoHoldings
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EZB Electronic Journals Library
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Elsevier ScienceDirect Journals Complete