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...
The Journal of thoracic and cardiovascular surgery, 2018-09, Vol.156 (3), p.1160-1161
2018
Link zum Volltext

Proceedings of the National Academy of Sciences - PNAS, 2011-06, Vol.108 (23), p.9572-9577
2011
Link zum Volltext




Information sciences and technologies, 2013-03, Vol.5 (1), p.13-13
2013
Link zum Volltext

Journal of research in medical sciences, 2010-11, Vol.15 (6), p.348-358
2010
Link zum Volltext

International journal on software tools for technology transfer, 2017-10, Vol.19 (5), p.565-584
2017
Link zum Volltext

Journal of the American College of Cardiology, 2021-11, Vol.78 (19), p.B86-B86
2021
Link zum Volltext


Journal of the American College of Cardiology, 2021-11, Vol.78 (19), p.B65-B65
2021
Link zum Volltext

Comparative medicine, 2013-06, Vol.63 (3), p.205-205
2013
Link zum Volltext

Open Access
Deciding Conditional Termination
Logical methods in computer science, 2014-08, Vol.10, Issue 3 (3)
2014
Link zum Volltext

Journal of research in medical sciences, 2009-01, Vol.14 (1), p.43-56
2009
Link zum Volltext

Computer Aided Verification, p.227-242
Link zum Volltext

Acta veterinaria Brno, 2010-11, Vol.79 (3), p.497-508
2010
Link zum Volltext




Tools and Algorithms for the Construction and Analysis of Systems, p.645-661
Link zum Volltext





Journal of research in medical sciences, 2008-05, Vol.13 (3), p.121-134
2008
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n