Sortiert nach
Geoscientific Model Development, 2023-08, Vol.16 (15), p.4427-4450
2023
Link zum Volltext
Nature physics, 2024-03, Vol.20 (3), p.472-478
2024
Link zum Volltext
Insect molecular biology, 2016-06, Vol.25 (3), p.202-215
2016
Link zum Volltext
Tests and Proofs, p.134-153
Link zum Volltext
Archives of virology, 2009-07, Vol.154 (7), p.1081-1091
2009
Link zum Volltext
Automated Reasoning with Analytic Tableaux and Related Methods, 2005, p.78-92
2005
Link zum Volltext
Electronic Voting, 2019, p.67-82
2019
Link zum Volltext
Computer modeling in engineering & sciences, 2006, Vol.12 (2), p.121-136
2006
Link zum Volltext
Electronic Voting, 2019, p.50-66
2019
Link zum Volltext
Electronic Voting, 2019, p.100-115
2019
Link zum Volltext
Electronic Voting, 2019, p.1-13
2019
Link zum Volltext
Electronic Voting, 2019, p.83-99
2019
Link zum Volltext
Formal Verification of Object-Oriented Software, p.10-30
Link zum Volltext
American journal of respiratory and critical care medicine, 2018-12, Vol.198 (12), p.1559-1569
- Griffith, David E
- Eagle, Gina
- Thomson, Rachel
- Aksamit, Timothy R
- Hasegawa, Naoki
- Morimoto, Kozo
- Addrizzo-Harris, Doreen J
- O'Donnell, Anne E
- Marras, Theodore K
- Flume, Patrick A
- Loebinger, Michael R
- Morgan, Lucy
- Codecasa, Luigi R
- Hill, Adam T
- Ruoss, Stephen J
- Yim, Jae-Joon
- Ringshausen, Felix C
- Field, Stephen K
- Philley, Julie V
- Wallace, Jr, Richard J
- van Ingen, Jakko
- Coulter, Chris
- Nezamis, James
- Winthrop, Kevin L
2018
Link zum Volltext
Automated Reasoning with Analytic Tableaux and Related Methods, 2005, p.318-322
2005
Link zum Volltext
Deductive Software Verification: Future Perspectives, 2020, Vol.12345 LNCS, p.204-218
2020
Link zum Volltext
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.408-436
2022
Link zum Volltext
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.193-228
2022
Link zum Volltext
The Logic of Software. A Tasting Menu of Formal Methods, 2022, p.129-146
2022
Link zum Volltext
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.147-172
2022
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Physical Sciences
- Technology
- Humans
- Computer Science
- Software
- Chemistry
- Physics
- Male
- Engineering
- Social Sciences
- Exact Sciences And Technology
- Female
- Cad
- Computer Science, Theory & Methods
- Biological And Medical Sciences
- Middle Aged
- Computer Science, Software Engineering
- Adult
Kollektion
- IngentaConnect
- Free E-Journal (出版社公開部分のみ）
- MEDLINE
- Wiley Online Library Journals
- NUS Single-Journal Subscriptions
- Elsevier ScienceDirect Journals Complete
- EBSCOhost Business Source Ultimate
- IngentaConnect Journals
- LWW Total
- Springer Book Series
- SpringerLink (Online service)
- Ebook Central Perpetual and DDA
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library Full Collection 2018
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- JSTOR
- IEEE Xplore
- Sociological Abstracts
- De Gruyter eBooks
Zeitschrift / Serie
- Computer-Aided Engineering
- Cheminform
- Computer - Aided Engineering
- Industry Week
- New Zealand Medical Journal
- Zeitschrift Für Angewandte Mathematik Und Mechanik
- Physical Review Letters
- Zamm ‐ Journal Of Applied Mathematics And Mechanics / Zeitschrift Für Angewandte Mathematik Und Mechanik
- Machine Design
- Theoretical And Applied Genetics
Neu hinzugefügt