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: Rolf. Drechsler 80 träffar

Titel Författare År Språk
21 Advanced Boolean Techniques - Selected Papers from the 15th International Workshop on Boolean Problems Rolf. Drechsler 2023 Engelska
22 Binary decision diagrams : theory and implementation / Rolf Drechsler, Bernd Becker Rolf Drechsler uuuu-uuuu Okänt
23 Evolutionary algorithms for VLSI CAD / Rolf Drechsler Rolf Drechsler uuuu-uuuu Okänt
24 Test Pattern Generation using Boolean Proof Engines Rolf. Drechsler 2009 Engelska
25 Test Pattern Generation using Boolean Proof Engines Rolf Drechsler uuuu-uuuu Okänt
26 Towards one-pass synthesis / by Rolf Drechsler and Wolfgang Günther Rolf Drechsler uuuu-uuuu Okänt
27 Advanced BDD optimization Rüdiger. Ebendt c2005 Engelska
28 Advanced BDD Optimization Rudiger Ebendt 2005 Okänt
29 High Quality Test Pattern Generation and Boolean Satisfiability Stephan. Eggersglüß 2012 Engelska
30 Robustness and Usability in Modern Design Flows electronic resource Görschwin. Fey 2008 Engelska
31 Formal Modeling and Verification of Cyber-Physical Systems - 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 2015 Engelska
32 Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 2015 Okänt
33 Formal System Verification - State-of the-Art and Future Trends 2018 Engelska
34 Formal System Verification: State-of The-Art and Future Trends 2018 Okänt
35 Applications of Evolutionary Computing: EvoWorkshops 2005, EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Lausanne, Switzerland, March 30-April 1, 2005 : Proceedings (Lecture notes in computer science, 3449) Franz Rothlauf 2005 Okänt
36 Applications of Evolutionary Computing: EvoWorkshops 2006 : EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006 : Proceedings (Lecture notes in computer science, 3907) Franz Rothlauf 2006 Okänt
37 Applications of Evolutionary Computing - EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings Mario. Giacobini 2008 Engelska
38 Automated Analysis of Virtual Prototypes at the Electronic System Level - Design Understanding and Applications Mehran. Goli 2020 Engelska
39 Quality-Driven SystemC Design Daniel. Große 2010 Engelska
40 Enhanced Virtual Prototyping: Featuring RISC-V Case Studies Vladimir Herdt 2021 Okänt

Förra sidan 1 2 3 4 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.