Sortiert nach
Electronic proceedings in theoretical computer science, 2021, Vol.346, p.35-51
2021
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.501-517
Volltextzugriff (PDF)
A Journey from Process Algebra Via Timed Automata to Model Learning, 2022, Vol.13560, p.27-45
2022
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2022-09, Vol.18 (3), p.385-403
2022
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2023, Vol.19 (2), p.227-229
2023
Volltextzugriff (PDF)
Formal methods in system design, 2021, Vol.58 (1-2), p.42-82
2021
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2022-09, Vol.18 (3), p.347-367
2022
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.15-31
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.205-221
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-14
2021
Volltextzugriff (PDF)
Interactive Theorem Proving, 2018, Vol.10895, p.306-323
2018
Volltextzugriff (PDF)
Formal Methods – The Next 30 Years, p.262-279
Volltextzugriff (PDF)
2020 Formal Methods in Computer Aided Design (FMCAD), 2020, p.236-244
2020
Volltextzugriff (PDF)
Clinical microbiology and infection, 2019-11, Vol.25 (11), p.1385-1389
2019
Volltextzugriff (PDF)
Nature communications, 2018-01, Vol.9 (1), p.251-17, Article 251
2018
Volltextzugriff (PDF)
Journal of clinical microbiology, 2023-05, Vol.61 (5), p.e0134022-e0134022
2023
Volltextzugriff (PDF)
Journal of clinical microbiology, 2023-05, Vol.61 (5), p.e0133922-e0133922
2023
Volltextzugriff (PDF)
Frontiers in microbiology, 2022-11, Vol.13, p.977330-977330
2022
Volltextzugriff (PDF)
EMBO molecular medicine, 2023-02, Vol.15 (2), p.e15931-n/a
- Kohl, Lisa
- Siddique, Md Nur A Alam
- Bodendorfer, Barbara
- Berger, Raffaela
- Preikschat, Annica
- Daniel, Christoph
- Ölke, Martha
- Liebler‐Tenorio, Elisabeth
- Schulze‐Luehrmann, Jan
- Mauermeir, Michael
- Yang, Kai‐Ting
- Hayek, Inaya
- Szperlinski, Manuela
- Andrack, Jennifer
- Schleicher, Ulrike
- Bozec, Aline
- Krönke, Gerhard
- Murray, Peter J
- Wirtz, Stefan
- Yamamoto, Masahiro
- Schatz, Valentin
- Jantsch, Jonathan
- Oefner, Peter
- Degrandi, Daniel
- Pfeffer, Klaus
- Mertens‐Scholz, Katja
- Rauber, Simon
- Bogdan, Christian
- Dettmer, Katja
- Lührmann, Anja
- Lang, Roland
2023
Volltextzugriff (PDF)
Journal of microbiological methods, 2019-01, Vol.156, p.29-33
2019
Volltextzugriff (PDF)
Frontiers in immunology, 2022-04, Vol.13, p.789366-789366
2022
Volltextzugriff (PDF)
Virchows Archiv : an international journal of pathology, 2021-07, Vol.479 (1), p.97-108
2021
Volltextzugriff (PDF)
International journal of refractory metals & hard materials, 2017-04, Vol.64, p.261-278
2017
Volltextzugriff (PDF)
Expert review of molecular diagnostics, 2019-08, Vol.19 (8), p.659-665
2019
Volltextzugriff (PDF)
Oncogene, 2018-07, Vol.37 (30), p.4122-4136
2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Humans
- Microbiology
- Computer Science, Software Engineering
- Materials Science
- Animals
- Biochemistry & Molecular Biology
- Macrophages
- Materials Science, Multidisciplinary
- Physical Sciences
- Anti-Bacterial Agents - Pharmacology
- Artificial Intelligence
- Automation & Control Systems
- Computer Applications
- Computer Science, Hardware & Architecture
- Enterobacterales
Kollektion
- Ingenta
- EZB Electronic Journals Library
- MEDLINE
- Elsevier ScienceDirect Journals Complete
- Journals@Ovid Full Text
- IngentaConnect Journals
- SpringerLink Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library
- Springer Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Wiley Online Library
- Nexis Uni
- IEEE Electronic Library (IEL)
- North East Research Libraries Nature Academic Titles
- ACM Digital Library Complete
- NUS Single-Journal Subscriptions
- Taylor & Francis Journals
Zeitschrift / Serie
- Innovations In Systems And Software Engineering
- International Journal Of Refractory Metals & Hard Materials
- Journal Of Clinical Microbiology
- International Journal Of Medical Microbiology
- International Journal Of Refractory Metals And Hard Materials
- Journal Of Microbiological Methods
- Physica Status Solidi
- Physica Status Solidi B-Basic Solid State Physics
- Antibiotics
- Applied Sciences
Neu hinzugefügt