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...
SMT Solver With Hardware Acceleration
IEEE transactions on computer-aided design of integrated circuits and systems, 2023-06, Vol.42 (6), p.2055-2068
2023
Volltextzugriff (PDF)

IEEE transactions on computers, 2007-05, Vol.56 (5), p.692-705
2007
Volltextzugriff (PDF)

IEEE transactions on intelligent transportation systems, 2024-09, Vol.25 (9), p.11881-11892
2024
Volltextzugriff (PDF)

2022 IEEE 65th International Midwest Symposium on Circuits and Systems (MWSCAS), 2022, p.1-4
2022
Volltextzugriff (PDF)

Journal of Information Science and Engineering, 2024-05, Vol.40 (3), p.595-614
2024
Volltextzugriff (PDF)

IEEE transactions on computers, 2014-07, Vol.63 (7), p.1613-1625
2014
Volltextzugriff (PDF)

Journal of computer science and technology, 2011-05, Vol.26 (3), p.448-462
2011
Volltextzugriff (PDF)

Journal of Information Science and Engineering, 2022-11, Vol.38 (6), p.1265-1283
2022
Volltextzugriff (PDF)


The Journal of systems and software, 2009-10, Vol.82 (10), p.1627-1641
2009
Volltextzugriff (PDF)

Proceedings of the Conference on Design, Automation and Test in Europe, 2012, p.1561-1566
2012
Volltextzugriff (PDF)

2022 International Conference on Technologies and Applications of Artificial Intelligence (TAAI), 2022, p.1-6
2022
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, 2005, p.370-384
1ère éd, 2005
Volltextzugriff (PDF)

2020 Indo – Taiwan 2nd International Conference on Computing, Analytics and Networks (Indo-Taiwan ICAN), 2020, p.69-74
2020
Volltextzugriff (PDF)

International journal of software engineering and knowledge engineering, 2007-02, Vol.17 (1), p.57-78
2007
Volltextzugriff (PDF)


Microprocessors and microsystems, 2023-06, Vol.99, p.104845, Article 104845
2023
Volltextzugriff (PDF)

2013 Seventh IEEE/ACM International Symposium on Networks-on-Chip (NoCS), 2013, p.1-2
2013
Volltextzugriff (PDF)

2014 International Conference on Trustworthy Systems and their Applications, 2014, p.22-28
2014
Volltextzugriff (PDF)



The 2010 International Conference on Green Circuits and Systems, 2010, p.299-304
2010
Volltextzugriff (PDF)

2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012, p.1561-1566
2012
Volltextzugriff (PDF)


Journal of Information Science and Engineering, 2022-11, Vol.38 (6), p.1285-1303
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n