Sortiert nach
Journal of automated reasoning, 2020-08, Vol.64 (6), p.1051-1091
2020
Link zum Volltext
Verified Software. Theories, Tools, and Experiments, 2020, Vol.12031, p.161-179
2020
Link zum Volltext
Systems engineering, 2023-11, Vol.26 (6), p.693-714
2023
Link zum Volltext
IEEE access, 2020, Vol.8, p.190760-190783
2020
Link zum Volltext
Science of computer programming, 2018-06, Vol.157, p.17-40
2018
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-08, Vol.253 (Proc. VPT 2017), p.75-91
2017
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-03, Vol.245 (Proc. FESCA 2017), p.31-45
2017
Link zum Volltext
Acta cybernetica (Szeged), 2014, Vol.21 (3), p.401-417
2014
Link zum Volltext
Application and Theory of Petri Nets and Concurrency, 2015, Vol.9115, p.309-328
2015
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, 2016, Vol.9688, p.158-174
2016
Link zum Volltext
Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang, 2022, p.33-39
2022
Link zum Volltext
2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2024, p.106-117
2024
Link zum Volltext
Application and Theory of Petri Nets and Concurrency, p.123-132
Link zum Volltext
2021 10th Latin-American Symposium on Dependable Computing (LADC), 2021, p.01-08
2021
Link zum Volltext
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.176-179
2017
- Link zum Volltext
2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 2022, p.267-278
2022
Link zum Volltext
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2020, p.1-5
2020
Link zum Volltext
Nature neuroscience, 2019-08, Vol.22 (8), p.1345
- Jüttner, Josephine
- Szabo, Arnold
- Gross-Scherf, Brigitte
- Morikawa, Rei K
- Rompani, Santiago B
- Hantz, Peter
- Szikra, Tamas
- Esposti, Federico
- Cowan, Cameron S
- Bharioke, Arjun
- Patino-Alvarez, Claudia P
- Keles, Özkan
- Kusnyerik, Akos
- Azoulay, Thierry
- Hartl, Dominik
- Krebs, Arnaud R
- Schübeler, Dirk
- Hajdu, Rozina I
- Lukats, Akos
- Nemeth, Janos
- Nagy, Zoltan Z
- Wu, Kun-Chao
- Wu, Rong-Han
- Xiang, Lue
- Fang, Xiao-Long
- Jin, Zi-Bing
- Goldblum, David
- Hasler, Pascal W
- Scholl, Hendrik P N
- Krol, Jacek
- Roska, Botond
2019
Link zum Volltext
Journal of molecular liquids, 2022-08, Vol.359, p.119243, Article 119243
2022
Link zum Volltext
Journal of molecular liquids, 2020-08, Vol.312, p.113478, Article 113478
2020
Link zum Volltext
Oxford journal of archaeology, 2023-08, Vol.42 (3), p.199-220
2023
Link zum Volltext
The journal of physical chemistry. B, 2023-06, Vol.127 (23), p.5341-5352
2023
Link zum Volltext
Macromolecular rapid communications., 2024-04, Vol.45 (7), p.e2300625-n/a
2024
Link zum Volltext
Journal of comparative neurology (1911), 2017-09, Vol.525 (13), p.2890-2914
2017
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
- MEDLINE
- Ingenta
- Electronic Journals Library
- Wiley Online Library - AutoHoldings Journals
- Wiley Online Library Full Collection 2018
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- IEL
- SpringerLink Series
- Ebook Central Perpetual and DDA
- ACM Digital Library
- eBooks on EBSCOhost
- Springer Nature - Connect here FIRST to enable access
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- SpringerLink (Online service)
- International Bibliography of Art (IBA)
- EBSCOhost Business Source Ultimate
- Psychology and Behavioral Sciences Collection
Zeitschrift / Serie
- Macromolecular Rapid Communications.
- Cell
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Journal Of Molecular Liquids
- Scientific Reports
- Acta Cybernetica
- Acta Microbiologica Et Immunologica Hungarica
- Acta Pharmaceutica Hungarica
- American Journal Of Medical Genetics Part A
Neu hinzugefügt