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...
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022, p.7-12
2022
Volltextzugriff (PDF)


Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2020-02, Vol.378 (2164), p.20190161-20190161
2020
Volltextzugriff (PDF)

Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2020-02, Vol.378 (2164), p.1-16
2020
Volltextzugriff (PDF)

2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, p.964-967
2021
Volltextzugriff (PDF)

2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), 2020, p.28-33
2020
Volltextzugriff (PDF)

Proceedings of the 59th ACM/IEEE Design Automation Conference, 2022, p.7-12
2022
Volltextzugriff (PDF)

Direito & justiça, 2015-07, Vol.41 (2), p.154
2015
Volltextzugriff (PDF)

2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 2019, p.13-18
2019
Volltextzugriff (PDF)

2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019, p.1349-1354
2019
Volltextzugriff (PDF)

2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, p.1044-1049
2021
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2020, Vol.318, p.106-118
2020
Volltextzugriff (PDF)

Fast-extract with cube hashing
2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC), 2017, p.145-150
2017
Volltextzugriff (PDF)

Vie sociale et traitements, 2015-10, Vol.128 (4), p.60-66
2015
Volltextzugriff (PDF)


Journal of psychopathology and behavioral assessment, 2009-03, Vol.31 (1), p.27-35
2009
Volltextzugriff (PDF)




2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC), 2018, p.586-591
2018
Volltextzugriff (PDF)

SIAM journal on applied mathematics, 1982-08, Vol.42 (4), p.868-894
1982
Volltextzugriff (PDF)

Journal of Differential Equations, 1981, Vol.42 (2), p.199-214
1981
Volltextzugriff (PDF)

Exact Synthesis of ESOP Forms
Advanced Boolean Techniques, 2019, p.177-194
2019
Volltextzugriff (PDF)

Constructive Methods for Nonlinear Boundary Value Problems and Nonlinear Oscillations, p.145-149
Volltextzugriff (PDF)

Topology (Oxford), 1975, Vol.14 (4), p.357-365
1975
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n