Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Electronic proceedings in theoretical computer science, 2021, Vol.338, p.3-18
2021
Volltextzugriff (PDF)
Computers (Basel), 2019-06, Vol.8 (2), p.31
2019
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.27-33
Volltextzugriff (PDF)
Procedia CIRP, 2021, Vol.104, p.1936-1941
2021
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2016-08, Vol.85 (5), p.999-1010
2016
Volltextzugriff (PDF)
Formal aspects of computing, 2022-07, Vol.34 (1), p.1-39
2022
Volltextzugriff (PDF)
Proceedings of the 22nd International Symposium on Distributed Simulation and Real Time Applications, 2018, p.37-46
2018
Volltextzugriff (PDF)
Science of computer programming, 2013-11, Vol.78 (11), p.2160-2191
2013
Volltextzugriff (PDF)
Formal aspects of computing, 2015-03, Vol.27 (2), p.283-307
2015
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, p.72-87
Volltextzugriff (PDF)
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, p.311-317
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.50-66
Volltextzugriff (PDF)
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, p.200-209
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Practice, p.159-176
Volltextzugriff (PDF)
Computer Security – ESORICS 2013, p.517-535
Volltextzugriff (PDF)
Formal Methods. FM 2019 International Workshops, p.254-271
- Macedo, Hugo Daniel
- Rasmussen, Mikkel Bayard
- Thule, Casper
- Larsen, Peter Gorm
- Oliveira, José N.
- Dongol, Brijesh
- Marmsoler, Diego
- Couto, Luis
- Luckcuck, Matt
- Cerone, Antonio
- Monteiro, Pedro
- Sekerinski, Emil
- Astarte, Troy
- Campos, José
- Kutrib, Martin
- Ratiu, Daniel
- Gonnord, Laure
- Delmas, David
- Farrell, Marie
- Moreira, Nelma
- Guidotti, Riccardo
Volltextzugriff (PDF)
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, p.143-155
Volltextzugriff (PDF)
Formal Methods. FM 2019 International Workshops, p.272-288
- Battle, Nick
- Thule, Casper
- Gomes, Cláudio
- Macedo, Hugo Daniel
- Larsen, Peter Gorm
- Oliveira, José N.
- Dongol, Brijesh
- Marmsoler, Diego
- Couto, Luis
- Luckcuck, Matt
- Cerone, Antonio
- Monteiro, Pedro
- Sekerinski, Emil
- Astarte, Troy
- Campos, José
- Kutrib, Martin
- Ratiu, Daniel
- Gonnord, Laure
- Delmas, David
- Farrell, Marie
- Moreira, Nelma
- Guidotti, Riccardo
Volltextzugriff (PDF)
Smart and Sustainable Collaborative Networks 4.0, p.433-440
Volltextzugriff (PDF)
NASA Formal Methods, 2017, Vol.10227, p.146-162
2017
Volltextzugriff (PDF)
FM 2008: Formal Methods, p.181-197
Volltextzugriff (PDF)
Mathematics of Program Construction, p.271-287
Volltextzugriff (PDF)
2018 IEEE/ACM 22nd International Symposium on Distributed Simulation and Real Time Applications (DS-RT), 2018, p.1-5
2018
Volltextzugriff (PDF)
2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC), 2021, p.1254-1259
2021
Volltextzugriff (PDF)
2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), 2022, p.53-54
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Life Sciences & Biomedicine
- Digital Twins
- Humans
- Mathematics
- Co-Simulation
- Linear Algebra
- Materials Science
- Materials Science, Ceramics
- Mathematics, Applied
- Patients
- Physical Sciences
- Software
- Treatment Outcome
- Cardiovascular Disease
- Computer Science, Interdisciplinary Applications
Kollektion
- IngentaConnect
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- Springer Book Series
- MEDLINE
- IngentaConnect Journals
- Journals@Ovid Ovid Full Text
- IEEE Xplore
- Access via ScienceDirect (Elsevier)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Single Journals
- Access via Wiley Online Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Access via ACM Digital Library
- Wiley Online Library Full Collection 2018
- SpringerNature Journals
- Access via Oxford University Press
- Oxford Journals 2020 Medicine
- Thieme Connect Journals
Zeitschrift / Serie
- Ceramics International
- Cancer
- Formal Aspects Of Computing
- Revista Brasileira De Crescimento E Desenvolvimento Humano
- Revista Brasileira De Terapia Intensiva
- American Journal Of Orthodontics And Dentofacial Orthopedics
- American Journal Of Respiratory And Critical Care Medicine
- Boletín De La Sociedad Española De Cerámica Y Vidrio
- Boletín De La Sociedad Española De Cerámica Y Vidrio/boletín De La Sociedad Española De Cerámica Y Vidrio
- Brazilian Journal Of Implantology And Health Sciences
Neu hinzugefügt