Fachgebiet
Medium
  • 7
  • 4
Erscheinungsjahr
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
Autoren
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 10
  • 3
  • 2
  • 1
  • 2
  • 3
  • 6
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 3
  • 1
  • 6
  • 1
  • 5
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 3
  • 1
  • 15
  • 11
  • 1
  • 1
  • 2
  • 3
  • 2
  • 4
  • 2
  • 15
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 2
  • 3
  • 2
  • 1
  • 3
  • 1
  • 6
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
Verlag
  • 2
  • 2
  • 3
  • 4
Preis
  • 2
  • 7
  • 2
Sprachen
  • 7
  • 4
Verfügbarkeit
  • 11
Katalog
  • 11
11  Treffer  für „Kropf, Thomas“


    Kropf Introduction to Formal Hardware Verification

    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65445-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kropf Introduction to Formal Hardware Verification

    Softcover Nachdruck of hardcover 1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-642-08477-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kropf Geschichte in hundertundeiner Geschichte

    1. Auflage 2019
    Verlag: BoD - Books on Demand
    ISBN: 978-3-7386-5312-0
    Medium: Buch
    24,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kropf Formal Hardware Verification

    Methods and Systems in Comparison
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63475-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kropf Kommunikative Funktionen des Dialekts im Unterricht

    Theorie und Praxis in der deutschen Schweiz
    Nachdruck 2017
    Verlag: De Gruyter
    ISBN: 978-3-11-167609-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    109,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Kropf Kommunikative Funktionen des Dialekts im Unterricht

    Theorie und Praxis in der deutschen Schweiz
    Nachdruck 2017
    Verlag: De Gruyter
    ISBN: 978-3-484-31067-4
    Medium: Buch
    109,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kropf Geschichte in hundertundeiner Geschichte

    1. Auflage 2019
    Verlag: BoD - Books on Demand
    ISBN: 978-3-7494-4532-5
    Medium: eBook
    Format: EPUB
    Kopierschutz: 6 - ePub Watermark
    8,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Kropf Introduction to Formal Hardware Verification

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-662-03809-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Pierre / Kropf Correct Hardware Design and Verification Methods

    10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-48153-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Kropf / Pierre Correct Hardware Design and Verification Methods

    10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66559-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kropf / Kumar Theorem Provers in Circuit Design: Theory, Practice and Experience

    Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59047-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular