Sortiert nach
Parasitology research (1987), 2024-05, Vol.123 (5), p.209, Article 209
2024
Link zum Volltext
Research in sports medicine, 2023-07, Vol.31 (4), p.416-439
2023
Link zum Volltext
Proceedings of ACM on programming languages, 2022-04, Vol.6 (OOPSLA1), p.1-27
2022
Link zum Volltext
Journal of professional nursing, 2023-09, Vol.48, p.93-98
2023
Link zum Volltext
Frontiers in psychiatry, 2021-05, Vol.12, p.656664-656664
2021
Link zum Volltext
Reviews in medical virology, 2021-11, Vol.31 (6), p.e2288-n/a
2021
Link zum Volltext
Programming Languages and Systems, p.350-372
Link zum Volltext
Computer Aided Verification, p.495-517
Link zum Volltext
Programming Languages and Systems, p.405-424
Link zum Volltext
Intelligent Information and Database Systems, p.113-121
Link zum Volltext
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS), 2019, p.220-225
2019
Link zum Volltext
2016 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2016, p.428-432
2016
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.578-602
Link zum Volltext
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017, p.782-792
2017
Link zum Volltext
2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE), 2021, p.162-172
2021
- Link zum Volltext
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018, p.268-269
2018
Link zum Volltext
Acta tropica, 2020-10, Vol.210, p.105603, Article 105603
2020
Link zum Volltext
Hospital Practice, 2023-08, Vol.51 (3), p.141-148
2023
Link zum Volltext
International journal of environmental research and public health, 2021-05, Vol.18 (11), p.5719
2021
Link zum Volltext
Journal of the Medical Association of Thailand, 2023-08, Vol.106 (8), p.795-801
2023
Link zum Volltext
Hospital Practice, 2022-10, Vol.50 (5), p.407-415
2022
Link zum Volltext
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), 2018, p.268-269
2018
- Link zum Volltext
Programming Languages and Systems, p.269-289
Link zum Volltext
Formal Methods and Software Engineering, p.11-28
Link zum Volltext
SciPost physics, 2019-10, Vol.7 (4), p.052, Article 052
2019
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Technology
- Computer Science
- Humans
- Physical Sciences
- Computer Science, Theory & Methods
- Vietnam
- Computer Science, Software Engineering
- Chemistry
- Separation Logic
- Covid-19
- Environmental Sciences
- Environmental Sciences & Ecology
- Female
- Fungi
- Gene Expression
- Genes
- Male
- Pharmacology & Pharmacy
Kollektion
- Ingenta
- EZB Electronic Journals Library
- IngentaConnect Journals
- MEDLINE
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- IEEE Electronic Library (IEL)
- SpringerLink Series
- Elsevier ScienceDirect Journals
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Publisher website
- Taylor & Francis
- Taylor & Francis Online
- Taylor & Francis Journals Auto-Holdings Collection
- Wiley Journals
- ACM Digital Library Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
Zeitschrift / Serie
Neu hinzugefügt