{"title":"Gilles Dowek","description":null,"products":[{"product_id":"rewriting-and-typed-lambda-calculi-springer-international-publishing-ag-9783319089171-joint-international-conferences-rta-and-tlca-2014-held-as-part-of-the-vienna-summer-of-logic-vsl-2014-vienna-austria-july-14-17-2014-proceedings-gilles-dowek","title":"Rewriting and Typed Lambda Calculi","description":"\u003cp\u003eExplore the depth of symbolic and mathematical logic with \"Rewriting and Typed Lambda Calculi\" by Gilles Dowek, published by Springer International Publishing AG in 2014. This comprehensive volume serves as the refereed proceedings from the esteemed Joint 25th International Conference on Rewriting Techniques and Applications (RTA 2014) and the 12th International Conference on Typed Lambda-Calculi and Applications (TLCA 2014), both of which took place during the Vienna Summer of Logic in July 2014.\u003c\/p\u003e \u003cp\u003eSpanning 491 pages, this book presents cutting-edge research and discussions that will appeal to scholars and practitioners alike, covering essential topics in rewriting techniques and lambda calculi. Ideal for those interested in advancing their understanding of logic and formal systems, this title is an invaluable addition to any academic library. Enhance your knowledge and engage with critical advancements in the field by adding this essential text to your collection.\u003c\/p\u003e","brand":"Gilles Dowek","offers":[{"title":"Default Title","offer_id":52230294667606,"sku":"9783319089171","price":54.55,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319089171.jpg?v=1767746524"},{"product_id":"principles-of-programming-languages-springer-london-ltd-9781848820319-gilles-dowek","title":"Principles of Programming Languages","description":"\u003cp\u003eDiscover the essential foundations of programming languages with \u003cstrong\u003ePrinciples of Programming Languages\u003c\/strong\u003e by \u003cstrong\u003eGilles Dowek\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer London Ltd\u003c\/strong\u003e in 2009, this insightful book spans 159 pages and serves as a vital resource for anyone looking to deepen their understanding of programming concepts. Using Java as a primary example, Dowek expertly illustrates the core principles that underpin programming languages, emphasizing that familiarity with just one language is insufficient for true mastery. Whether you are a student, educator, or professional in the field, this book will equip you with the knowledge needed to navigate the complexities of programming languages effectively. Enhance your programming skills and broaden your horizons with this indispensable guide.\u003c\/p\u003e","brand":"Gilles Dowek","offers":[{"title":"Default Title","offer_id":52231779451222,"sku":"9781848820319","price":33.94,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781848820319.jpg?v=1767748843"},{"product_id":"computation-proof-machine-cambridge-university-press-9780521118019-mathematics-enters-a-new-age-gilles-dowek","title":"Computation, Proof, Machine","description":"\u003cp\u003eDiscover the intriguing world of computation with \u003cstrong\u003eComputation, Proof, Machine\u003c\/strong\u003e by \u003cstrong\u003eGilles Dowek\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2015. This compelling hardback edition spans 158 pages and delves deep into the vital role that computation, calculation, and algorithms have played in the evolution of mathematics. Despite their significance, these elements have often been overshadowed in traditional mathematical literature. Dowek expertly uncovers the hidden history of these foundational concepts, providing readers with a richer understanding of how they shape the future of mathematics. Perfect for enthusiasts of ancient mathematics and the history of mathematical thought, this book is a must-have for anyone looking to explore the intricate connections between computation and mathematical progress. Enhance your library with this essential read today!\u003c\/p\u003e","brand":"Gilles Dowek","offers":[{"title":"Default Title","offer_id":52248909316438,"sku":"9780521118019","price":100.64,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521118019.jpg?v=1767775138"}],"url":"https:\/\/www.laufgard.com\/collections\/gilles-dowek.oembed","provider":"Bookshop","version":"1.0","type":"link"}