Ergebnisse filtern
-
- 8
- 5
-
- 2
- 2
- 2
- 2
- 2
- 2
- 1
-
- 2
- 2
- 7
- 1
- 1
-
- 1
- 5
- 2
- 5
-
- 11
- 2
-
- 13
-
- 13
-
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, ProceedingsErscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-08867-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
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 I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-45189-9Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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 II1. Auflage 2020Verlag: SpringerISBN: 978-3-030-45236-0Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08866-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Biere / Gomes Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37206-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Biere / Kröning / Weissenbacher Digitaltechnik - Eine praxisnahe Einführung
1. Auflage 2008Verlag: Springer-VerlagISBN: 978-3-540-77729-8Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)9,99 € (inkl. MwSt.)
sofort verfügbar
-
Biere / Nahir / Vos Hardware and Software: Verification and Testing
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39610-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Biere / Nahir / Vos Hardware and Software: Verification and Testing
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39611-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar
-
Biere / van Maaren / Walsh Handbook of Satisfiability
1. Auflage 2009Verlag: SAGE PublicationsISBN: 978-1-60750-376-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark183,99 € (inkl. MwSt.)
sofort verfügbar
-
Biere / van Maaren / Walsh Handbook of Satisfiability
1. Auflage 2009Verlag: IOS PressISBN: 978-1-58603-929-5Medium: Buch201,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Biere / van Maaren / Walsh Handbook of Satisfiability
Second Edition1. Auflage 2021Verlag: IOS PressISBN: 978-1-64368-160-3Medium: Buch310,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Biere / van Maaren / Walsh Handbook of Satisfiability
Second Edition1. Auflage 2021Verlag: SAGE PublicationsISBN: 978-1-64368-161-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark235,99 € (inkl. MwSt.)
sofort verfügbar
-
Biere / Kröning / Weissenbacher Digitaltechnik - Eine praxisnahe Einführung
Erscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77728-1Medium: Buch29,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
