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...Logical methods in computer science, 2023-01, Vol.19, Issue 2
2023
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2023-03, Vol.45 (1), p.1-35, Article 3
2023
Volltextzugriff (PDF)
2018
Volltextzugriff (PDF)
IEEE transactions on plasma science, 2018-08, Vol.46 (8), p.2935-2941
2018
Volltextzugriff (PDF)
Journal of loss prevention in the process industries, 2019-09, Vol.61, p.213-219
2019
Volltextzugriff (PDF)
ACM SIGAda Ada Letters, 2023-04, Vol.42 (2), p.75-78
2023
Volltextzugriff (PDF)
IEEE transactions on components, packaging, and manufacturing technology (2011), 2018-06, Vol.8 (6), p.958-965
2018
Volltextzugriff (PDF)
Journal of computer languages (Online), 2022-06, Vol.70, p.101119, Article 101119
2022
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.209-226
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2022, Vol.13273, p.131-150
2022
Volltextzugriff (PDF)
Programming Languages and Systems, p.110-131
Volltextzugriff (PDF)
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, p.156-163
Volltextzugriff (PDF)
Formal Methods Teaching, 2021, Vol.13122, p.101-116
2021
Volltextzugriff (PDF)
ACM SIGAda Ada Letters, 2019-12, Vol.38 (2), p.64-68
2019
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, p.187-207
Volltextzugriff (PDF)
Formal Methods. FM 2019 International Workshops, p.388-405
- Runge, Tobias
- Thüm, Thomas
- Cleophas, Loek
- Schaefer, Ina
- Watson, Bruce W.
- 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)
Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024, p.17-26
2024
Volltextzugriff (PDF)
The American heart journal, 2010, Vol.160 (3), p.506-512
2010
Volltextzugriff (PDF)
Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A, 2019, p.78-83
2019
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Modeling, p.502-515
Volltextzugriff (PDF)
Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020, p.22-34
2020
Volltextzugriff (PDF)
Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1, 2018, p.1-13
2018
Volltextzugriff (PDF)
The American heart journal, 2010-09, Vol.160 (3), p.506-512
2010
Volltextzugriff (PDF)
Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems, 2022, p.1-9
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Physical Sciences
- Computer Science
- Engineering
- Photodiodes
- Optics
- Engineering, Electrical & Electronic
- Life Sciences & Biomedicine
- Correctness-By-Construction
- Humans
- Physics
- Computer Science, Software Engineering
- Optical Waveguides
- Computer Science, Theory & Methods
- Linearity
- Avalanche Photodiodes
- Bandwidth
- Software Product Lines
- Modulation
Kollektion
- Ingenta
- IEEE/IET Electronic Library (IEL)
- EZB Electronic Journals Library
- IngentaConnect Journals
- ACM Digital Library
- MEDLINE
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Book Series
- Access via ScienceDirect (Elsevier)
- SpringerLink
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Journals@Ovid Full Text
- Publisher or Other Site
- Psychology and Behavioral Sciences Collection
- Access via Business Source (EBSCOhost)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Taylor & Francis Online
- Taylor & Francis
- American Physical Society Journals
Zeitschrift / Serie