Sortiert nach
Logical methods in computer science, 2019-01, Vol.15, Issue 2
2019
Link zum Volltext
Science of computer programming, 2014-11, Vol.93, p.89-109
2014
Link zum Volltext
Electronic proceedings in theoretical computer science, 2010-06, Vol.28 (Proc. QAPL 2010), p.64-81
2010
Link zum Volltext
Journal of automated reasoning, 2019-08, Vol.63 (2), p.489-515
2019
Link zum Volltext
Static Analysis, p.58-74
Link zum Volltext
Interactive Theorem Proving, p.496-513
Link zum Volltext
Theoretical computer science, 2005-01, Vol.342 (1), p.56-78
2005
Link zum Volltext
Interactive Theorem Proving, p.9-24
Link zum Volltext
Lecture notes in computer science, 2004, p.385-400
2004
Link zum Volltext
Mathematical structures in computer science, 2010-08, Vol.20 (4), p.589-624
2010
Link zum Volltext
ACM transactions on embedded computing systems, 2005-05, Vol.4 (2), p.228-266
2005
Link zum Volltext
Lecture notes in computer science, 2003, p.155-170
2003
Link zum Volltext
FM 2005: Formal Methods, 2005, p.91-106
2005
Link zum Volltext
Correct Hardware Design and Verification Methods, 2005, p.376-379
1ère éd, 2005
Link zum Volltext
Foundations of Security Analysis and Design V, Vol.5705, p.223-257
Link zum Volltext
Algebraic Methodology and Software Technology, p.122-138
Link zum Volltext
Electronic notes in theoretical computer science, 2006-10, Vol.164 (3), p.153-167
2006
Link zum Volltext
Theoretical computer science, 1997-12, Vol.189 (1), p.71-107
1997
Link zum Volltext
EURO-PAR '95 Parallel Processing, 2005, p.143-154
2005
Link zum Volltext
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings, 2003, p.265-274
2003
- Link zum Volltext
Programming Languages and Systems, p.385-400
Link zum Volltext
Obesity (Silver Spring, Md.), 2022-06, Vol.30 (6), p.1133-1135
2022
Link zum Volltext
The Journal of pediatrics, 2008-05, Vol.152 (5), p.678-684
2008
Link zum Volltext
The Annals of thoracic surgery, 1991-09, Vol.52 (3), p.474-478
1991
Link zum Volltext
Journal of computer assisted tomography, 1986-03, Vol.10 (2), p.211-215
1986
Link zum Volltext
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
- Applied Sciences
- Exact Sciences And Technology
- Software
- Abstract Interpretation
- Computer Science; Control Theory; Systems
- Life Sciences & Biomedicine
- Mathematics
- Biological And Medical Sciences
- Female
- Humans
- Male
- Medical Sciences
- Time Factors
- Abstract Domain
- Acute Disease
Kollektion
- Ingenta E-Journals
- HEAL-Link subscriptions: Springer Book Series
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- MEDLINE
- Journals@Ovid Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library Complete
- IngentaConnect Journals
- Publisher site
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library - AutoHoldings Journals
- Ebook Central Perpetual and DDA
- Cambridge Journals Online (DEFF)
- eBooks on EBSCOhost
- Wiley Online Library Full Collection 2018
- IEEE/IET Electronic Library (IEL)
- Springer Books
- SpringerLink
Zeitschrift / Serie
- Theoretical Computer Science
- Acm Transactions On Embedded Computing Systems
- Archives Of Surgery
- Comptes Rendus Des Seances De La Societe De Biologie Et De Ses Filiales
- Doaj
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Journal Of Automated Reasoning
- Journal Of Computer Assisted Tomography