Der er 2 underkategorier
for at udvide
kategorilisten.
Dataarkitektur og logisk design
-
Bemærk: Kan ikke leveres før jul.
Bruche, Verhaltnisse und Wurzeln: Grundlagen wiederentdecken und interessante Anwendungen neu kennenlernen (Bog, Paperback / softback, Tysk)Renate Motzer führt in die Welt der Brüche ein und bringt sie in Verbindung mit Dezimalzahlen.... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Beginning WSO2 ESB (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Embedded Software Verification and Debugging (Bog, Paperback / softback, Engelsk)This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Organic Computing — A Paradigm Shift for Complex Systems (Bog, Paperback / softback, Engelsk)This book discusses the theoretical foundations of Organic Computing, its methods, tools and learning techniques, architectural patterns and applications. A concluding chapter reviews new projects spawned since the original German Research Foundation program.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Boundary-Scan Handbook (Bog, Paperback / softback, Engelsk)This 4th edition provides an overview of the recent changes to the 1149.1 standard and the effect of the changes on the work of test engineers. It also describes the latest updates on the supplementary IEEE testing standards.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
SVA: The Power of Assertions in SystemVerilog (Bog, Paperback / softback, Engelsk)This book is a comprehensive guide to assertion-based verification of hardware designs using System Verilog Assertions (SVA). The book makes SVA usable and accessible for hardware designers, verification engineers, formal verification specialists and EDA tool developers.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Near Threshold Computing: Technology, Methods and Applications (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Smart Systems Integration and Simulation (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Engineering Applications of FPGAs: Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach (Bog, Paperback / softback, Engelsk)This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Separation Logic for High-level Synthesis (Bog, Paperback / softback, Engelsk)This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’.
Levering: Skaffevare (forvent 14 - 30 hverdage)
