Författare
Daniel Kroening
Daniel Kroening är en uppskattad författare inom Naturvetenskap och teknik med totalt 1 bok tillgängliga på Bokkollen, utgivna hos Springer-Verlag Berlin and Heidelberg GmbH & Co. KG.
Bland verken finns Decision Procedures, som toppar listan över Daniel Kroenings populäraste böcker. Verken spänner över naturvetenskap & teknik och tilltalar läsare som uppskattar genren.
På Bokkollen gör vi det enkelt att navigera i Daniel Kroenings författarskap. Vår databas uppdateras ständigt med nya släpp och format, så oavsett om du söker efter en lättläst pocket för semestern, en lyxig inbunden presentutgåva eller en digital ljudbok för pendlingen, har vi rätt utgåva för dig.
Jämför snabbt och smidigt priser på alla böcker av Daniel Kroening hos Sveriges ledande bokhandlare – som Adlibris, Bokus och Akademibokhandeln – och hitta alltid det bästa erbjudandet utan att betala för mycket.
Decision Procedures
The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. The authors introduce the basic terminology of SAT, Satisfiability Modulo Theories (SMT) and the DPLL(T) framework.
Hela bibliografin
Utforska alla Daniel Kroenings publicerade verk sorterade efter popularitet.
Upptäck liknande författare
Om du gillar Daniel Kroening kommer du förmodligen att uppskatta även dessa författare inom naturvetenskap & teknik.