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...IEEE access, 2020, Vol.8, p.180825-180843
2020
Volltextzugriff (PDF)
PLoS computational biology, 2022-09, Vol.18 (9), p.e1010267-e1010267
2022
Volltextzugriff (PDF)
IEEE access, 2022, Vol.10, p.121365-121384
2022
Volltextzugriff (PDF)
PLoS computational biology, 2022-09, Vol.18 (9)
2022
Volltextzugriff (PDF)
2018
Volltextzugriff (PDF)
Hardware and Software: Verification and Testing, 2016, Vol.10028, p.152-168
2016
Volltextzugriff (PDF)
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015, p.134-139
2015
Volltextzugriff (PDF)
Computational Methods in Systems Biology, p.182-194
Volltextzugriff (PDF)
Hardware and Software: Verification and Testing, p.131-146
Volltextzugriff (PDF)
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2020, p.1-11
2020
Volltextzugriff (PDF)
Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022, p.773-776
2022
Volltextzugriff (PDF)
2022 IEEE Secure Development Conference (SecDev), 2022, p.52-58
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Information Systems
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Engineering
- Engineering, Electrical & Electronic
- Biochemical Research Methods
- Biochemistry & Molecular Biology
- Bounded Model Checking
- Computer Bugs
- Computer Science, Hardware & Architecture
- Hybrid Systems
- Life Sciences & Biomedicine
- Mathematical & Computational Biology
- Optimization
- Parameter Synthesis
- Safety
- Software
Kollektion
Zeitschrift / Serie