Sortiert nach
IEEE transactions on computer-aided design of integrated circuits and systems, 2007-03, Vol.26 (3), p.456-467
2007
- Link zum Volltext
Cyber Physical Systems. Model-Based Design, p.222-230
Link zum Volltext
Proceedings of the IEEE, 2003-01, Vol.91 (1), p.64-83
2003
- Link zum Volltext
IEEE transactions on computer-aided design of integrated circuits and systems, 2010-10, Vol.29 (10), p.1471-1480
2010
- Link zum Volltext
IEEE transactions on computer-aided design of integrated circuits and systems, 2002-02, Vol.21 (2), p.169-183
2002
- Link zum Volltext
Automated Technology for Verification and Analysis, 2005, p.323-337
1ère éd, 2005
Link zum Volltext
ACM transactions on embedded computing systems, 2022-12
2022
Link zum Volltext
Design, Automation and Test in Europe, 2005, Vol.1, p.66-67
2005
- Link zum Volltext
Annual ACM IEEE Design Automation Conference: Proceedings of the 37th conference on Design automation; 05-09 June 2000, 2000, p.322-327
2000
Link zum Volltext
Computer Aided Verification, 2005, p.449-461
2005
Link zum Volltext
Embedded and Ubiquitous Computing, 2006, p.449-458
2006
Link zum Volltext
Proceedings of the 26th International Conference on compiler construction, 2017, p.76-86
2017
Link zum Volltext
SIGBED review, 2005-10, Vol.2 (4), p.56-62
2005
Link zum Volltext
ACM transactions on embedded computing systems, 2019-02, Vol.18 (1), p.1-27
2019
Link zum Volltext
Annual ACM IEEE Design Automation Conference: Proceedings of the 40th conference on Design automation; 02-06 June 2003, 2003, p.159-162
2003
- Link zum Volltext
Implementation science : IS, 2022-10, Vol.17 (1), p.72-72, Article 72
2022
Link zum Volltext
MILCOM 2022 - 2022 IEEE Military Communications Conference (MILCOM), 2022, p.285-291
2022
- Link zum Volltext
Embedded Software and Systems, 2005, p.129-140
2005
Link zum Volltext
Principles of Modeling, 2018, Vol.10760, p.240-253
2018
Link zum Volltext
2007 44th ACM/IEEE Design Automation Conference, 2007, p.264-265
2007
- Link zum Volltext
2006 43rd ACM/IEEE Design Automation Conference, 2006, p.679-682
2006
- Link zum Volltext
2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2015, p.83-93
2015
Link zum Volltext
2019 ACM/IEEE 46th Annual International Symposium on Computer Architecture (ISCA), 2019, p.762-773
2019
- Link zum Volltext
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2015, p.179-187
2015
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- IngentaConnect
- Journals@Ovid Ovid Full Text
- Single Journals
- IngentaConnect Journals
- ScienceDirect Journals (5 years ago - present)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library All Journals
- Wiley Online Library Full Collection 2018
- JSTOR Archive Collection A-Z Listing
- Springer Online Journals Complete
- Oxford Journals Current Collection
- Oxford Journals 2020 Medicine
- Nature Journals Online
- Taylor & Francis:Master (3349 titles)
- Taylor & Francis Current Content Access
- ACM Digital Library
- De Gruyter eBooks
Zeitschrift / Serie
Neu hinzugefügt