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 31 träffar

Titel Författare År Språk
21 Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis Analysis and Transformation (BYTECODE 2005) Verification 1st Workshop on Bytecode Semantics Cyrille Artho 2005 Engelska
22 Combined Static and Dynamic Analysis Cyrille Artho 2005 Engelska
23 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
24 Combined Static and Dynamic Analysis 1st Int. Workshop on Abstract Interpretation of Object-Oriented Languages (AIOOL 2005) Cyrille Artho 2005 Engelska
25 Liveness Checking as Safety Checking 7th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS’02) Armin Biere 2002 Engelska
26 Efficient Model Checking of Applications with I/O 11th Int. Conf. on Computer Aided Systems Theory (Eurocast 2007) Cyrille Artho 2007 Engelska
27 Computer Aided Verification Armin Biere 2014 Okänt
28 Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers Armin Biere 2013 Okänt
29 MBMV 2023 26th Workshop / Armin Biere Armin Biere uuuu-uuuu Okänt
30 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
31 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

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.