Stöbern Sie durch unsere Angebote (22.848 Treffer)

Hardware Design
49,99 € *
ggf. zzgl. Versand

Dieses Lehrbuch beschäftigt sich in mathematisch präziser Weise mit einem ganz und gar praktischen Thema, nämlich dem Entwurf digitaler Hardware. Neben einer Diskussion der mathematischen Grundbegriffe werden die notwendigen theoretischen Grundlagen behandelt. Schließlich wird dann das vollständige Design eines einfachen Rechners entwickelt. Dieses Hochschullehrbuch behandelt in mathematisch präziser Weise den Entwurf digitaler Hardware. Kapitel eins enthält eine Diskussion mathematischer Grundbegriffe. In den Kapiteln zwei bis vier werden die notwendigen theoretischen Grundlagen über Boolesche Ausdrücke, Schaltkreiskomplexität und Rechnerarithmetik behandelt. Der Übergang von der abstrakten Schaltkreistheorie zum Entwurf konkreter Schaltungen findetnahtlos in Kapitel fünf statt, wo aus den Verzögerungszeiten von Gattern das zeitliche Verhalten von Flipflops und anderen Speicherbausteinen abgeleitet wird. Kapitel sechs enthält dann das vollständige Design eines einfachen Rechners. Zahlreiche Wissenschaftler, die heute in der Industrie Prozessoren designen, wurden nach diesem bewährten Buch ausgebildet.

Anbieter: buecher.de
Stand: 31.07.2019
Zum Angebot
The Hardware Hacker: Adventures in Making and B...
16,99 € *
ggf. zzgl. Versand

For over a decade, Andrew ´´bunnie´´ Huang, one of the world´s most esteemed hackers, has shaped the fields of hacking and hardware, from his cult-classic book Hacking the Xbox to the open-source laptop Novena and his mentorship of various hardware startups and developers. In The Hardware Hacker, Huang shares his experiences in manufacturing and open hardware, creating an illuminating and compelling career retrospective. Huang´s journey starts with his first visit to the staggering electronics markets in Shenzhen, with booths overflowing with capacitors, memory chips, voltmeters, and possibility. He shares how he navigated the overwhelming world of Chinese factories to bring chumby, Novena, and Chibitronics to life, covering everything from creating a Bill of Materials to choosing the factory to best fit his needs. Through this collection of personal essays and interviews on topics ranging from the legality of reverse engineering to a comparison of intellectual property practices between China and the United States, bunnie weaves engineering, law, and society into the tapestry of open hardware. With highly detailed passages on the ins and outs of manufacturing and a comprehensive take on the issues associated with open source hardware, The Hardware Hacker is an invaluable resource for aspiring hackers and makers.

Anbieter: buecher.de
Stand: 31.07.2019
Zum Angebot
Introduction to Formal Hardware Verification
58,99 € *
ggf. zzgl. Versand

This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. Each chapter contains an introduction and a summary as well as a section for the advanced reader, aiding an understanding of the advantages and limitations of each technique. Backed by many examples and illustrations, this text will appeal to a broad audience, from beginners in system design to experts. XXXXXXX Neuer Text This is a complete overview of existing techniques for hardware verification. It covers all approaches used in existing verification tools, such as symbolic methods for equivalence checking, temporal logic model checking, and higher-order logic theorem proving for verifying circuit correctness. The book helps readers to understand the advantages and limitations of each technique. Each chapter contains a summary as well as a section for the advanced reader. Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique.Each chapter contains an introduction and a summary as well as a section for the advanced reader. Thus a broad audience is addressed, from beginners in system design to experts.

Anbieter: buecher.de
Stand: 31.07.2019
Zum Angebot
tolino epos
249,00 €
Sale
189,90 € *
ggf. zzgl. Versand

tolino epos:

Anbieter: eBook.de
Stand: 17.08.2019
Zum Angebot
The C64 Maxi
119,99 € *
ggf. zzgl. Versand

The C64 Maxi:

Anbieter: eBook.de
Stand: 17.08.2019
Zum Angebot
tolino shine 3
119,00 €
Rabatt
90,99 € *
ggf. zzgl. Versand

tolino shine 3:

Anbieter: eBook.de
Stand: 15.08.2019
Zum Angebot
Der kleine Hacker: Raspberry Pi für Kids
49,99 € *
ggf. zzgl. Versand

Der kleine Hacker: Raspberry Pi für Kids:LED-Würfel verrückte Farbenspiele Discolicht und vieles mehr programmieren und mit Knete steuern Christian Immler

Anbieter: eBook.de
Stand: 08.08.2019
Zum Angebot
Franzis Raspberry Pi Maker Kit
79,99 € *
ggf. zzgl. Versand

Franzis Raspberry Pi Maker Kit:20 AMAZING PROJECTS BUILD GAMEPAD FOR GAMES NUTZUNG EINES LC-DISPLAYS FÜR DAS MEDIACENTER USING A LC-DISPLAY FOR THE MEDIA CENTER Das Franzis Lernpaket Christian Immler

Anbieter: eBook.de
Stand: 08.08.2019
Zum Angebot
eBook Reader Booklight | Leselampe | Schwarz
12,99 € *
zzgl. 2,95 € Versand

eBook Reader Booklight | Leselampe | Schwarz:LED Leselicht mit Clip für eBook Reader und Bücher

Anbieter: eBook.de
Stand: 08.08.2019
Zum Angebot