Logic synthesis and verification algorithms

Logic synthesis and verification algorithms

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The design and analysis of computer algorithms
ανά: Aho, Alfred V., κ.ά.
Έκδοση: (1974)

Aspects of protein biosynthesis /
Έκδοση: (1970)

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

Practical algorithms for image analysis Description, examples and code
ανά: Seul, Michael, κ.ά.
Έκδοση: (2000)

An introduction to algorithm design and structured programming
ανά: Reed, Thomas A.
Έκδοση: (1988)

An introduction to text-to-speech synthesis /
Έκδοση: (1997)

Distributed algorithms and protocols
ανά: Raynal, Michel
Έκδοση: (1988)

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

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

Algorithmics The spirit of computing
ανά: Harel, David, 1950-
Έκδοση: (1987)

The science of computing Exploring the nature and power of algorithms
ανά: Harel, David, 1950-
Έκδοση: (1989)

Problems on Algorithms
ανά: Parberry, Ian
Έκδοση: (1995)

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

String Searching Algorithms
ανά: Stephen, Graham A.
Έκδοση: (1994)

Mathematics for the analysis of algorithms
ανά: Greene, Daniel H., κ.ά.
Έκδοση: (1990)

Topics in Distributed Algorithms
ανά: Tel, Gerard
Έκδοση: (1991)

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)

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