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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Information and computation, 2017-10, Vol.256, p.287-299
2017
Volltextzugriff (PDF)


Fundamenta informaticae, 2019-01, Vol.167 (1-2), p.59-92
2019
Volltextzugriff (PDF)

International journal on software tools for technology transfer, 2018-02, Vol.20 (1), p.35-55
2018
Volltextzugriff (PDF)

Theoretical computer science, 2013-06, Vol.488, p.78-95
2013
Volltextzugriff (PDF)



Journal of membrane computing, 2021-12, Vol.3 (4), p.296-302
2021
Volltextzugriff (PDF)

Applied Mechanics and Materials, 2014-06, Vol.568-570, p.812-816
2014
Volltextzugriff (PDF)


Memoirs of the Faculty of Science, Kyushu University. Series D, Earth and planetary sciences, 2008-02, Vol.32 (1), p.7-24
2008
Volltextzugriff (PDF)

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023, p.48-59
2023
Volltextzugriff (PDF)

Data science journal, 2009-01, Vol.8, p.S14-S23
2009
Volltextzugriff (PDF)

IEEE transactions on computer-aided design of integrated circuits and systems, 2007-07, Vol.26 (7), p.1196-1210
2007
Volltextzugriff (PDF)

計測と制御, 2014/11/10, Vol.53(11), pp.988-996
2014
Volltextzugriff (PDF)

AI 2004: Advances in Artificial Intelligence, 2004, Vol.3339, p.681-693
2004
Volltextzugriff (PDF)


2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS), 2017, p.439-450
2017
Volltextzugriff (PDF)

Intelligent Computing, 2022, Vol.507, p.45-58
2022
Volltextzugriff (PDF)

Proceedings of the 16th International Software Product Line Conference - Volume 1, 2012, p.186-195
2012
Volltextzugriff (PDF)

Parametric quantified SAT solving
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, 2010, p.77-84
2010
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n