Sortiert nach
1st ed. 2020., 2019
Link zum Volltext
IEEE journal on emerging and selected topics in circuits and systems, 2022-09, Vol.12 (3)
2022
Link zum Volltext
Advanced Boolean Techniques, 2019, p.195-215
2019
Link zum Volltext
Proceedings of the 2014 IEEE/ACM International Conference on Computer-Aided Design, 2014, p.586-590
2014
Link zum Volltext
2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2014, p.586-590
2014
- Link zum Volltext
14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2011, p.417-422
2011
- Link zum Volltext
Proceedings of the 2014 Forum on Specification and Design Languages (FDL), 2014, Vol.978-2-9530504-9-3, p.1-8
2014
- Link zum Volltext
IPSJ Transactions on System LSI Design Methodology, 2018, Vol.11, pp.29-45
2018
Link zum Volltext
Tests and Proofs, p.61-77
Link zum Volltext
2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC), 2018, p.664-669
2018
- Link zum Volltext
Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2020-02, Vol.378 (2164), p.1-16
2020
Link zum Volltext
Proceedings of the 55th Annual Design Automation Conference, 2018, p.1-6
2018
Link zum Volltext
2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC), 2018, p.1-6
2018
- Link zum Volltext
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012, p.1078-1083
2012
- Link zum Volltext
2013 IEEE 43rd International Symposium on Multiple-Valued Logic, 2013, p.316-321
2013
- Link zum Volltext
Advanced Boolean Techniques, 2019, p.51-82
2019
Link zum Volltext
Proceedings of the Conference on Design, Automation and Test in Europe, 2013, p.1189-1192
2013
Link zum Volltext
2016 IEEE 7th Latin American Symposium on Circuits & Systems (LASCAS), 2016, p.91-94
2016
Link zum Volltext
IEEE transactions on quantum engineering, 2021, Vol.2, p.1-12
2021
Link zum Volltext
Advanced Boolean Techniques, 2019, p.237-258
2019
Link zum Volltext
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012, p.1142-1145
2012
- Link zum Volltext
2016 Formal Methods in Computer-Aided Design (FMCAD), 2016, p.169-176
2016
Link zum Volltext
Acta crystallographica. Section A, Foundations and advances, 2019-08, Vol.75 (a2), p.e710-e710
2019
Link zum Volltext
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2020, p.732-737
2020
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Acta Crystallographica. Section A, Foundations And Advances
- Acta Crystallographica. Section A, Foundations Of Crystallography
- Ieee Journal On Emerging And Selected Topics In Circuits And Systems
- Ieee Transactions On Quantum Engineering
- Iet Cyber-Physical Systems
- Iet Cyber-Physical Systems: Theory & Applications
- Ipsj Transactions On System Lsi Design Methodology
- Philosophical Transactions Of The Royal Society Of London. Series A: Mathematical, Physical, And Engineering Sciences