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 |
| 1 |
Reversible and Quantum Circuits - Optimization and Complexity Analysis
|
Nabila. Abdessaied
|
2016 |
Engelska |
| 2 |
Reversible and Quantum Circuits: Optimization and Complexity Analysis
|
Nabila Abdessaied
|
2016 |
Okänt |
| 3 |
Advanced Boolean Techniques - Selected Papers from the 13th International Workshop on Boolean Problems
|
|
2020 |
Engelska |
| 4 |
Advanced Boolean Techniques: Selected Papers From the 13th International Workshop on Boolean Problems
|
|
2020 |
Okänt |
| 5 |
Advanced Boolean Techniques: Selected Papers From the 15th International Workshop on Boolean Problems
|
|
2023 |
Okänt |
| 6-7 |
Advanced formal verification
(flera utgåvor)
|
|
cop. 2004 |
Engelska |
| 8 |
Advanced formal verification electronic resource
|
|
c2004 |
Engelska |
| 9 |
Advanced Formal Verification
|
|
uuuu-uuuu |
Okänt |
| 10 |
Advanced Logic Synthesis
|
|
2018 |
Engelska |
| 11 |
Advanced Logic Synthesis
|
|
2018 |
Okänt |
| 12 |
Applications of Evolutionary Computation: EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings
|
|
2012 |
Okänt |
| 13 |
Design Automation Techniques for Approximation Circuits - Verification, Synthesis and Test
|
Arun. Chandrasekharan
|
2019 |
Engelska |
| 14 |
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
|
Arun Chandrasekharan
|
2019 |
Okänt |
| 15-16 |
Applications of Evolutionary Computation - EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II
(flera utgåvor)
|
Cecilia. Chio
|
2012 |
Engelska |
| 17 |
Computer : Wie funktionieren Smartphone, Tablet & Co.? / von Rolf Drechsler, Andrea Fink, Jannis Stoppe
|
Rolf. author. Drechsler
|
uuuu-uuuu |
Okänt |
| 18 |
Formal Verification of Circuits / by Rolf Drechsler
|
Rolf. author. Drechsler
|
uuuu-uuuu |
Okänt |
| 19 |
Test Pattern Generation using Boolean Proof Engines electronic resource / by Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille
|
Rolf. author. Drechsler
|
uuuu-uuuu |
Okänt |
| 20 |
Towards One-Pass Synthesis / by Rolf Drechsler, Wolfgang Günther
|
Rolf. author. Drechsler
|
uuuu-uuuu |
Okänt |
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.