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











Encyclopedia of Spectroscopy and Spectrometry, 2017, p.114-120
Third Edition, 2017
Link zum Volltext

Logic-Based Program Synthesis and Transformation, 2022, Vol.13290, p.135-156
2022
Link zum Volltext

Open Access
The Next 700 Program Transformers
Logic-Based Program Synthesis and Transformation, 2022, Vol.13290, p.113-134
2022
Link zum Volltext

Logic-Based Program Synthesis and Transformation, 2022, Vol.13290, p.92-112
2022
Link zum Volltext

Molecular Analyses, 2022, Vol.1, p.105-114
1, 2022
Link zum Volltext




Logic-Based Program Synthesis and Transformation, 2022, Vol.13290, p.16-37
2022
Link zum Volltext

Logic-Based Program Synthesis and Transformation, 2022, Vol.13290, p.157-175
2022
Link zum Volltext

S-Semantics–an Example
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), 2022, Vol.13290, p.60-74
2022
Link zum Volltext

Open Access
Disjunctive Delimited Control
Logic-Based Program Synthesis and Transformation, 2022, Vol.13290, p.75-91
2022
Link zum Volltext


Aktive Filter
KollektionTaylor & Francis:Master (3349 titles)
KollektioneBooks on EBSCOhost
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt