QR Code

From HDL descriptions to guaranteed correct circuit designs : Proceedings of the IFIP WG 10.2 working conf., Grenoble, France, 9 - 11 Sept., 1986 /

Saved in:

Bibliographic Details
Main Author:	Davie, Bruce S.
Corporate Author:	Proceedings of the IFIP WG 10.2 working conf. France, Grenoble
Other Authors:	Borrione, D. (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Amsterdam : North-Holland Publishing, 1987
Edition:	[1st ed.]
Subjects:	obvod VLSI > skúšanie
ISBN:	044470194X
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Gallium arsenide digital integrated circuit design /
by: Long, Stephen I.
Published: (1990)

Digital MOS integrated circuits /
by: Elmasry, Mohamed I.
Published: (1981)

Proceedings of the 16th European conference on circuits theory and design. Vol. III : ECCTD'03, Poland, 1st - 4th Sept. 2003 /
by: Johansson, Hakan
Published: (2003)

Using genetic algorithms for scheduling data flow graphs /
by: Cluitmans, L. J. M.
Published: (1992)

IC Master. 1992. Vol. 3. Advertisers technical data /
by: Howell, D. M.
Published: (1992)

Circuits and systems connecting the world. Vol. 4 : 1996 IEEE international symposium, Atlanta, May 12 - 15 1996 /
by: Garverick, Steven L.
Published: (1996)

Guaranteeing development? : the impact of financial guarantees /
by: Winpenny, James
Published: (2005)

Handbook of visual communications /
by: Hang, Hseuh-Ming
Published: (1995)

Handbook of VLSI Microlithography Principles, Technology and Applications
Published: (1991)

Designing parallel programs of parameterized granularity /
by: Struik, Pieter
Published: (1992)

Life annuity and their guarantees /
Published: (2016)

VLSI chip design with the hardware description language VERILOG. An introduction based on a large RISC processor design /
by: Golze, Ulrich
Published: (1996)

Quality engineering using robust design /
by: Phadke, Madhav Shridhar
Published: (1989)

Emerging technologies. Designing low power digital systems : tutorial for 1996 international symposium on circuits and systems, Atlanta, 1996 /
by: Larsen, Frode
Published: (1996)

Advances in microprocessing and microprogramming : 10th EUROMICRO symp., Copenhagen, August 27 - 30, 1984 /
by: Pettersen, Jan Egil
Published: (1984)

Nedeštruktívne skúšanie v stavebníctve : kurz, Bratislava, Československo, 1. 9. - 12. 9. 1986 /
Published: (1986)

Institution guaranteeing access to information : OECD and mena region /
Published: (2019)

Metallurgical coatings. 1987. Vol. I : Proceedings of the 14th internat. conf., San Diego, CA, U.S.A., March 23 - 27, 1987 /
by: Messier, R.
Published: (1987)

Next-generation computers /
by: Torrero, Edward A.
Published: (1985)

Electromigration and electronic device degradation /
by: Christou, Aris
Published: (1994)

Optics in computing '98 : Brugge, Belgium, 17 - 20 June 1998 /
by: Chavel, Pierre H.
Published: (1998)

COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS : Proceedings IFIP WG, Amsterdam, 10. 2. 1987 /
by: Roumeliotis, Manos
Published: (1987)

Accreditation of a NDT-Laboratory /
by: Hansen, Niels
Published: (1994)

Zkoušení materiálu a výrobků bez porušení /
by: Míšek, Bohumil, et al.
Published: (1968)

SNR Bearings: Your Guarantee in Sugar Refining
Published: (2012)

ICECS 2002. Proceedings : The 9th IEEE internat. conf. on electronics, circuits and systems, Dubrovnik, Croatia, Sept. 15 - 18, 2002
Published: (2002)

Neural networks. A comprehensive foundation /
by: Haykin, Simon
Published: (1994)

Nonlinear digital filters. Principles and applications /
by: Pitas, Ioannis
Published: (1990)

Opravy, zkoušení a seřizování motorových vozidel /
by: Bernard
Published: (1973)

Zkoušení textilních materiálů a výrobků. 1. část /
by: Simon, Jaroslav
Published: (1955)

Circuit theory and design 87 : Proceedings of the European conf., Paris, France, 1 - 4 Sept., 1987 /
by: Gerber, R.
Published: (1987)

Fifth generation computer systems : Proceedings of the internat. conf., Tokyo, Japan, Oct. 19 - 22, 1981 /
by: Moto-Oka, T.
Published: (1983)

ICCAD 2004. International conference on computer aided design : San Jose, CA, Nov. 7 - 11, 2004 /
by: Li, Xin
Published: (2004)

Schvaľovanie a certifikácia zdravotníckych pomôcok : Celoštátny seminár, 11. 10. 1995 /
by: Varga, Miloslav
Published: (1995)

Diagnostika v mikroelektronice. 1. díl /
by: May, Jan
Published: (1992)

Skúšanie netesnosti /
Published: (1983)

Zkoušení kaučuku a plastických hmot.
by: Schätz, Miroslav 1926-
Published: (1971)

Employment Guarantee Programme and Dynamics of Rural Transformation in India Challenges and Opportunities /
Published: (2018)

Rational descriptions, decisions and designs /
by: Tribus, Myron
Published: (1969)