Formal methods in circuit design

Formal methods in circuit design

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Σταυρίδου Βικτωρία
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge University Press
Σειρά:	Cambridge University Press

Παρόμοια τεκμήρια

VLSI design techniques for analog and digital circuits
ανά: Geiger Randall L., κ.ά.
Έκδοση: (1990)

Analog design issues in digital VLSI circuits and systems
Έκδοση: (1997)

Handshake circuits An asynchronous architecture for VLSI programming
ανά: Berkel Kees van
Έκδοση: (1993)

CMOS 3 cell library
Έκδοση: (1988)

Advanced low-power digital circuit techniques
ανά: Elrabaa Muhammad S., κ.ά.
Έκδοση: (1997)

Practical low power digital VLSI design
ανά: Yeap Gary K.
Έκδοση: (1998)

Analog VLSI integration of massive parallel signal processing systems
ανά: Kinget Peter, κ.ά.
Έκδοση: (1997)

ULSI technology
ανά: Chang C. Y. 1937-, κ.ά.
Έκδοση: (1996)

VLSI technology
Έκδοση: (1988)

IEEE Transactions on Very Large Scale Integration(VLSI)Systems
Έκδοση: (1997)

Principles of CMOS VLSI design A system perspective
ανά: Weste Neil H. E., κ.ά.
Έκδοση: (1985)

Programmable logic PLDs and FPGAs
ανά: Seals R. C., κ.ά.
Έκδοση: (1997)

The dynamics of digital excitation
ανά: Shoji Masakazu 1936-
Έκδοση: (1998)

Basic VLSI design
ανά: Pucknell Douglas A. 1927-, κ.ά.
Έκδοση: (1994)

Digital systems design and prototyping using field programmable logic
ανά: Salcic Zoran 1950-, κ.ά.
Έκδοση: (1997)

VLSI digital signal processors An introduction to rapid prototyping and design synthesis
ανά: Madisetti Vijay K.
Έκδοση: (1995)

Analysis and design of digital integrated circuits
ανά: Hodges David A., κ.ά.
Έκδοση: (1983)

Σχεδίαση ολοκληρωμένων κυκλωμάτων CMOS VLSI
ανά: Weste Neil H. E., κ.ά.
Έκδοση: (1996)

Analog VLSI implementation of neural systems
ανά: Mead Carver, κ.ά.
Έκδοση: (1989)

VLSI signal processing technology
Έκδοση: (1994)

Σχεδίαση ολοκληρωμένων κυκλωμάτων CMOS VLSI
ανά: Weste Neil H. E., κ.ά.
Έκδοση: (2011)

Ανάλυση και σχεδίαση ολοκληρωμένων κυκλωμάτων
ανά: Hodges David A., κ.ά.
Έκδοση: (1992)

Computer aided logical design With emphasis on VLSI
ανά: Hill Frederick J., κ.ά.
Έκδοση: (1993)

PSPICE and MATLAB for electronics an integrated approach
ανά: Attia John Okyere
Έκδοση: (2002)

Contemporary logic design
ανά: Katz Randy H.
Έκδοση: (1994)

Εργαστήριο μικροηλεκτρονικής, V.L.S.I.
ανά: Κώτσος Βασίλειος Α., κ.ά.
Έκδοση: (2005)

The art and science of analog circuit design
Έκδοση: (1995)

Quality engineering using robust design
ανά: Phadke Madhav S.
Έκδοση: (1989)

Circuits and systems in the information age Short Cources at the 1997 IEEE International Symposium on Circuits and Systems
Έκδοση: (1997)

Digital systems Principles and applications
ανά: Tocci Ronald J., κ.ά.
Έκδοση: (2004)

Εφαρμογές ψηφιακής συνδυαστικής λογικής
ανά: Καλοκάσης Νίκος Ε.
Έκδοση: (1996)

Microelectronic circuit design
ανά: Jaeger Richard C.
Έκδοση: (1997)

Synthesis and optimization of digital circuits
ανά: De Micheli Giovanni
Έκδοση: (1994)

Εφαρμογές ψηφιακής συνδυαστικής λογικής
ανά: Καλοκάσης Νίκος Ε.
Έκδοση: (2002)

1998 Symposium on VLSI Technology Digest of technical papers June 9-11, 1998/Honolulu
Έκδοση: (1998)

1997 International Symposium on VLSI Technology, Systems, and Applications Proceedings of technical papers, June 3-5, 1997, Lai Lai Sheraton Hotel Taipei, Taiwan, Roc
Έκδοση: (1997)

Analog circuits cookbook
ανά: Hickman Ian
Έκδοση: (1999)

Hickman's analog and RF circuits
ανά: Hickman Ian
Έκδοση: (1998)

Εφαρμογές ψηφιακής συνδυαστικής λογικής
ανά: Καλοκάσης Νίκος Ε.
Έκδοση: (2007)

Σχεδίαση ψηφιακών κυκλωμάτων
ανά: Κοσσίδας Απόστολος Θ., κ.ά.
Έκδοση: (1996)