Liebe Besucherinnen und Besucher,

aufgrund unseres Sommerfestes sind wir am 03. September 2026 bis 14 Uhr erreichbar. Am 04. September 2026 sind wir wieder wie gewohnt für Sie da. Vielen Dank für Ihr Verständnis.

Ihr Team von Sack Fachmedien

Ergebnisse filtern
Fachgebiet
Medium
  • 10
  • 5
Erscheinungsjahr
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
Autoren
  • 15
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 1
Verlag
  • 2
  • 2
  • 9
  • 1
  • 1
Preis
  • 1
  • 7
  • 2
  • 5
Sprachen
  • 13
  • 2
Verfügbarkeit
  • 15
Katalog
  • 15
15  Treffer  für „Biere, Armin“
    Biere / Parker | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Biere / Parker 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
    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
    Biere / Bloem | Computer Aided Verification | Buch | Sack Fachmedien

    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
    ISBN: 978-3-319-08866-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Parker | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Biere / Parker 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
    ISBN: 978-3-030-45236-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Gomes | Theory and Applications of Satisfiability Testing - SAT 2006 | Buch | Sack Fachmedien

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

    9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37206-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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-Verlag
    ISBN: 978-3-540-77729-8
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    9,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Biere / Nahir / Vos | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    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-39610-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Lutz / Negri | Automated Reasoning | Buch | Sack Fachmedien

    Biere / Lutz / Negri Automated Reasoning

    13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-32591-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Lutz / Negri | Automated Reasoning | Buch | Sack Fachmedien

    Biere / Lutz / Negri Automated Reasoning

    13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-32588-4
    Medium: Buch
    42,79 € (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 / van Maaren / Walsh | Handbook of Satisfiability | Buch | Sack Fachmedien

    Biere / van Maaren / Walsh Handbook of Satisfiability

    1. Auflage 2009
    Verlag: IOS Press
    ISBN: 978-1-58603-929-5
    Medium: Buch
    201,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / van Maaren / Walsh | Handbook of Satisfiability | eBook | Sack Fachmedien
    E-Book

    Biere / van Maaren / Walsh Handbook of Satisfiability

    1. Auflage 2009
    Verlag: SAGE Publications
    ISBN: 978-1-60750-376-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    179,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Biere / van Maaren / Walsh | Handbook of Satisfiability | Buch | Sack Fachmedien

    Biere / van Maaren / Walsh Handbook of Satisfiability

    Second Edition
    1. Auflage 2021
    Verlag: IOS Press
    ISBN: 978-1-64368-160-3
    Medium: Buch
    312,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Biere / van Maaren / Walsh | Handbook of Satisfiability | eBook | Sack Fachmedien
    E-Book

    Biere / van Maaren / Walsh Handbook of Satisfiability

    Second Edition
    1. Auflage 2021
    Verlag: SAGE Publications
    ISBN: 978-1-64368-161-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    230,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Biere / Kröning / Weissenbacher | Digitaltechnik - Eine praxisnahe Einführung | Buch | Sack Fachmedien

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

    Erscheinungsjahr 2008
    Verlag: Springer
    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