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: Biere 57 träffar

Titel Författare År Språk
1 Handbook of Satisfiability: Second Edition A. Biere 2021 Okänt
2 Computer Aided Verification Armin Biere 2014 Okänt
3 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
4 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
5 Advanced Unit Testing—How to Scale Up a Unit Test Framework Workshop on Automation of Software Test (AST 2006) Cyrille Artho 2006 Engelska
6 Applying Static Analysis to Large-Scale, Multithreaded Java Programs 13th ASWEC Cyrille Artho 2001 Engelska
7 Combined Static and Dynamic Analysis Cyrille Artho 2005 Engelska
8 Combined Static and Dynamic Analysis 1st Int. Workshop on Abstract Interpretation of Object-Oriented Languages (AIOOL 2005) Cyrille Artho 2005 Engelska
9 Efficient Model Checking of Applications with Input/Output EUROCAST 2007 Cyrille Artho 2007 Engelska
10 Efficient Model Checking of Applications with I/O 11th Int. Conf. on Computer Aided Systems Theory (Eurocast 2007) Cyrille Artho 2007 Engelska
11 Enforcer—Efficient Failure Injection 14th Int. Conf. on Formal Methods (FM 2006) Cyrille Artho 2006 Engelska
12 Exhaustive Testing of Exception Handlers with Enforcer Cyrille Artho 2006 Engelska
13 High-Level Data Races 1st Int. Workshop on Verification and Validation of Enterprise Information Systems Cyrille Artho 2003 Engelska
14 JNuke - Efficient Dynamic Analysis for Java 16th Int. Conf. on Computer Aided Verification (CAV 2004) Cyrille Artho 2004 Engelska
15 Modbat - A Model-based API Tester for Event-driven Systems 9th Haifa Verification Conference (HVC 2013) Cyrille Artho 2013 Engelska
16 Modbat - A model-based API tester for event-driven systems Dependable Systems Workshop (DSW 2012) Cyrille Artho 2012 Engelska
17 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
18 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
19 Bewertungskriterien in der Sprachberatung 1995 Tyska
20 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

1 2 3 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.