Sortiert nach
PloS one, 2015-09, Vol.10 (9), p.e0137442-e0137442
2015
Link zum Volltext
IEEE transactions on computer-aided design of integrated circuits and systems, 2016-11, Vol.35 (11), p.1797-1810
2016
- Link zum Volltext
IEEE transactions on computer-aided design of integrated circuits and systems, 2021-05, Vol.40 (5), p.904-917
2021
- Link zum Volltext
Journal of automated reasoning, 2023-09, Vol.67 (3), p.26, Article 26
2023
Link zum Volltext
IEEE transactions on computer-aided design of integrated circuits and systems, 2023-02, Vol.42 (2), p.473-482
2023
- Link zum Volltext
IEEE transactions on computer-aided design of integrated circuits and systems, 2022-04, Vol.41 (4), p.993-1005
2022
- Link zum Volltext
IEEE transactions on computers, 2018-08, Vol.67 (8), p.1202-1216
2018
- Link zum Volltext
IEEE journal on emerging and selected topics in circuits and systems, 2022-09, Vol.12 (3), p.581-583
2022
- Link zum Volltext
IEEE transactions on computer-aided design of integrated circuits and systems, 2021-04, Vol.40 (4), p.735-747
2021
- Link zum Volltext
IEEE journal on emerging and selected topics in circuits and systems, 2022-09, Vol.12 (3), p.584-601
2022
Link zum Volltext
IEEE transactions on computer-aided design of integrated circuits and systems, 2006-12, Vol.25 (12), p.2674-2686
2006
- Link zum Volltext
Scientific reports, 2017-10, Vol.7 (1), p.12873-13, Article 12873
2017
Link zum Volltext
2021 58th ACM/IEEE Design Automation Conference (DAC), 2021, p.439-444
2021
Link zum Volltext
2021 58th ACM/IEEE Design Automation Conference (DAC), 2021, p.877-882
2021
Link zum Volltext
2020 57th ACM/IEEE Design Automation Conference (DAC), 2020, p.1-6
2020
Link zum Volltext
2020 57th ACM/IEEE Design Automation Conference (DAC), 2020, p.1-6
2020
Link zum Volltext
IEEE transactions on computer-aided design of integrated circuits and systems, 2016-09, Vol.35 (9), p.1557-1568
2016
- Link zum Volltext
IEEE transactions on computer-aided design of integrated circuits and systems, 2017-08, Vol.36 (8), p.1251-1264
2017
- Link zum Volltext
IEEE transactions on computer-aided design of integrated circuits and systems, 2023-11, Vol.42 (11), p.1-1
2023
- Link zum Volltext
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2020, p.726-731
2020
- Link zum Volltext
Formal methods in system design, 2012-08, Vol.41 (1), p.45-65
2012
Link zum Volltext
Proceedings of the 55th Annual Design Automation Conference, 2018, p.1-6
2018
Link zum Volltext
2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2019, p.19-26
2019
- Link zum Volltext
IEEE transactions on computer-aided design of integrated circuits and systems, 2016-04, Vol.35 (4), p.598-610
2016
- Link zum Volltext
2019 56th ACM/IEEE Design Automation Conference (DAC), 2019, p.1-6
2019
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Engineering
- Engineering, Electrical & Electronic
- Computer Science, Theory & Methods
- Computer Science, Hardware & Architecture
- Logic Gates
- Boolean Functions
- Computer Science, Software Engineering
- Optimization
- Computer Science, Interdisciplinary Applications
- Circuits
- Hardware
- Complexity Theory
- Integrated Circuit Modeling
- Design Engineering
- Interpolation
- Circuit Synthesis
- Hardware -- Electronic Design Automation -- High-Level And Register-Transfer Level Synthesis
Kollektion
- IEEE/IET Electronic Library (IEL)
- ACM Digital Library
- Ingenta
- SpringerLink Series
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Full Text
- SpringerLink (Online service)
- MEDLINE
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- Oxford University Press Journals Current
- eBooks on EBSCOhost
- Springer Nature - Connect here FIRST to enable access
- Elsevier ScienceDirect Journals Complete
Zeitschrift / Serie
- Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems
- Ieee Journal On Emerging And Selected Topics In Circuits And Systems
- Crystal Growth & Design
- Ieee Transactions On Computers
- Plos One
- Acm Transactions On Modeling And Computer Simulation
- Acm Transactions On Reconfigurable Technology And Systems
- Acta Physica Sinica
- Acta Physica Sinica-Overseas Edition
- Applied Mechanics And Materials