Logic synthesis and verification algorithms

Logic synthesis and verification algorithms

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Hatchtel, Gary D. (Συγγραφέας), Somenzi, Fabio (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Boston Kluwer Academic Publishers c1996
Θέματα:	ALGORITHMS LOGIC SYNTHESIS ΕΠΕΑΕΚ

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

Online Algorithms The state of the art [Proceedings} of the Workshop 1996
Έκδοση: (1998)

Introduction to algorithms
ανά: Cormen, Thomas H., κ.ά.
Έκδοση: (1990)

Graphs, networks and algorithms
ανά: Jungnickel, Dieter
Έκδοση: (1999)

Adaptive filtering Algorithms and practical implementation
ανά: Diniz, Paulo Sergio Ramirez
Έκδοση: (1997)

Higher order logic and harware verification
ανά: Melham, T.
Έκδοση: (1993)

From logic to logic programming
ανά: Doets, Kees
Έκδοση: (1994)

Foundations of inductive logic programming
ανά: Nienhuys-Cheng, Shan-Hwei, κ.ά.
Έκδοση: (1997)

Logic Synthesis and Verification Algorithms
ανά: Hachtel, Gary D., κ.ά.
Έκδοση: (1996)

Temporal verification of reactive systems Safety
ανά: Manna, Zohar, κ.ά.
Έκδοση: (1995)

Introduction to HOL A theorem proving environment for higher order logic
Έκδοση: (1993)

Partial-Order methods for the verification of concurrent systems An approach to the state-explosion problem
ανά: Godefroid, Patrice
Έκδοση: (1996)

The EM Algorith and Extensions
ανά: Krishnan, Thriyambakam, κ.ά.
Έκδοση: (1997)

Practical Genetic Algorithms
ανά: Haupt, Randy L., κ.ά.
Έκδοση: (1998)

High-Level Test synthesis of digial VLSI Circuits
ανά: Tien-Chien Lee, Mike
Έκδοση: (1997)

Algorithms for synthesis and testing of asynchronous circuits
ανά: Lavagno, Luciano, κ.ά.
Έκδοση: (1993)

Industrial applications of genetic algorithms
Έκδοση: (1999)

Autonomous model-based diagnosis agents
ανά: Schroeder, Michael
Έκδοση: (1998)

Algorithmics Theory and practice
ανά: Brassard, Gilles, 1955-, κ.ά.
Έκδοση: (1988)

Encyclopedia of Algorithms
ανά: Ming-Yang Kao
Έκδοση: (2008)

Introduction to Parallel Algorithms and Architectures:Arrays, Trees, Hypercubes
ανά: Leighton, F. T.
Έκδοση: (1992)

Structures in logic and computer science A selection of essays in honor of A. Ehrenfeucht
Έκδοση: (1997)

Algorithms
ανά: Sedgewick, Robert, 1946-
Έκδοση: (1988)

Algorithms A functional programming approach
ανά: Rabhi, Fethi, κ.ά.
Έκδοση: (1999)

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

Spread spectrum systems with commercial applications
ανά: Dixon, Robert C.
Έκδοση: (1994)

Universal wireless personal communications
ανά: Prasad, Ramjee
Έκδοση: (1998)

Introduction to circuit complexity A uniform approach
ανά: Vollmer, Heribert
Έκδοση: (1999)

Learning DCOM
ανά: Thai, Thuan L.
Έκδοση: (1999)

Linux application development
ανά: Johnson, Michael K., κ.ά.
Έκδοση: (1998)

Signal processing algorithms
ανά: David, Ruth A., κ.ά.
Έκδοση: (1988)

Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990
Έκδοση: (1991)

Data structures and algorithms
ανά: Aho, Alfred V., κ.ά.

The design and analysis of algorithms
ανά: Kozen, Dexter C.
Έκδοση: (1992)

Algorithm animation
ανά: Brown, Marc H.
Έκδοση: (1998)

The theory of algorithms
ανά: Markov, A. A., κ.ά.
Έκδοση: (1988)

Genetic algorithms for pattern recognition
Έκδοση: (1996)

Genetic algorithms and engineering design
ανά: Cheng, Runwei, κ.ά.
Έκδοση: (1997)

Quality is still free Making quality certain in uncertain times
ανά: Crosby, Philip B.
Έκδοση: (1996)

Broadband Communications
ανά: Kumar, Balaji
Έκδοση: (1998)

DSP First A Multimedia Approach
ανά: McClellan, James H., 1947-, κ.ά.
Έκδοση: (1998)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών