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...Acta informatica, 2023-12, Vol.60 (4), p.361-384
2023
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2015-08, Vol.17 (4), p.457-467
2015
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.73-84
2004
Volltextzugriff (PDF)
Annals of pure and applied logic, 2008-03, Vol.152 (1), p.122-131
2008
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2012-02, Vol.14 (1), p.73-93
2012
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2006-01, Vol.143, p.101-114
2006
Volltextzugriff (PDF)
ACM transactions on computational logic, 2007-08, Vol.8 (4), p.20
2007
Volltextzugriff (PDF)
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012, p.1314-1319
2012
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, 2011, p.127-140
2011
Volltextzugriff (PDF)
Process Algebra and Probabilistic Methods: Performance Modeling and Verification, 2002, Vol.2399, p.213-214
2002
Volltextzugriff (PDF)
Proceedings - Symposium on Logic in Computer Science, 2002, p.30-39
2002
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2006-02, Vol.135 (2), p.19-30
2006
Volltextzugriff (PDF)
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06), 2006, p.129-130
2006
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2005-05, Vol.128 (6), p.195-214
2005
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2008-12, Vol.220 (1), p.3-14
2008
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2007-07, Vol.185, p.33-46
2007
Volltextzugriff (PDF)
2008 Fifth International Conference on Quantitative Evaluation of Systems, 2008, p.75-76
2008
Volltextzugriff (PDF)
International Symposium on Software Testing and Analysis: Proceedings of the 1st international workshop on Random testing; 20-20 July 2006, 2006, p.10-19
2006
Volltextzugriff (PDF)
Intensive care medicine, 2018-05, Vol.44 (5), p.663-664
2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Model Checking
- Probabilistic Verification
- Approximate Verification
- Logic
- Mathematics
- Physical Sciences
- Software Engineering/programming And Operating Systems
- Theory Of Computation
- Algorithms
- Apmc
- Applied Sciences
- Computer Programs
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Mathematics, Applied
Kollektion
- IngentaConnect_期刊（NSTL购买）
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer LINK 全文期刊数据库
- ACM Digital Library
- IEEE Electronic Library Online
- SpringerLink Series
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- MEDLINE
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access