KI-Beratung Beta

Gutscheinbedingungen

**Gültig vom 05.10.2026 bis 07.10.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Online auf www.bücher.de einlösbar | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Nicht gültig für Versandkosten und Services

  • Produktbild: Hardware Design and Petri Nets
  • Produktbild: Hardware Design and Petri Nets
- 12%

Hardware Design and Petri Nets

12% sparen

139,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.12.2010

Abbildungen

XII, 332 p.

Herausgeber

Alex Yakovlev + weitere

Verlag

Springer Us

Seitenzahl

332

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

528 g

Auflage

Softcover reprint of the original 1st ed. 2000

Sprache

Englisch

ISBN

978-1-4419-4969-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.12.2010

Abbildungen

XII, 332 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

332

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

528 g

Auflage

Softcover reprint of the original 1st ed. 2000

Sprache

Englisch

ISBN

978-1-4419-4969-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Hardware Design and Petri Nets
  • Produktbild: Hardware Design and Petri Nets
  • I Hardware Modelling using Petri Nets.- 1 Comprehensive Causal Specification of Asynchronous Controller and Arbiter Behaviour.- 2 Complementing Role Models with Petri Nets in Studying Asynchronous Data Communications.- 3 Petri Net Representations of Computational and Communication Operators.- II Model Analysis and Verification for Asynchronous Design.- 4 Properties of Change Diagrams.- 5 LTrL-based Model Checking for a Restricted Class of Signal Transition Graphs.- 6 A Polynomial Algorithm to Compute the Concurrency Relation of a Regular STG.- III Theory and Practice of Petri Net Based Synthesis.- 7 Synthesis of Synchronous Digital Systems Specified by Petri Nets.- 8 Deriving Signal Transition Graphs from Behavioral Verilog HDL.- 9 The Design of the Control Circuits for an Asynchronous Instruction Prefetch Unit Using Signal Transition Graphs.- IV Hardware Design Methods and Tools.- 10 Electronic System Design Automation Using High Level Petri Nets.- 11 An Evolutionary Approach to the Use of Petri Net based Models.- 12 Modelling and Implementation of Petri Nets Using VHDL.- V Architecture Modelling and Performance Analysis.- 13 Performance Analysis of Asynchronous Circuits and Systems using Stochastic Timed Petri Nets.- 14 Performance Analysis of Dataflow Architectures Using Timed Coloured Petri Nets.- 15 Modeling a Memory Subsystem with Petri Nets: a Case Study.- 16 Performance Modeling of Multithreaded Distributed Memory Architectures.