Sortiert nach
IEEE access, 2023, Vol.11, p.79984-79993
2023
Link zum Volltext
Formal methods in system design, 2021, Vol.58 (1-2), p.126-159
2021
Link zum Volltext
Next materials, 2024-01, Vol.2, p.100132, Article 100132
2024
Link zum Volltext
Proceedings of ACM on programming languages, 2021-08, Vol.5 (ICFP), p.1-30
2021
Link zum Volltext
ACS sustainable chemistry & engineering, 2022-05, Vol.10 (17), p.5517-5525
2022
Link zum Volltext
Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.1987-2016, Article 68
2023
Link zum Volltext
Journal of adhesion science and technology, 2023-11, Vol.ahead-of-print (ahead-of-print), p.1-20
2023
Link zum Volltext
Construction & building materials, 2024-01, Vol.411, p.134069, Article 134069
2024
Link zum Volltext
Matter, 2021-09, Vol.4 (9), p.3049-3066
2021
Link zum Volltext
Perspex, 2021, Vol.13085, p.121-140
2021
Link zum Volltext
Nano energy, 2022-11, Vol.102, p.107670, Article 107670
2022
Link zum Volltext
ACS applied materials & interfaces, 2022-02, Vol.14 (6), p.8417-8426
2022
Link zum Volltext
Computational Methods in Systems Biology, 2020, p.3-26
2020
Link zum Volltext
Materials horizons, 2023-01, Vol.1 (1), p.257-267
2023
Link zum Volltext
A List of Successes That Can Change the World, 2016, Vol.9600, p.249-272
2016
Link zum Volltext
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014, p.637-653
2014
Link zum Volltext
ACS applied materials & interfaces, 2018-03, Vol.10 (10), p.8926-8936
2018
Link zum Volltext
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-29
2018
Link zum Volltext
Formal Methods – The Next 30 Years, 2019, p.406-424
2019
Link zum Volltext
Reversible Computation, p.3-26
Link zum Volltext
Graph Transformation, p.161-176
Link zum Volltext
Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 2015, p.41-50
2015
Link zum Volltext
Formal Methods and Software Engineering, p.1-10
Link zum Volltext
Proceedings of the 17th International Conference on Availability, Reliability and Security, 2022, p.1-11
2022
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Materials Science
- Materials Science, Multidisciplinary
- Wood
- Engineering
- Physical Sciences
- Scala
- Science & Technology - Other Topics
- Chemistry
- Computer Science, Information Systems
- Nanoscience & Nanotechnology
- Programvaruteknik
- Software Engineering
- Chemistry, Multidisciplinary
- Datavetenskap
- Engineering, Chemical
Kollektion
- Ingenta Connect
- ACM Digital Library
- EZB Free E-Journals
- SpringerLink Series
- Elsevier ScienceDirect Journals Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- MEDLINE
- IngentaConnect Journals
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Applied Social Sciences Index & Abstracts (ASSIA)
- Taylor & Francis Current Content Access
- IEEE Xplore
- NUS Single-Journal Subscriptions
- SpringerLink (Online service)
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis
Zeitschrift / Serie
- Proceedings Of Acm On Programming Languages
- Acs Applied Materials & Interfaces
- Electronic Notes In Theoretical Computer Science
- Sigplan Notices
- Acs Sustainable Chemistry & Engineering
- Construction & Building Materials
- Formal Methods In System Design
- Ieee Access
- Journal Of Adhesion Science And Technology
- Journal Of Rehabilitation Medicine