Dina sekretessinställningar

Genom att välja ”Acceptera alla” tillåter du att Rakuten Kobo och deras partners använder cookies, spårning och liknande teknologier för att samla in dina personuppgifter och behandla dem för följande ändamål: att driva webbplatsen och Kobos tjänster och se till att de fungerar korrekt, för att leverera personligt anpassat innehåll på Kobo samt annonser för Kobo på andra plattformar, och för att mäta analysdata och analysera hur vår webbplats och våra tjänster används. I annat fall kan du klicka på ”Avvisa” nedan för att avvisa alla icke-nödvändiga ändamål eller gå till ”Integritetsinställningar” för att hantera dina inställningar för varje ändamål. Mer information finns i vår Integritetspolicy.

Visa integritetsinställningar
Spring till huvudinnehåll
Önskelista
Kundvagn
Skapa konto
Har ett du konto?Logga in
Advanced Boolean Techniques - Selected Papers from the 15th International Workshop on Boolean Problems E-bok av

Advanced Boolean Techniques

Selected Papers from the 15th International Workshop on Boolean Problems

Rolf Drechsler,Sebastian Huhn
Engineering (R0)

Synopsis

Kategorier

Om den här boken

  • Språk:English
  • ISBN:9783031289163
  • Utgivningsdatum:30 maj 2023
  • Utgivare:Springer International Publishing
  • Impressum:Springer
  • Filformat:EPUB3
  • Filstorlek:8.60 MB
  • Nedladdningsalternativ:EPUB3 (Adobe DRM)

I denna serie

Hoppa över den här listan

Languages, Design Methods, and Tools for Electronic System Design

Rolf Drechsler,Robert Wille

Recent Findings in Boolean Techniques

Rolf Drechsler,Daniel Große

Advanced Boolean Techniques

Rolf Drechsler,Mathias Soeken

Formal System Verification

Rolf Drechsler