Name: Taxonomies for the Development and Verification of Digital Systems
Brand: Springer
SKU: 3189477
Price: 940 HKD
Availability: InStock

Timed Boolean Functions (A Unified Formalism for Exact Timing Analysis (Springer International Series in Engineering and Computer Science The))

By Brayton, Robert K., Lam, William K. C.

Timed Boolean Functions (A Unified Formalism for Exact Timing Analysis (Springer International Series in Engineering and Computer Science The))

By Brayton, Robert K., Lam, William K. C.

HK$931

VLSI Design Methodologies for Digital Signal Processing Architectures (The Springer International Series in Engineering and Computer Science)

By Magdy A. Bayoumi

VLSI Design Methodologies for Digital Signal Processing Architectures (The Springer International Series in Engineering and Computer Science)

By Magdy A. Bayoumi

HK$1,753 Elsewhere ~~HK$1,853.77~~ Save HK$100.77 (5%)

Statistical Modeling for Computer-Aided Design of MOS VLSI Circuits (Springer International Series in Engineering and Computer Science The)

By Ismail, Mohammed, Michael, Christopher

Statistical Modeling for Computer-Aided Design of MOS VLSI Circuits (Springer International Series in Engineering and Computer Science The)

By Ismail, Mohammed, Michael, Christopher

HK$900

Switching and Traffic Theory for Integrated Broadband Networks (Springer International Series in Engineering and Computer Science The)

By Hui, Joseph Y.

Switching and Traffic Theory for Integrated Broadband Networks (Springer International Series in Engineering and Computer Science The)

By Hui, Joseph Y.

HK$1,740 Elsewhere ~~HK$1,853.77~~ Save HK$113.77 (6%)

Distributed and Parallel Systems (From Instruction Parallelism to Cluster Computing (The Springer International Series in Engineering and Computer Science))

By Peter Kacsuk, Gabriele Kotsis

Distributed and Parallel Systems (From Instruction Parallelism to Cluster Computing (The Springer International Series in Engineering and Computer Science))

By Peter Kacsuk, Gabriele Kotsis

HK$1,700 Elsewhere ~~HK$1,853.77~~ Save HK$153.77 (8%)

Scheduling in Parallel Computing Systems (Fuzzy and Annealing Techniques (The Springer International Series in Engineering and Computer Science))

By Salleh, Shaharuddin, Zomaya, Albert Y.

Scheduling in Parallel Computing Systems (Fuzzy and Annealing Techniques (The Springer International Series in Engineering and Computer Science))

By Salleh, Shaharuddin, Zomaya, Albert Y.

HK$1,284 Elsewhere ~~HK$1,338.80~~ Save HK$54.80 (4%)

Image and Video Compression Standards (Algorithms and Architectures (The Springer International Series in Engineering and Computer Science))

By Bhaskaran, Vasudev, Konstantinides, Konstantinos

Image and Video Compression Standards (Algorithms and Architectures (The Springer International Series in Engineering and Computer Science))

By Bhaskaran, Vasudev, Konstantinides, Konstantinos

HK$2,473 Elsewhere ~~HK$2,574.72~~ Save HK$101.72 (4%)

VLSI Design (A Practical Guide for FPGA and ASIC Implementations (SpringerBriefs in Electrical and Computer Engineering))

By Chandrasetty, Vikram Arkalgud

VLSI Design (A Practical Guide for FPGA and ASIC Implementations (SpringerBriefs in Electrical and Computer Engineering))

By Chandrasetty, Vikram Arkalgud

HK$500 Elsewhere ~~HK$566.36~~ Save HK$66.36 (12%)

Design Criteria for Low Distortion in Feedback Opamp Circuits (Springer International Series in Engineering and Computer Science The)

By Willy Sansen, Bjornar Hernes, Trond Saether

Design Criteria for Low Distortion in Feedback Opamp Circuits (Springer International Series in Engineering and Computer Science The)

By Willy Sansen, Bjornar Hernes, Trond Saether

HK$900

The JR Programming Language (Concurrent Programming in an Extended Java (Springer International Series in Engineering and Computer Science The))

By Keen, Aaron W., Olsson, Ronald A.

The JR Programming Language (Concurrent Programming in an Extended Java (Springer International Series in Engineering and Computer Science The))

By Keen, Aaron W., Olsson, Ronald A.

HK$535

High Performance Integer Arithmetic Circuit Design on FPGA (Architecture, Implementation and Design Automation (Springer Series in Advanced Microelectronics))

By Palchaudhuri, Ayan, Chakraborty, Rajat Subhra

High Performance Integer Arithmetic Circuit Design on FPGA (Architecture, Implementation and Design Automation (Springer Series in Advanced Microelectronics))

By Palchaudhuri, Ayan, Chakraborty, Rajat Subhra

HK$1,200

High Performance Integer Arithmetic Circuit Design on FPGA (Architecture, Implementation and Design Automation (Springer Series in Advanced Microelectronics))

By Palchaudhuri, Ayan, Chakraborty, Rajat Subhra

High Performance Integer Arithmetic Circuit Design on FPGA (Architecture, Implementation and Design Automation (Springer Series in Advanced Microelectronics))

By Palchaudhuri, Ayan, Chakraborty, Rajat Subhra

HK$1,100

Current Sense Amplifiers (For Embedded SRAM in High-Performance System-on-a-Chip Designs (Springer Series in Advanced Microelectronics))

By Wicht, Bernhard

Current Sense Amplifiers (For Embedded SRAM in High-Performance System-on-a-Chip Designs (Springer Series in Advanced Microelectronics))

By Wicht, Bernhard

HK$900

Function Algebras on Finite Sets (Basic Course on Many-Valued Logic and Clone Theory (Springer Monographs in Mathematics))

By Lau, Dietlinde

Function Algebras on Finite Sets (Basic Course on Many-Valued Logic and Clone Theory (Springer Monographs in Mathematics))

By Lau, Dietlinde

HK$1,140

Function Algebras on Finite Sets (Basic Course on Many-Valued Logic and Clone Theory (Springer Monographs in Mathematics))

By Lau, Dietlinde

Function Algebras on Finite Sets (Basic Course on Many-Valued Logic and Clone Theory (Springer Monographs in Mathematics))

By Lau, Dietlinde

HK$1,038

Decision Analysis (Applications of Modern Technology in Business S.)

By G. Gregory

Decision Analysis (Applications of Modern Technology in Business S.)

By G. Gregory

HK$1,440

Color in Electronic Displays (Defense Research Series)

By Heino Widdel, David L. Post

Color in Electronic Displays (Defense Research Series)

By Heino Widdel, David L. Post

HK$1,951

VLSI for Neural Networks and Artificial Intelligence

By Jose G. Delgado-Frias, Will Moore

VLSI for Neural Networks and Artificial Intelligence

By Jose G. Delgado-Frias, Will Moore

HK$1,474

Programming Challenges (The Programming Contest Training Manual (Texts in Computer Science))

By Revilla, Miguel A., Skiena, Steven S

Programming Challenges (The Programming Contest Training Manual (Texts in Computer Science))

By Revilla, Miguel A., Skiena, Steven S

HK$600

1

Grid Computing (Achievements and Prospects)

By Sergei Gorlatch, Paraskevi Fragopoulou, Thierry Priol

Grid Computing (Achievements and Prospects)

By Sergei Gorlatch, Paraskevi Fragopoulou, Thierry Priol

HK$1,460

Component Models and Systems for Grid Applications (Proceedings of the Workshop on Component Models and Systems for Grid Applications Held June 26, 2004 in Saint Malo, France.)

By Vladimir Getov, Thilo Kielmann

Component Models and Systems for Grid Applications (Proceedings of the Workshop on Component Models and Systems for Grid Applications Held June 26, 2004 in Saint Malo, France.)

By Vladimir Getov, Thilo Kielmann

HK$1,400

Adapting Proofs-as-Programs (The Curry - Howard Protocol (Monographs in Computer Science))

By Iman Hafiz Poernomo, J. N. Crossley, Martin Wirsing

Adapting Proofs-as-Programs (The Curry - Howard Protocol (Monographs in Computer Science))

By Iman Hafiz Poernomo, J. N. Crossley, Martin Wirsing

HK$1,500

Symbolic Analysis and Reduction of VLSI Circuits

By Cheng, Chung-Kuan, Qin, Zhanhai, Sheldon Tan, Sheldon Tan

Symbolic Analysis and Reduction of VLSI Circuits

By Cheng, Chung-Kuan, Qin, Zhanhai, Sheldon Tan, Sheldon Tan

HK$1,073

Taxonomies for the Development and Verification of Digital Systems

By Brian Bailey, Grant L. Martin, Thomas Anderson

Taxonomies for the Development and Verification of Digital Systems

By Brian Bailey, Grant L. Martin, Thomas Anderson

HK$940

View:
Safe Search(?):