Ergebnisse filtern
Fachgebiet
Medium
  • 6
  • 4
  • 1
Erscheinungsjahr
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
Autoren
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 4
  • 2
  • 4
  • 1
Preis
  • 1
  • 5
  • 4
  • 1
Sprachen
  • 9
  • 2
Verfügbarkeit
  • 11
Katalog
  • 11
11  Treffer  für „Biere, Armin“
    VDE ITG / VDE / VDI GMM / GI | ITG-Fb. 309: MBMV 2023 | Sonstiges | Sack Fachmedien

    VDE ITG / VDE / VDI GMM / GI ITG-Fb. 309: MBMV 2023

    Methoden und Beschreibungssprachen zur Modellierung undVerifikation von Schaltungen und Systemen, 26. Workshop, 23. – 24. März2023 in Freiburg
    Neuerscheinung
    Verlag: VDE Verlag
    ISBN: 978-3-8007-6065-7
    Medium: Sonstiges
    69,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parker / Biere | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Parker / Biere Tools and Algorithms for the Construction and Analysis of Systems

    26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-45189-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Bloem | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Biere / Bloem Computer Aided Verification

    26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08867-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Parker / Biere | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Parker / Biere Tools and Algorithms for the Construction and Analysis of Systems

    26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-45236-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bloem / Biere | Computer Aided Verification | Buch | Sack Fachmedien

    Bloem / Biere Computer Aided Verification

    26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08866-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Gomes | Theory and Applications of Satisfiability Testing - SAT 2006 | eBook | Sack Fachmedien
    E-Book

    Biere / Gomes Theory and Applications of Satisfiability Testing - SAT 2006

    9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-37207-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gomes / Biere | Theory and Applications of Satisfiability Testing - SAT 2006 | Buch | Sack Fachmedien

    Gomes / Biere Theory and Applications of Satisfiability Testing - SAT 2006

    9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-37206-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Vos / Nahir | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Biere / Vos / Nahir Hardware and Software: Verification and Testing

    8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-39610-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Nahir / Vos | Hardware and Software: Verification and Testing | eBook | Sack Fachmedien
    E-Book

    Biere / Nahir / Vos Hardware and Software: Verification and Testing

    8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39611-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Biere / Kröning / Weissenbacher | Digitaltechnik - Eine praxisnahe Einführung | eBook | Sack Fachmedien
    E-Book

    Biere / Kröning / Weissenbacher Digitaltechnik - Eine praxisnahe Einführung

    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-77729-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    20,67 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Biere / Wintersteiger / Kröning | Digitaltechnik - Eine praxisnahe Einführung | Buch | Sack Fachmedien

    Biere / Wintersteiger / Kröning Digitaltechnik - Eine praxisnahe Einführung

    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77728-1
    Medium: Buch
    29,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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