Formal Semantics for VHDL (The Springer International Series in Engineering and Computer Science)

By Delgado Kloos, Peter T. Breuer, Delgado Kloos, P.T. Breuer

Formal Semantics for VHDL (The Springer International Series in Engineering and Computer Science)

By Delgado Kloos, Peter T. Breuer, Delgado Kloos, P.T. Breuer

HK$1,053

The Verilog (R) Hardware Description Language

By Moorby, Philip R., Thomas, Donald E.

The Verilog (R) Hardware Description Language

By Moorby, Philip R., Thomas, Donald E.

HK$536 Elsewhere ~~HK$770.46~~ Save HK$234.46 (30%)

9

The Verilog(r) Hardware Description Language

By Donald E. Thomas, Philip R. Moorby

The Verilog(r) Hardware Description Language

By Donald E. Thomas, Philip R. Moorby

HK$1,052 Elsewhere ~~HK$1,130.05~~ Save HK$78.05 (7%)

9

Generating Hardware Assertion Checkers (For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring)

By Boulé, Marc, Zilic, Zeljko, Marc Boula

Generating Hardware Assertion Checkers (For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring)

By Boulé, Marc, Zilic, Zeljko, Marc Boula

HK$1,060

Building Embedded Systems (Programmable Hardware: 2016)

By Gu, Changyi

Building Embedded Systems (Programmable Hardware: 2016)

By Gu, Changyi

HK$640 Elsewhere ~~HK$667.72~~ Save HK$27.72 (4%)

Computer Science (The Hardware, Software and Heart of It)

By Edward Blum, Alfred V. Aho

Computer Science (The Hardware, Software and Heart of It)

By Edward Blum, Alfred V. Aho

HK$554

Analog and Mixed-Signal Hardware Description Languages (Current Issues in Electronic Modeling)

By Alain Vachoux, Jean-Michel Berge, Oz Levia, Jacques Rouillard

Analog and Mixed-Signal Hardware Description Languages (Current Issues in Electronic Modeling)

By Alain Vachoux, Jean-Michel Berge, Oz Levia, Jacques Rouillard

HK$1,000

Analog and Mixed-Signal Hardware Description Language (Current Issues in Electronic Modeling)

By Alain Vachoux, Jean-Michel Berge, Oz Levia, Jacques Rouillard

Analog and Mixed-Signal Hardware Description Language (Current Issues in Electronic Modeling)

By Alain Vachoux, Jean-Michel Berge, Oz Levia, Jacques Rouillard

HK$900

Fundamentals and Standards in Hardware Description Languages (NATO Science Series E:)

By Jean Mermet

Fundamentals and Standards in Hardware Description Languages (NATO Science Series E:)

By Jean Mermet

HK$2,474 Elsewhere ~~HK$2,974.36~~ Save HK$500.36 (17%)

Higher-Level Hardware Synthesis (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By Sharp, Richard

Higher-Level Hardware Synthesis (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By Sharp, Richard

HK$540

Arduino Software Internals (A Complete Guide to How Your Arduino Language and Hardware Work Together (Maker Innovations Series))

By Dunbar, Norman

Arduino Software Internals (A Complete Guide to How Your Arduino Language and Hardware Work Together (Maker Innovations Series))

By Dunbar, Norman

HK$396 Elsewhere ~~HK$513.60~~ Save HK$117.60 (23%)

Fundamentals and Standards in Hardware Description Languages (Proceedings of the NATO Advanced Study Institute, Il Ciocco, Barga, Italy, April 16-26, 1993 (NATO Science Series E:))

By Jean Mermet

Fundamentals and Standards in Hardware Description Languages (Proceedings of the NATO Advanced Study Institute, Il Ciocco, Barga, Italy, April 16-26, 1993 (NATO Science Series E:))

By Jean Mermet

HK$2,487 Elsewhere ~~HK$2,974.36~~ Save HK$487.36 (16%)

A Pipelined Multi-core MIPS Machine (Hardware Implementation and Correctness Proof (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Silvia Melitta Muller, Wolfgang J. Paul, Wolfgang J. Paul

A Pipelined Multi-core MIPS Machine (Hardware Implementation and Correctness Proof (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Silvia Melitta Muller, Wolfgang J. Paul, Wolfgang J. Paul

HK$500

Introduction to Assembly Language Programming (For Pentium and RISC Processors (Texts in Computer Science))

By Dandamudi, Sivarama P.

Introduction to Assembly Language Programming (For Pentium and RISC Processors (Texts in Computer Science))

By Dandamudi, Sivarama P.

HK$893

1

The News Book (An Introduction to the Network / Extensible Window System (SUN Technical Reference Library))

By James Gosling, David S. H. Rosenthal, Michelle J. Arden

The News Book (An Introduction to the Network / Extensible Window System (SUN Technical Reference Library))

By James Gosling, David S. H. Rosenthal, Michelle J. Arden

HK$971

Introduction to Assembly Language Programming (For Pentium and RISC Processors (Texts in Computer Science))

By Dandamudi, Sivarama P.

Introduction to Assembly Language Programming (For Pentium and RISC Processors (Texts in Computer Science))

By Dandamudi, Sivarama P.

HK$900

Introduction to Deep Learning Using R (A Step-By-Step Guide to Learning and Implementing Deep Learning Models Using R)

By Beysolow Ii, Taweh

Introduction to Deep Learning Using R (A Step-By-Step Guide to Learning and Implementing Deep Learning Models Using R)

By Beysolow Ii, Taweh

HK$560

5

Formal Methods for Hardware Verification (6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures (Lecture Notes in Computer Science / Progr)

By Marco Bernardo, Alessandro Cimatti

Formal Methods for Hardware Verification (6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures (Lecture Notes in Computer Science / Progr)

By Marco Bernardo, Alessandro Cimatti

HK$560

Computing with Data (An Introduction to the Data Industry)

By Lebanon, Guy, El-Geish, Mohamed

Computing with Data (An Introduction to the Data Industry)

By Lebanon, Guy, El-Geish, Mohamed

HK$886 Elsewhere ~~HK$924.57~~ Save HK$38.57 (4%)

Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))

By Feijs, Loe M. G., Jonkers, Hans B. M., C.A. Middelburg

Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))

By Feijs, Loe M. G., Jonkers, Hans B. M., C.A. Middelburg

HK$540

Compiler Design (with CD)

By Muneeswaran, K. (, Head, Department of Computer Science & Engine

Compiler Design (with CD)

By Muneeswaran, K. (, Head, Department of Computer Science & Engine

HK$228

The Sun Technology Papers (The Sun Technical Reference Library)

By Mark Hall, John Barry

The Sun Technology Papers (The Sun Technical Reference Library)

By Mark Hall, John Barry

HK$940

Scientific Pascal

By Flanders, Harley

Scientific Pascal

By Flanders, Harley

HK$600

Computing with T. Node Parallel Architecture (Eurocourse Lectures (Eurocourses: Computer and Information Science (Closed)))

By D. Heidrich, J. C. Grossetie

Computing with T. Node Parallel Architecture (Eurocourse Lectures (Eurocourses: Computer and Information Science (Closed)))

By D. Heidrich, J. C. Grossetie

HK$1,300

View:
Safe Search(?):