Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen 1
bokomslag Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen
Vetenskap & teknik

Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen

Christoph Holzbaur

Pocket

659:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 56 sidor
  • 2012
  • Författare: Christoph Holzbaur
  • Format: Pocket/Paperback
  • ISBN: 9783656997764
  • Språk: Tyska
  • Antal sidor: 56
  • Utgivningsdatum: 2012-07-09
  • Förlag: Examicus Verlag

Du kanske gillar

  1. bokomslag Entwicklung und Verifikation virtueller Methoden zur Bewertung des Mündungsgeräusches von Fahrzeugabgasanlagen

    Entwicklung und Verifikation virtuell...

    Jan Hillenbrand

    Pocket

    569:-
  2. bokomslag Beitrag zur statistischen Verifikation der Minderheiten-Theorie

    Beitrag zur statistischen Verifikatio...

    Wilhelm Lejeune

    Pocket

    719:-
  3. bokomslag Optimierung und Performancesteigerung bei der Generierung von VHDL-Modellen analoger Schaltungen

    Optimierung und Performancesteigerung...

    Christoph Holzbaur

    Pocket

    739:-
  4. bokomslag Verifikation und Validierung für die Simulation in Produktion und Logistik

    Verifikation und Validierung für die ...

    Markus Rabe, Sven Spieckermann, Sigrid Wenzel

    Pocket

    909:-
  5. bokomslag Neue Lösungsansätze für das Generalized-Assignment-Problem

    Neue Lösungsansätze für das Generaliz...

    Christoph Holzbaur

    Pocket

    1039:-
  6. bokomslag Vérité et vérification / Wahrheit und Verifikation

    Vérité et vérification / Wahrheit und...

    H L Van Breda H L Van Breda

    Inbunden

    719:-
  7. bokomslag Verifikation digitaler Systeme

    Verifikation digitaler Systeme

    Hans Eveking

    Pocket

    679:-
  8. bokomslag Strukturbasierte Verifikation von BPMN-Modellen

    Strukturbasierte Verifikation von BPM...

    Jens Müller

    Pocket

    969:-
  9. bokomslag Programmentwicklung und Verifikation

    Programmentwicklung und Verifikation

    Gerald Futschek

    Pocket

    979:-
  10. bokomslag Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

    Entwurf und Verifikation mikroprogram...

    Werner Damm

    Pocket

    769:-

Andra av samma författare

  1. bokomslag Neue Lösungsansätze für das Generalized-Assignment-Problem

    Neue Lösungsansätze für das Generaliz...

    Christoph Holzbaur

    Pocket

    1039:-
  2. bokomslag Optimierung und Performancesteigerung bei der Generierung von VHDL-Modellen analoger Schaltungen

    Optimierung und Performancesteigerung...

    Christoph Holzbaur

    Pocket

    739:-