Logic Synthesis And Verification Algorithms

保存先:

書誌詳細
第一著者:	Hachtel, G.D
フォーマット:	図書
出版事項:	USA Kluwer Academic Publishers 2003
版:	7
主題:	Computer
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

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)