{"title":"Daniel Kroening","description":null,"products":[{"product_id":"decision-procedures-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783662504963-an-algorithmic-point-of-view-daniel-kroening","title":"Decision Procedures","description":"\u003cp\u003eExplore the intricacies of decision-making with \u003cstrong\u003eDecision Procedures\u003c\/strong\u003e by \u003cstrong\u003eDaniel Kroening\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer-Verlag Berlin and Heidelberg GmbH \u0026amp; Co. KG\u003c\/strong\u003e. This comprehensive 2nd edition, released in 2016, spans \u003cstrong\u003e356 pages\u003c\/strong\u003e and delves into essential techniques rooted in graph theory and logic, widely applied in various industries.\u003c\/p\u003e \n\n\u003cp\u003eThe book serves as a vital resource for understanding key concepts such as SAT, Satisfiability Modulo Theories (SMT), and the DPLL(T) framework. Whether you're a student, researcher, or professional, Kroening's expert insights will equip you with the knowledge needed to navigate the complexities of symbolic and mathematical decision-making processes.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of algorithms and logic with this essential guide. Perfect for those in Germany and beyond, \u003cstrong\u003eDecision Procedures\u003c\/strong\u003e is a must-have addition to your collection.\u003c\/p\u003e","brand":"Daniel Kroening","offers":[{"title":"Default Title","offer_id":52246748102998,"sku":"9783662504963","price":84.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783662504963.jpg?v=1767771754"},{"product_id":"computer-aided-verification-springer-international-publishing-ag-9783319216676-27th-international-conference-cav-2015-san-francisco-ca-usa-july-18-24-2015-proceedings-part-ii-daniel-kroening","title":"Computer Aided Verification","description":"\u003cp\u003eDiscover the groundbreaking insights in \u003cstrong\u003eComputer Aided Verification\u003c\/strong\u003e by \u003cstrong\u003eDaniel Kroening\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2015. This first edition, spanning 469 pages, presents the refereed proceedings of the 27th International Conference on Computer Aided Verification (CAV 2015) held in San Francisco, CA. This comprehensive two-volume set, consisting of LNCS 9206 and LNCS 9207, showcases a total of 58 full papers and 11 short papers, all meticulously reviewed and selected from an impressive 252 submissions. Perfect for researchers and practitioners in the field, this collection offers valuable perspectives and advancements in computer-aided verification techniques. Enhance your understanding of this critical area of computer science with this essential resource.\u003c\/p\u003e","brand":"Daniel Kroening","offers":[{"title":"Default Title","offer_id":52248074027350,"sku":"9783319216676","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319216676.jpg?v=1767773885"},{"product_id":"computer-aided-verification-springer-international-publishing-ag-9783319216898-27th-international-conference-cav-2015-san-francisco-ca-usa-july-18-24-2015-proceedings-part-i-daniel-kroening","title":"Computer Aided Verification","description":"\u003cp\u003eExplore the cutting-edge insights in \"Computer Aided Verification,\" authored by Daniel Kroening and published by Springer International Publishing AG in 2015. This comprehensive volume, consisting of 677 pages, is part of the esteemed LNCS series, specifically volumes 9206 and 9207, which present the refereed proceedings from the 27th International Conference on Computer Aided Verification (CAV 2015) held in San Francisco, CA. This edition showcases an impressive collection of 58 full papers and 11 short papers, all meticulously reviewed and selected from over 252 submissions. Perfect for researchers and professionals in the field, this book delves into the latest advancements and methodologies in computer-aided verification, making it an essential addition to your academic library. Enhance your understanding of this pivotal area of computer science with this authoritative resource.\u003c\/p\u003e","brand":"Daniel Kroening","offers":[{"title":"Default Title","offer_id":52248074781014,"sku":"9783319216898","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319216898.jpg?v=1767773884"}],"url":"https:\/\/www.englishbook.pl\/collections\/daniel-kroening.oembed","provider":"Bookshop","version":"1.0","type":"link"}