{"title":"Erika Ábrahám","description":null,"products":[{"product_id":"integrated-formal-methods-springer-international-publishing-ag-9783319336923-12th-international-conference-ifm-2016-reykjavik-iceland-june-1-5-2016-proceedings-erika-brah-m","title":"Integrated Formal Methods","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Integrated Formal Methods,\" authored by Erika Ábrahám and published by Springer International Publishing AG in 2016. This comprehensive volume, consisting of 538 pages, showcases the refereed proceedings of the 12th International Conference on Integrated Formal Methods (IFM 2016), held in Reykjavik, Iceland. Inside, you will find 33 meticulously reviewed papers selected from a competitive pool of 99 submissions, organized into topical sections that include invited contributions. This essential resource is perfect for researchers and practitioners in the field, offering valuable perspectives on the latest advancements in formal methods. Enhance your understanding of this dynamic area of study with this first edition, a must-have for anyone interested in integrated formal methodologies.\u003c\/p\u003e","brand":"Erika Ábrahám","offers":[{"title":"Default Title","offer_id":52238637990230,"sku":"9783319336923","price":84.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319336923.jpg?v=1767760564"},{"product_id":"theoretical-aspects-of-computing-ictac-2023-springer-international-publishing-ag-9783031479625-20th-international-colloquium-lima-peru-december-4-8-2023-proceedings-erika-brah-m","title":"Theoretical Aspects of Computing – ICTAC 2023","description":"\u003cp\u003eDiscover the cutting-edge research in \u003cstrong\u003eTheoretical Aspects of Computing – ICTAC 2023\u003c\/strong\u003e, authored by Erika Ábrahám and published by Springer International Publishing AG. This comprehensive volume, comprising 440 pages, showcases the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, held in Lima, Peru, from December 4–8, 2023. \u003c\/p\u003e \n\n\u003cp\u003eInside, you will find 20 meticulously reviewed full papers, alongside 3 invited papers and 1 tool paper, all selected from a competitive pool of 40 submissions. This book is an essential resource for researchers and professionals in the fields of mathematics and computing, offering valuable insights into the latest theoretical advancements. \u003c\/p\u003e \n\n\u003cp\u003eWhether you're looking to enhance your understanding of computing theories or seeking inspiration for your own research, \u003cstrong\u003eTheoretical Aspects of Computing – ICTAC 2023\u003c\/strong\u003e is an indispensable addition to your library.\u003c\/p\u003e","brand":"Erika Ábrahám","offers":[{"title":"Default Title","offer_id":52257272627542,"sku":"9783031479625","price":84.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031479625.jpg?v=1767787265"},{"product_id":"quantitative-evaluation-of-systems-springer-international-publishing-ag-9783031163357-19th-international-conference-qest-2022-warsaw-poland-september-12-16-2022-proceedings-erika-brah-m","title":"Quantitative Evaluation of Systems","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Quantitative Evaluation of Systems,\" authored by Erika Ábrahám and published by Springer International Publishing AG in 2022. This comprehensive volume compiles the proceedings from the 19th International Conference on Quantitative Evaluation Systems (QEST 2022), which took place in Warsaw, Poland. With a total of 399 pages, this first edition features 19 meticulously reviewed full papers alongside a keynote paper, showcasing the latest advancements and research in the field. Perfect for researchers, practitioners, and students alike, this book offers valuable perspectives on quantitative system evaluation. Enhance your understanding of this dynamic area of study with the expertise presented in this essential collection.\u003c\/p\u003e","brand":"Erika Ábrahám","offers":[{"title":"Default Title","offer_id":52263011713366,"sku":"9783031163357","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031163357.jpg?v=1767794651"}],"url":"https:\/\/www.bookshop.lt\/collections\/erika-abraham.oembed","provider":"Bookshop","version":"1.0","type":"link"}