{"title":"Javier Esparza","description":null,"products":[{"product_id":"foundations-of-software-science-and-computation-structures-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783662544570-20th-international-conference-fossacs-2017-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-20","title":"Foundations of Software Science and Computation Structures","description":"\u003cp\u003e\u003cstrong\u003eFoundations of Software Science and Computation Structures\u003c\/strong\u003e by Javier Esparza, Andrzej S. Murawski.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer Berlin \/ Heidelberg, (2017), Paperback, 568 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Computer science.\u003c\/p\u003e","brand":"Javier Esparza","offers":[{"title":"Default Title","offer_id":52243182256470,"sku":"9783662544570","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783662544570.jpg?v=1767766141"},{"product_id":"finite-and-algorithmic-model-theory-cambridge-university-press-9780521718202-javier-esparza","title":"Finite and Algorithmic Model Theory","description":"\u003cp\u003eDiscover the fascinating intersection of logic and computer science in \u003cstrong\u003eFinite and Algorithmic Model Theory\u003c\/strong\u003e by \u003cstrong\u003eJavier Esparza\u003c\/strong\u003e. Published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2011, this comprehensive volume spans \u003cstrong\u003e356 pages\u003c\/strong\u003e and is tailored for researchers and graduate students delving into theoretical computer science and mathematical logic. The book features insightful surveys from leading experts, exploring the logical aspects of computer science where both finite and infinite model-theoretic methods are pivotal. Each chapter is enriched with extensive bibliographies, making it an invaluable resource for anyone looking to deepen their understanding of this dynamic field. Enhance your knowledge and stay at the forefront of research with this essential addition to your library.\u003c\/p\u003e","brand":"Javier Esparza","offers":[{"title":"Default Title","offer_id":52244335001942,"sku":"9780521718202","price":76.39,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521718202.jpg?v=1767767954"},{"product_id":"automata-languages-and-programming-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783662439470-41st-international-colloquium-icalp-2014-copenhagen-denmark-july-8-11-2014-proceedings-part-i-javier-esparza","title":"Automata, Languages, and Programming","description":"\u003cp\u003eDiscover the intricate world of computer science with \"Automata, Languages, and Programming\" by Javier Esparza. Published in 2014 by Springer-Verlag Berlin and Heidelberg GmbH \u0026amp; Co. KG, this comprehensive two-volume set delves into the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming (ICALP 2014), held in Copenhagen, Denmark. Spanning an impressive 1090 pages, this edition offers valuable insights into essential topics such as computer algorithms, formal languages, and machine theory. Perfect for researchers, academics, and programming enthusiasts, this book serves as a crucial resource for understanding the foundational aspects of computer programming. Enhance your knowledge and stay updated with the latest advancements in the field by adding this essential text to your collection.\u003c\/p\u003e","brand":"Javier Esparza","offers":[{"title":"Default Title","offer_id":52251451490646,"sku":"9783662439470","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783662439470.jpg?v=1767778991"}],"url":"https:\/\/www.bookshop.ee\/collections\/javier-esparza.oembed","provider":"Bookshop","version":"1.0","type":"link"}