Der er 2 underkategorier
for at udvide
kategorilisten.
Dataarkitektur og logisk design
-
Beginning WSO2 ESB (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
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) -
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) -
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) -
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) -
Near Threshold Computing: Technology, Methods and Applications (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
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)
-
Smart Systems Integration and Simulation (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
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)
-
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) -
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) -
Embedded Controller: Grundlagen und praktische Umsetzung fur industrielle Anwendungen (Bog, Paperback / softback, Tysk)
Das Buch gewährt einen Einblick in die Architektur eingebetteter Systeme und den Entwicklungsprozess für die sie steuernde Firmware. Praxistipps zur effizienten und zielgerichteten Nutzung von Debug-, Einkapselungs- und Analysewerkzeugen runden das Buch ab.
Levering: Skaffevare (forvent 14 - 30 hverdage)
