Sortiert nach
ACM transactions on embedded computing systems, 2017-11, Vol.16 (4), p.1-26
2017
Link zum Volltext
Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-28
2019
Link zum Volltext
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-34
2018
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.43-60
Link zum Volltext
2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014, p.125-134
2014
- Link zum Volltext
ACM transactions on embedded computing systems, 2016-07, Vol.15 (3), p.1-26
2016
Link zum Volltext
2023 Formal Methods in Computer-Aided Design (FMCAD), 2023, p.75-85
2023
Link zum Volltext
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021, p.32-47
2021
Link zum Volltext
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022, p.332-347
2022
Link zum Volltext
Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012), 2012, p.99-108
2012
- Link zum Volltext
1, 2024
Link zum Volltext
The Astrophysical journal, 2020-02, Vol.890 (2), p.149
- Treister, Ezequiel
- Messias, Hugo
- Privon, George C.
- Nagar, Neil
- Medling, Anne M.
- U, Vivian
- Bauer, Franz E.
- Cicone, Claudia
- Muñoz, Loreto Barcos
- Evans, Aaron S.
- Muller-Sanchez, Francisco
- Comerford, Julia M.
- Armus, Lee
- Chang, Chin-Shin
- Koss, Michael
- Venturi, Giacomo
- Schawinski, Kevin
- Casey, Caitlin
- Urry, C. Megan
- Sanders, David B.
- Scoville, Nicholas
- Sheth, Kartik
2020
Link zum Volltext
Journal of obstetrics and gynaecology, 2020-01, Vol.40 (1), p.96-101
2020
Link zum Volltext
Astrophysical journal. Letters, 2019-11, Vol.885 (1), p.L21
2019
Link zum Volltext
Synthetic Antibodies with a Human Framework That Protect Mice from Lethal Sudan Ebolavirus Challenge
2014
Link zum Volltext
Proceedings of Fifth International Conference on Soft Computing for Problem Solving, 2016, Vol.436, p.783-793
2016
Link zum Volltext
Digital Resilience: Navigating Disruption and Safeguarding Data Privacy, 2024
2024
Link zum Volltext
Digital Resilience: Navigating Disruption and Safeguarding Data Privacy, 2024
2024
Link zum Volltext
Digital Resilience: Navigating Disruption and Safeguarding Data Privacy, 2024
2024
Link zum Volltext
Digital Resilience: Navigating Disruption and Safeguarding Data Privacy, 2024
2024
Link zum Volltext
Digital Resilience: Navigating Disruption and Safeguarding Data Privacy, 2024
2024
Link zum Volltext
Digital Resilience: Navigating Disruption and Safeguarding Data Privacy, 2024
2024
Link zum Volltext
Soft Computing for Problem Solving, 2023, Vol.547, p.337-353
2023
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Digital Resilience
- Computer Science, Hardware & Architecture
- Computer Science, Theory & Methods
- Active Galactic Nuclei
- Artificial Intelligence
- Astronomy & Astrophysics
- Black Holes
- Communications Engineering, Networks
- Cyber-Physical Systems
- Cybersecurity
- Deep Learning
- Deposition
- Engineering
- Galactic Evolution
- Galaxies
- Galaxy Mergers & Collisions
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library Complete
- EZB Free E-Journals
- IEEE Electronic Library (IEL)
- Springer Book Series
- Taylor & Francis:Master (3349 titles)
- MEDLINE
- IngentaConnect
- NUS Single-Journal Subscriptions
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis
Zeitschrift / Serie
Neu hinzugefügt