Logic Synthesis And Verification Algorithms

Сохранить в:

Библиографические подробности
Главный автор:	Hachtel, G.D
Формат:	‌
Опубликовано:	USA Kluwer Academic Publishers 2003
Редактирование:	7
Предметы:	Computer
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Схожие документы

DESIGN VERIFICATION WITH E
по: PALNIKAR, S
Опубликовано: (2004)

DESIGN VERIFICATION WITH E
по: PALNIKAR, S
Опубликовано: (2004)

Neural network fuzzy logic and genetic algorithms synthesis and applications
по: Rajasekaran, S
Опубликовано: (2005)

Logic of chemical synthesis
по: Corey, E
Опубликовано: (2011)

Logic of chemical synthesis
по: Corey, E.J
Опубликовано: (1989)

Neural networks fuzzy logic and genetic algorithms synthesis and applications
по: Rajasekaran, S
Опубликовано: (2011)

Neural Networks,Fuzzy Logic & Genetic Algorithms:Synthesis & Applications-With CD
по: Rajasekaran,S & Pai, G.A
Опубликовано: (2014)

BIOMETRICS : IDENTIFICATION VERIFICATION IN A NETWORKED
по: NANAVATI, S
Опубликовано: (2005)

FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS
по: MILNE GEORGE
Опубликовано: (1994)

SYNTHESIS & OPTIMIZATION OF DIGITAL CIRCUITS.
по: MICHELI G.D
Опубликовано: (1994)

ALGORITHMS IN C++
по: SEDGEWICK ROBERT
Опубликовано: (1992)

Introduction to Algorithms
по: Cormen, T.H

Introduction to Algorithms
по: Cormen, T, H.
Опубликовано: (2018)

Introduction to Algorithms
по: Gormen T. H.
Опубликовано: (2018)

Algorithm Design
по: Kleinberg, J.
Опубликовано: (2018)

Algorithm Design
по: Kleinberg , J.
Опубликовано: (2017)

Network Analysis And Synthesis
по: Kua, Franklin F.
Опубликовано: (2013)

COMPUTER ALGORITHMS
по: HOROWITZ ELLIS
Опубликовано: (2007)

INTRODUCTION TO ALGORITHMS
по: CORMEN THOMAS H
Опубликовано: (2007)

Algorithms
по: Dasgupta, Sanjay & Others
Опубликовано: (2006)

Algorithms
по: Johnsonbaugh, R

BIOMETRICS:IDENTITY VERIFICATION IN A NETWORK WORLD
по: NANAVATI, S
Опубликовано: (2003)

ANALYTICAL METHOD VALIDATION AND INSTRUMENT PERFORMANCE VERIFICATION
по: CHAN CHUNG CHOW,LEE Y C , LAM HERMAN
Опубликовано: (2004)

BIOMETRICS : IDENTITY VERIFICATION IN A NETWORKED WORLD
по: NANAVATI S
Опубликовано: (2002)

ANALYTICAL METHOD VALIDATION & INSTRUMENT PERFORMANCE VERIFICATION
по: CHAN CHUNG CHOW (ED.)

Analytical method validation and instrument performance verification
по: Chan, Chung Chow
Опубликовано: (2011)

Analytical method validation & instrument performance verification
по: Chan,Chung
Опубликовано: (2004)

ANALYTICAL METHOD VALIDATION & INSTRUMENT PERFORMANCE VERIFICATION
по: CHAN CHUNG CHOW [A]
Опубликовано: (2004)

ANALYTICAL METHOD VALIDATION AND INSTRUMENT PERFORMANCE VERIFICATION
по: CHAN CHUNG CHOW [E], LAM HERMAN [E], LEE Y C [E], ZHANG XUE-
Опубликовано: (2004)

ANALYTICAL METHOD VALIDATION AND INSTRUMENT PERFORMANCE VERIFICATION
по: CHAN CHUNG CHOW [E], LEE Y C [E], LAM HERMAN [E], ZHANG XUE-
Опубликовано: (2004)

ANALYSIS OF ALGORITHMS
по: GOYANI MAHESH M

ALGORITHM DESIGN
по: KLEINBERG JON
Опубликовано: (2013)

INTRODUCTION TO ALGORITHMS
по: CORMEN THOMAS H
Опубликовано: (2013)

Algorithm Design
по: Kleinberg Jon
Опубликовано: (2022)

Algorithms
по: Dasgupta, S
Опубликовано: (2015)

Algorithms
по: Dasgupta, S
Опубликовано: (2008)

Fundamentals of algorithmics
по: Brassard, G
Опубликовано: (2003)

ALGORITHMS AND DATA STRUCTURES
по: WIRTH NIKLAUS
Опубликовано: (1986)

FUNDAMENTALS OF COMPUTER ALGORITHMS
по: HOROWITZ ELLIS
Опубликовано: (1996)

Analysis of Algorithm and Design
по: Puntambekar A A
Опубликовано: (2007)