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...

Journal of Clinical Microbiology, 2000-01, Vol.38 (1), p.105-109
2000
Volltextzugriff (PDF)


Journal of software, 2018-04, Vol.13 (4), p.242-259
2018
Volltextzugriff (PDF)


International journal of information and education technology, 2021-12, Vol.11 (12), p.631-637
2021
Volltextzugriff (PDF)

International journal of information and education technology, 2020-10, Vol.10 (10), p.736-743
2020
Volltextzugriff (PDF)

2021 9th International Conference on Information and Education Technology (ICIET), 2021, p.166-170
2021
Volltextzugriff (PDF)

South African Computer Journal, 2018-07, Vol.30 (1), p.161-181
2018
Volltextzugriff (PDF)

2021 10th International Conference on Educational and Information Technology (ICEIT), 2021, p.150-155
2021
Volltextzugriff (PDF)

Open Access
Verification conditions are code
Acta informatica, 2007-01, Vol.43 (6), p.431-447
2007
Volltextzugriff (PDF)


Proceedings of the National Academy of Sciences - PNAS, 1994-06, Vol.91 (13), p.6012-6016
1994
Volltextzugriff (PDF)

Proceedings of the 2019 8th International Conference on Educational and Information Technology, 2019, p.131-136
2019
Volltextzugriff (PDF)

South African computer journal = Suid-Afrikaanse rekenaartydskrif, 2018, Vol.30 (1), p.161-181
2018
Volltextzugriff (PDF)



Animal models of AIDS
Annals of neurology, 1988, Vol.23 (S1), p.213-214
1988
Volltextzugriff (PDF)

Open Access
Refinement semantics and loop rules
FM’99 — Formal Methods, 1999, p.1497-1510
1999
Volltextzugriff (PDF)


American journal of obstetrics and gynecology, 1995-02, Vol.172 (2), p.530-532
1995
Volltextzugriff (PDF)



2014 2nd International Conference on Information and Communication Technology (ICoICT), 2014, p.205-210
2014
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n