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
61 Formal and Practical Techniques for the Complex System Design Process Using Virtual Prototypes: Better Early Than Never Pascal Pieper 2024 Okänt
62 Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Nils. Przigoda 2018 Engelska
63 Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Nils Przigoda 2018 Okänt
64 Debugging at the Electronic System Level Frank. Rogin 2010 Engelska
65 Binary Decision Diagrams Rolf Drechsler 1998 Okänt
66 Evolutionary Algorithms for VLSI CAD Rolf Drechsler 1998 Okänt
67 Formal Verification of Circuits Rolf Drechsler 2000 Okänt
68 High Quality Test Pattern Generation and Boolean Satisfiability Rolf Drechsler 2012 Okänt
69 Recent Findings in Boolean Techniques Rolf Drechsler 2021 Okänt
70 Towards One-Pass Synthesis Rolf Drechsler 2002 Okänt
71-72 Applications of Evolutionary Computing - EvoWorkkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 Proceedings (flera utgåvor) Franz. Rothlauf 2006 Engelska
73 Automatic Methods for the Refinement of System Models - From the Specification to the Implementation Julia. Seiter 2017 Engelska
74 Automatic Methods for the Refinement of System Models: From the Specification to the Implementation Julia Seiter 2017 Okänt
75 In-Memory Computing - Synthesis and Optimization Saeideh. Shirinzadeh 2020 Engelska
76 Formal Specification Level - Concepts, Methods, and Algorithms Mathias. Soeken 2015 Engelska
77 Formal Specification Level : Concepts, Methods, and Algorithms Mathias Soeken 2015 Okänt
78 Design Automation for Field-coupled Nanotechnologies Marcel Walter 2022 Okänt
79 Towards a Design Flow for Reversible Logic Robert. Wille 2010 Engelska
80 Towards a Design Flow for Reversible Logic Robert Wille 2010 Okänt

Förra sidan 1 2 3 4

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.