Sortiert nach
Türk Kardiyoloji Derneği arşivi, 2019-09, Vol.47 (6), p.534-534
2019
Link zum Volltext
Andrologia, 2020-10, Vol.52 (9), p.e13674-n/a
2020
Link zum Volltext
Logical methods in computer science, 2015-04, Vol.11, Issue 1
2015
Link zum Volltext
Journal of medical biochemistry, 2019-05, Vol.38 (3), p.249-255
2019
Link zum Volltext
Theoretical computer science, 2021-11, Vol.893, p.1-16
2021
Link zum Volltext
CONCUR 2013 – Concurrency Theory, p.242-256
Link zum Volltext
Efficacy of Aspiration-Assisted Ureteral Access Sheath (ClearPETRA) in Retrograde Intrarenal Surgery
2024
Link zum Volltext
Computational Methods in Systems Biology, p.155-187
Link zum Volltext
Urologia, 2022-02, Vol.89 (1), p.85
2022
Link zum Volltext
SIGPLAN notices, 2016-04, Vol.51 (1), p.608-621
2016
Link zum Volltext
Verified Software: Theories, Tools, Experiments, p.25-39
Link zum Volltext
SIGPLAN notices, 2013-01, Vol.48 (1), p.317-328
2013
Link zum Volltext
Information processing letters, 2005-12, Vol.96 (6), p.193-196
2005
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.296-311
Link zum Volltext
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2013, p.317-328
2013
Link zum Volltext
SIGPLAN notices, 2017-05, Vol.52 (1), p.429-442
2017
Link zum Volltext
Computer Aided Verification, p.294-309
Link zum Volltext
Proceedings of the ACM International Conference on Computing Frontiers, 2013, p.1-9
2013
Link zum Volltext
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, 2009, p.1-11
2009
Link zum Volltext
Verified Software: Theories, Tools, and Experiments, p.165-182
Link zum Volltext
Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design, 2005, p.199-208
2005
- Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
- EZB Free E-Journals
- MEDLINE
- Ingenta
- Journals@Ovid Complete
- Springer journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Publisher website
- Wiley Online Library Journals Frontfile Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library
- IEEE/IET Electronic Library (IEL)
- SAGE Complete
- Taylor & Francis Current Content Access
- Taylor & Francis Journals Auto-Holdings Collection
- ACM Digital Library Complete
- Taylor & Francis Online
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
Zeitschrift / Serie
Neu hinzugefügt