Sortiert nach
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Computer Aided Verification, 2013, p.347-363
2013
Link zum Volltext
Science of computer programming, 2023-01, Vol.225, p.102913, Article 102913
2023
Link zum Volltext
Verified Software: Theories, Tools, Experiments, p.1-21
Link zum Volltext
Science of computer programming, 2021-06, Vol.206, p.102626, Article 102626
2021
Link zum Volltext
Electronic proceedings in theoretical computer science, 2014-12, Vol.169 (Proc. HCVS 2014), p.39-52
2014
Link zum Volltext
Middle East journal of rehabilitation and health studies, 2022-01, Vol.9 (1)
2022
Link zum Volltext
Acta medica Iranica, 2013, Vol.51 (10), p.705-710
2013
Link zum Volltext
Electronic proceedings in theoretical computer science, 2021-09, Vol.344
2021
Link zum Volltext
Asian Spine Journal, 2014, 8(2), , pp.150-155
2014
Link zum Volltext
Iranian journal of radiology, 2019-12, Vol.16 (Special Issue)
2019
Link zum Volltext
Asian Spine Journal, 2014, 8(1), , pp.8-12
2014
Link zum Volltext
Research and development in medical education, 2016-06, Vol.5 (1), p.47-49
2016
Link zum Volltext
Electronic proceedings in theoretical computer science, 2022, Vol.373, p.35-43
2022
Link zum Volltext
Science of computer programming, 2018-08, Vol.160, p.1-2
2018
Link zum Volltext
Science of computer programming, 2018-08, Vol.160, p.1
2018
Link zum Volltext
Medical journal of the Islamic Republic of Iran, 2012-08, Vol.26 (3), p.143-146
2012
Link zum Volltext
Fundamentals of Software Engineering, 2023, p.18-24
2023
Link zum Volltext
Fundamentals of Software Engineering, 2023, p.104-111
2023
Link zum Volltext
Science of computer programming, 2015-11, Vol.112, p.1-2
2015
Link zum Volltext
2018 Formal Methods in Computer Aided Design (FMCAD), 2018, p.1-7
2018
Link zum Volltext
Lect. Notes Comput. Sci, 2022, p.43-60
2022
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
- EZB Electronic Journals Library
- IngentaConnect
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- Springer Books
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Journals@Ovid Complete
- SpringerLink Journals (MCLS)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library Journals Frontfile Complete
- Taylor & Francis Online
- Wiley Online Library Full Collection 2018
- Publisher website
- Taylor & Francis Current Content Access
- IEEE Xplore Digital Library
- SpringerLink Series
- ACM Digital Library Complete
- SAGE Journals
Zeitschrift / Serie
Neu hinzugefügt