Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Armin. Biere 32 träffar

Titel Författare År Språk
21 Liveness Checking as Safety Checking 7th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS’02) Armin Biere 2002 Engelska
22 MBMV 2023 26th Workshop / Armin Biere Armin Biere uuuu-uuuu Okänt
23 Model-Based Testing for Verification Backends 7th Int. Conf. on Tests & Proofs (TAP 2013) Armin Biere 2013 Engelska
24-25 Theory and Applications of Satisfiability Testing - SAT 2006 (flera utgåvor) Armin. Biere 2006 Engelska
26 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 / edited by Armin Biere, David Parker Armin Biere uuuu-uuuu Okänt
27 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 / edited by Armin Biere, David Parker Armin Biere uuuu-uuuu Okänt
28 Handbook of satisfiability cop. 2009 Engelska
29 Handbook of satisfiability electronic resource cop. 2009 Engelska
30 Greedy combinatorial test case generation using unsatisfiable cores 3 September 2016 through 7 September 2016 Singapore Singapore Management UniversitySingapore ASE 2016 31st IEEE/ACM International Conference on Automated Software Engineering Akihisa Yamada 2016 Engelska
31 Optimization of Combinatorial Testing by Incremental SAT Solving 13 April 2015 through 17 April 2015 Austria Graz ICST 2015 Verification and Validation 8th IEEE International Conference on Software Testing Akihisa Yamada 2015 Engelska
32 From Machine Arithmetic to Approximations and back again - Improved SMT Methods for Numeric Data Types Aleksandar Zeljić 2017 Engelska

Förra sidan 1 2

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.