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...Indian journal of otolaryngology, and head, and neck surgery, 2022-12, Vol.74 (Suppl 3), p.6112-6118
2022
Volltextzugriff (PDF)
IEEE transactions on computer-aided design of integrated circuits and systems, 2024-11, Vol.43 (11), p.4322-4333
2024
Volltextzugriff (PDF)
IEEE transactions on automatic control, 2012-06, Vol.57 (6), p.1445-1455
2012
Volltextzugriff (PDF)
ACM transactions on embedded computing systems, 2019-10, Vol.18 (5s), p.1-23
2019
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2022, Vol.13182, p.285-300
2022
Volltextzugriff (PDF)
IEEE transactions on computer-aided design of integrated circuits and systems, 2024-11, Vol.43 (11), p.4310-4321
2024
Volltextzugriff (PDF)
IEEE transactions on computer-aided design of integrated circuits and systems, 2023-10, Vol.42 (10), p.1-1
2023
Volltextzugriff (PDF)
IEEE transactions on automatic control, 2015-12, Vol.60 (12), p.3210-3225
2015
Volltextzugriff (PDF)
Quantitative Evaluation of Systems, 2022, Vol.13479, p.192-213
2022
Volltextzugriff (PDF)
Nonlinear analysis. Hybrid systems, 2020-05, Vol.36, p.100856, Article 100856
2020
Volltextzugriff (PDF)
NASA Formal Methods, 2024, Vol.14627, p.223-238
2024
Volltextzugriff (PDF)
Biomedicine, 2023-09, Vol.43 (4), p.1350-1352
2023
Volltextzugriff (PDF)
IFAC-PapersOnLine, 2024, Vol.58 (11), p.195-200
2024
Volltextzugriff (PDF)
IFAC-PapersOnLine, 2024, Vol.58 (11), p.195-200
2024
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.752-769
2016
Volltextzugriff (PDF)
Discrete event dynamic systems, 2018-09, Vol.28 (3), p.349-374
2018
Volltextzugriff (PDF)
Quantitative Evaluation of Systems, 2018, Vol.11024, p.240-256
2018
Volltextzugriff (PDF)
Theoretical computer science, 2015-04, Vol.574, p.1-17
2015
Volltextzugriff (PDF)
BMJ case reports, 2020-08, Vol.13 (8), p.e235526
2020
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, 2018, Vol.11022, p.199-214
2018
Volltextzugriff (PDF)
Formal methods in system design, 2015-04, Vol.46 (2), p.105-134
2015
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Mathematics
- Automation & Control Systems
- Engineering
- Mathematics, Applied
- Physical Sciences
- Engineering, Electrical & Electronic
- Life Sciences & Biomedicine
- Safety
- Verification
- Hybrid Systems
- Automata
- Robotics
- Hybrid System
- Mathematical Analysis
- Stability Analysis
Kollektion
- Ingenta
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- Springer Book Series (Lecture Notes)
- IEEE Electronic Library Online
- EZB Electronic Journals Library
- ACM Digital Library
- Journals@Ovid Complete
- MEDLINE
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- SpringerLink E-Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Single Journals
- Oxford Journals
- Oxford Journals 2020 Medicine
- JSTOR
- Springer Nature - Connect here FIRST to enable access
- Thieme Connect Journals
Zeitschrift / Serie
- Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems
- Ieee Transactions On Automatic Control
- Ifac-Papersonline
- Indian Journal Of Sexually Transmitted Diseases And Aids
- Theoretical Computer Science
- Acm Transactions On Embedded Computing Systems
- Annals Of Indian Academy Of Neurology
- Annals Of Pure And Applied Logic
- Annals Of The Indian Academy Of Neurology
- Bio Web Of Conferences
Neu hinzugefügt