語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
跳至 :
概要
書目資訊
主題
Integrated circuits - Congresses. - Very large scale integration - Computer-aided design
概要
作品:
10 作品在 0 項出版品 0 種語言
書目資訊
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : = 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Correct Hardware Design and Verification Methods : = 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Integrated circuit and system design = power and timing modeling, optimization and simulation : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, revised selected papers/
by:
(書目-語言資料,印刷品)
Correct hardware design and verification methods = 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings /
by:
(書目-語言資料,印刷品)
Integrated circuit and system design = power and timing modeling, optimization and simulation : 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003 : proceedings /
by:
(書目-語言資料,印刷品)
Integrated circuit design = power and timing modeling, optimization and simulation : 12th International Workshop, PATMOS 2002, Seville, Spain, September 11-13, 2002 : proceedings/
by:
(書目-語言資料,印刷品)
Integrated circuit and system design: power and timing modeling, optimization and simulation = 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings/
by:
(書目-語言資料,印刷品)
Integrated circuit and system design = power and timing modeling, optimization and simulation : 19th international workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009 : revised selected papers/
by:
(書目-語言資料,印刷品)
Correct hardware design and verification methods = 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /
by:
(書目-電子資源)
Correct hardware design and verification methods = 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings /
by:
(書目-語言資料,印刷品)
主題
Integrated circuits- Very large scale integration
Mathematical Logic and Formal Languages.
Software Engineering.
Integrated circuits- Verification
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Control Structures and Microprogramming.
Computer-Aided Engineering (CAD, CAE) and Design.
Logic Design.
Processor Architectures.
Circuits and Systems.
Performance and Reliability.
Memory Structures.
Computer Science.
Arithmetic and Logic Structures.
Computer Hardware.
System Performance and Evaluation.
Simulation and Modeling.
Electronic and Computer Engineering.
處理中
...
變更密碼
登入