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...Formal aspects of computing, 2021-12, Vol.33 (6), p.925-955
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-03, Vol.111 (Proc. MBT 2013), p.3-28
2013
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2021-11, Vol.349
2021
Volltextzugriff (PDF)
Polymer (Guilford), 2011-01, Vol.52 (2), p.275-281
2011
Volltextzugriff (PDF)
Software testing, verification & reliability, 2022-03, Vol.32 (2), p.n/a
2022
Volltextzugriff (PDF)
Polymer (Guilford), 2009-10, Vol.50 (21), p.5016-5023
2009
Volltextzugriff (PDF)
ACM computing surveys, 2015-11, Vol.48 (2), p.1-41
2015
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2021, Vol.348, p.101-109
2021
Volltextzugriff (PDF)
Journal of hypertension, 2007-11, Vol.25 (11), p.2280-2285
2007
Volltextzugriff (PDF)
Science of computer programming, 2023-03, Vol.226, p.102930, Article 102930
2023
Volltextzugriff (PDF)
Methods of information in medicine, 2017-01, Vol.56 (3), p.217-229
2017
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.84-102
Volltextzugriff (PDF)
Science of computer programming, 2024-01, Vol.231, p.103005, Article 103005
2024
Volltextzugriff (PDF)
Correct System Design, p.133-151
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-11, Vol.102 (Proc. SSV 2012), p.88-102
2012
Volltextzugriff (PDF)
Journal of hypertension, 2024-05, Vol.42 (Suppl 1), p.e75
2024
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Applications, p.434-448
Volltextzugriff (PDF)
Science of computer programming, 2019-06, Vol.179, p.1-23
2019
Volltextzugriff (PDF)
Science of computer programming, 2014-10, Vol.91, p.188-215
2014
Volltextzugriff (PDF)
Journal of hypertension, 2023-06, Vol.41 (Suppl 3), p.e245
2023
Volltextzugriff (PDF)
Science of computer programming, 2017-01, Vol.133, p.91-115
2017
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Model-Based Testing
- Life Sciences & Biomedicine
- Humans
- Software
- Software Engineering
- Exact Sciences And Technology
- Applied Sciences
- Equivalence Class Partition Testing
- Cardiovascular System & Cardiology
- Computer Science, Information Systems
- Computer Science; Control Theory; Systems
- Engineering
- Formal Methods
- Peripheral Vascular Disease
- Computer Science, Interdisciplinary Applications
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Electronic Journals Library
- Journals@OVID
- MEDLINE
- IngentaConnect Journals
- IEEE/IET Electronic Library (IEL)
- Springer Online Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- Taylor & Francis Online
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis
- Single Journals
- Wiley Online Library Journals Frontfile Complete
- Business Source Ultimate
Zeitschrift / Serie
- Journal Of Hypertension
- Science Of Computer Programming
- Electronic Proceedings In Theoretical Computer Science
- European Journal For Biomedical Informatics
- Formal Aspects Of Computing
- International Journal On Software Tools For Technology Transfer
- British Journal Of Biomedical Science
- Hypertension
- Ifac Proceedings Volumes
- Polymer
Neu hinzugefügt