表紙画像

QRコード

Formal methods in circuit design /

保存先:

書誌詳細
第一著者:	Stavridou, V.
フォーマット:	図書
言語:	英語
出版事項:	New York : Cambridge, c1993.
主題:	Electronic digital computers > Circuits. Engineering design > computer programs.
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Digital design /
著者:: Mano, M. Morris, 1927-
出版事項: (2002)

Digital design /
著者:: Mano, M. Morris, 1927-
出版事項: (2007)

Design of analog circuits through symbolic analysis
出版事項: (2012)

Analog circuit design for communication SOC
著者:: Hung-Lung Tu, Steve
出版事項: (2012)

Introduction to computer design and implementation /
著者:: Ahmad, S. Imtiaz
出版事項: (1981)

Digital logic design
著者:: Holdsworth, B. (Brian)
出版事項: (2002)

The principles of computer hardware /
著者:: Clements, Alan, 1948-
出版事項: (2000)

The designer's guide to VHDL
著者:: Ashenden, Peter J.
出版事項: (2008)

Computer technology : digital priniciples to interfacing /
著者:: Lawrence, O.R
出版事項: (1990)

Fundamentals of digital logic : with VHDL design /
著者:: Brown, Stephen
出版事項: (2009)

Digital System Test and Testable Design Using HDL Models and Architectures /
著者:: Navabi, Zainalabedin
出版事項: (2011)

Demystifying chipmaking
著者:: Yanda, Richard F.
出版事項: (2005)

The circuit designer's companion
著者:: Williams, Tim, 1954-
出版事項: (2005)

Digital circuit boards mach 1 GHz /
著者:: Morrison, Ralph
出版事項: (2012)

Circuit design : anticipate, analyze, exploit variations /
著者:: Weber, Stephan, 等
出版事項: (2017)

Analog circuit design
出版事項: (2013)

Digital principles and circuits
著者:: Agarwal, C. B.
出版事項: (2006)

Intuitive analog circuit design /
著者:: Thompson, Marc T.
出版事項: (2014)

Microelectronic circuit design /
著者:: Jaeger, Richard C.
出版事項: (2006)

RF circuit design
著者:: Li, Richard Chi-Hsi, 1938-
出版事項: (2012)

Intuitive analog circuit design a problem-solving approach using design case studies /
著者:: Thompson, Marc T.
出版事項: (2006)

Digital integrated circuits : analysis and design /
著者:: Ayers, John E.
出版事項: (2010)

Analog circuits
出版事項: (2008)

Compact models for integrated circuit design : conventional transistors and beyond /
著者:: Saha, Samar K.
出版事項: (2016)

Analog circuit design a tutorial guide to applications and solutions /
出版事項: (2011)

Data acquisition techniques using PCs
著者:: Austerlitz, Howard
出版事項: (2003)

RF/microwave circuit design for wireless applications
著者:: Rohde, Ulrich L.
出版事項: (2013)

Design of high-speed communication circuits
出版事項: (2006)

Discovering computers : world wide web enhanced /
著者:: Shelly, Gary B.
出版事項: (1997)

Introductory circuits
著者:: Spence, Robert, 1933-
出版事項: (2008)

Digital circuit analysis and design with simulink modeling
著者:: Karris, Steven T.
出版事項: (2007)

Design and test of digital circuits by quantum-dot cellular automata
出版事項: (2008)

Introduction to operating system design /
著者:: Habermann, A.N
出版事項: (1976)

Circuit analysis
出版事項: (2011)

Modern microwave circuits
著者:: Kinayman, Noyan
出版事項: (2005)

Data conversion handbook
出版事項: (2005)

CMOS circuit design for RF sensors
著者:: Gudnason, Gunnar
出版事項: (2002)

Model engineering in mixed-signal circuit design a guide to generating accurate behavioral models in VHDL-AMS /
著者:: Huss, Sorin A. (Sorin Alexander)
出版事項: (2001)

High-speed circuit board signal integrity
著者:: Thierauf, Stephen C.
出版事項: (2004)

Operational amplifier speed and accuracy improvement analog circuit design with structural methodology /
著者:: Ivanov, V. V. (Vadim Vasilʹevich)
出版事項: (2004)