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
1-2 Theory and Applications of Satisfiability Testing - SAT 2006 (flera utgåvor) Armin. Biere 2006 Engelska
3 Handbook of satisfiability cop. 2009 Engelska
4 Handbook of satisfiability electronic resource cop. 2009 Engelska
5 Theory and Applications of Satisfiability Testing -- SAT 2006: 9Th International Conference, Seattle, WA, USA, August 12-15, 2006 : Proceedings (Lecture notes in computer science, 4121) Armin Biere 2006 Okänt
6 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 Engelska
7 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 Armin. Biere 2014 Engelska
8 From Machine Arithmetic to Approximations and back again - Improved SMT Methods for Numeric Data Types Aleksandar Zeljić 2017 Engelska
9 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
10 Modbat - A Model-based API Tester for Event-driven Systems 9th Haifa Verification Conference (HVC 2013) Cyrille Artho 2013 Engelska
11 Applying Static Analysis to Large-Scale, Multithreaded Java Programs 13th ASWEC Cyrille Artho 2001 Engelska
12 Enforcer—Efficient Failure Injection 14th Int. Conf. on Formal Methods (FM 2006) Cyrille Artho 2006 Engelska
13 Using block-local atomicity to detect stale-value concurrency errors 2nd Int. Symposium on Automated Technology for Verification and Analysis (ATVA 2004) Cyrille Artho 2004 Engelska
14 Model-Based Testing for Verification Backends 7th Int. Conf. on Tests & Proofs (TAP 2013) Armin Biere 2013 Engelska
15 Exhaustive Testing of Exception Handlers with Enforcer Cyrille Artho 2006 Engelska
16 Advanced Unit Testing—How to Scale Up a Unit Test Framework Workshop on Automation of Software Test (AST 2006) Cyrille Artho 2006 Engelska
17 Modbat - A model-based API tester for event-driven systems Dependable Systems Workshop (DSW 2012) Cyrille Artho 2012 Engelska
18 JNuke - Efficient Dynamic Analysis for Java 16th Int. Conf. on Computer Aided Verification (CAV 2004) Cyrille Artho 2004 Engelska
19 High-Level Data Races 1st Int. Workshop on Verification and Validation of Enterprise Information Systems Cyrille Artho 2003 Engelska
20 Efficient Model Checking of Applications with Input/Output EUROCAST 2007 Cyrille Artho 2007 Engelska

1 2 Nästa sida

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.