Sortiert nach
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...2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 2023, p.1-9
2023
Volltextzugriff (PDF)
Energy & environmental science, 2024-09, Vol.17 (18), p.6571-6581
2024
Volltextzugriff (PDF)
IEEE transactions on automatic control, 1998-04, Vol.43 (4), p.540-554
1998
Volltextzugriff (PDF)
IEEE transactions on software engineering, 1996-03, Vol.22 (3), p.181-201
1996
Volltextzugriff (PDF)
ACS energy letters, 2024-04, Vol.9 (4), p.1863-1870
2024
Volltextzugriff (PDF)
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2019, p.1-2
2019
Volltextzugriff (PDF)
2009 46th ACM/IEEE Design Automation Conference, 2009, p.178-183
2009
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 1997-12, Vol.1 (1-2), p.110-122
1997
Volltextzugriff (PDF)
Proceedings of the 42nd annual Design Automation Conference, 2005, p.795-800
2005
Volltextzugriff (PDF)
Proceedings - ACM IEEE Design Automation Conference, 1999, p.300-305
1999
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, 2005, p.41-71
2005
Volltextzugriff (PDF)
2007 7th International Conference on ASIC, 2007, p.1333-1333
2007
Volltextzugriff (PDF)
Computer Aided Verification, 1997, p.460-463
1997
Volltextzugriff (PDF)
Annual ACM IEEE Design Automation Conference: Proceedings of the 41st annual conference on Design automation; 07-11 June 2004, 2004, p.224-229
2004
Volltextzugriff (PDF)
2009 10th International Symposium on Quality Electronic Design, 2009, p.647-652
2009
Volltextzugriff (PDF)
Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design, 2000, p.120-126
2000
Volltextzugriff (PDF)
2011 12th International Symposium on Quality Electronic Design, 2011, p.1-9
2011
Volltextzugriff (PDF)
2007 44th ACM/IEEE Design Automation Conference, 2007, p.859-864
2007
Volltextzugriff (PDF)
Computer Aided Verification, 1995, p.225-238
1995
Volltextzugriff (PDF)
European journal of operational research, 1998-02, Vol.104 (3), p.593-600
1998
Volltextzugriff (PDF)
International journal of foundations of computer science, 2006-08, Vol.17 (4), p.763-774
2006
Volltextzugriff (PDF)
Computer Aided Verification, 1995, p.381-394
1995
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, 2004, Vol.3299, p.7-7
2004
Volltextzugriff (PDF)
Computers & operations research, 1997-08, Vol.24 (8), p.757-765
1997
Volltextzugriff (PDF)
8th International Symposium on Quality Electronic Design (ISQED'07), 2007, p.344-349
2007
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Life Sciences & Biomedicine
- Computer Science
- Engineering
- Humans
- Engineering, Electrical & Electronic
- Computer Science, Hardware & Architecture
- Female
- Adult
- Computer Science, Theory & Methods
- Male
- Biological And Medical Sciences
- Formal Verification
- Middle Aged
- Science & Technology - Other Topics
- Medical Sciences
- Algorithm Design And Analysis
- Clocks
- Engines
Kollektion
- Ingenta E-Journals
- Free E-Journal (出版社公開部分のみ）
- IEEE Xplore
- ACM Digital Library Complete
- MEDLINE
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLink Series
- Journals@Ovid Full Text
- Springer LINK 全文期刊数据库
- NUS Single-Journal Subscriptions
- Nature Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Blackwell Single Titles
- JSTOR All Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Wiley Online Library
- BMJ
Zeitschrift / Serie
Neu hinzugefügt