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...Programming Languages and Systems, p.146-156
Volltextzugriff (PDF)
Journal of automated reasoning, 2020-10, Vol.64 (7), p.1393-1418
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-12, Vol.105 (Proc. FTSCS 2012), p.22-38
2012
Volltextzugriff (PDF)
Journal of automated reasoning, 2020-10, Vol.64 (7), p.1393-1418
2020
Volltextzugriff (PDF)
Computer Aided Verification, p.510-517
Volltextzugriff (PDF)
Journal Européen des Systèmes Automatisés, 2013-05, Vol.47 (1-3), p.45-59
2013
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.347-366
Volltextzugriff (PDF)
Science of computer programming, 2015-06, Vol.103, p.71-87
2015
Volltextzugriff (PDF)
SAE International journal of aerospace, 2013-09, Vol.6 (1), p.150-160, Article 2013-01-2109
2013
Volltextzugriff (PDF)
SAE International journal of aerospace, 2011-11, Vol.4 (2), p.850-858, Article 2011-01-2558
2011
Volltextzugriff (PDF)
Formal Methods for Industrial Critical Systems, p.1-16
Volltextzugriff (PDF)
Journal of bacteriology, 2024-10, Vol.206 (10), p.e0029124
2024
Volltextzugriff (PDF)
International journal of turbomachinery, propulsion and power, 2024-06, Vol.9 (2), p.16
2024
Volltextzugriff (PDF)
Journal of physics. Conference series, 2023-05, Vol.2511 (1), p.12025
2023
Volltextzugriff (PDF)
Physical review. D, 2024-08, Vol.110 (4), Article 043033
2024
Volltextzugriff (PDF)
Journal of the American Heart Association, 2024-03, Vol.13 (5), p.e030975-e030975
- Matsushita, Kensuke
- Delmas, Clément
- Marchandot, Benjamin
- Roubille, François
- Lamblin, Nicolas
- Leurent, Guillaume
- Levy, Bruno
- Elbaz, Meyer
- Champion, Sebastien
- Lim, Pascal
- Schneider, Francis
- Khachab, Hadi
- Carmona, Adrien
- Trimaille, Antonin
- Bourenne, Jeremy
- Seronde, Marie-France
- Schurtz, Guillaume
- Harbaoui, Brahim
- Vanzetto, Gerald
- Biendel, Caroline
- Labbe, Vincent
- Combaret, Nicolas
- Mansourati, Jacques
- Filippi, Emmanuelle
- Maizel, Julien
- Merdji, Hamid
- Lattuca, Benoit
- Gerbaud, Edouard
- Bonnefoy, Eric
- Puymirat, Etienne
- Bonello, Laurent
- Morel, Olivier
2024
Volltextzugriff (PDF)
Heart (British Cardiac Society), 2024-02, Vol.110 (4), p.245-253
2024
Volltextzugriff (PDF)
Le Débat, 1998-05, Vol.n° 100 (3), p.220-224
1998
Volltextzugriff (PDF)
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
- Engineering, Aerospace
- Formal Method
- Life Sciences & Biomedicine
- Cardiac & Cardiovascular Systems
- Cardiovascular System & Cardiology
- Computer Science, Artificial Intelligence
- Engineering, Mechanical
- Heart Failure
- Life Sciences
- Logic
- Mortality
- Physical Sciences
- Physics
- Proof Obligation
Kollektion
- EZB Electronic Journals Library
- Ingenta Connect
- Springer Book Series
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- MEDLINE
- SpringerLink
- Wiley Online Library Journals Frontfile Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- American Physical Society Journals
- BMJ Journals
- Elsevier ScienceDirect Journals Complete
- BMJ Journals Archiv - DFG Nationallizenzen
Zeitschrift / Serie
- Journal Of Automated Reasoning
- Sae International Journal Of Aerospace
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Heart
- International Journal Of Turbomachinery, Propulsion And Power
- Journal Européen Des Systèmes Automatisés
- Journal Of Bacteriology
- Journal Of Physics. Conference Series
- Journal Of Physics: Conference Series
Neu hinzugefügt