{"title":"Kompiliatoriai ir interpretatoriai","description":"\u003cp\u003eKompiliatoriai ir interpretatoriai: 168 knygų anglų kalba. Pristatymas visoje Lietuvoje, Latvijoje ir Estijoje.\u003c\/p\u003e","products":[{"product_id":"linkers-and-loaders-9781558604964","title":"Linkers and Loaders","description":"\u003cp\u003eDiscover the essential role of linkers and loaders in the world of programming with \u003cstrong\u003eLinkers and Loaders\u003c\/strong\u003e by \u003cstrong\u003eJohn R. Levine\u003c\/strong\u003e. This insightful book, published in 1999, spans 272 pages and provides a comprehensive exploration of the compile-time and run-time processes that are vital across different programming languages and platforms. Readers will benefit from a comparative analysis of linking and loading, highlighting the distinctions among various compilers and operating systems.\u003c\/p\u003e \u003cp\u003eWhether you are a seasoned developer or just starting your journey in computer science, this book serves as a valuable resource for understanding the mechanics behind your software. Dive into the intricacies of linkers and loaders and enhance your programming skills today!\u003c\/p\u003e","brand":"John R. Levine","offers":[{"title":"Default Title","offer_id":50960594338134,"sku":"9781558604964","price":66.47,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781558604964.jpg?v=1754056809"},{"product_id":"language-implementation-patterns-9781934356456","title":"Language Implementation Patterns","description":"\u003cp\u003e\u003cstrong\u003eLanguage Implementation Patterns\u003c\/strong\u003e by Terence Parr.\u003c\/p\u003e\n\u003cp\u003ePublished by The Pragmatic Bookshelf, (2010), 350 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Domain-specific programming languages, Programmeertalen, Parsing (computer grammar), Programming languages (electronic computers).\u003c\/p\u003e","brand":"Terence Parr","offers":[{"title":"Default Title","offer_id":51284695089494,"sku":"9781934356456","price":33.98,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781934356456.jpg?v=1757592677"},{"product_id":"writing-compilers-and-interpreters-john-wiley-sons-inc-9780470177075-a-software-engineering-approach-ronald-mak","title":"Writing Compilers and Interpreters","description":"\u003cp\u003eDiscover the revised and eagerly anticipated third edition of \u003cstrong\u003eWriting Compilers and Interpreters\u003c\/strong\u003e by Ronald Mak, published by John Wiley \u0026amp; Sons Inc in 2009. This comprehensive guide, spanning 864 pages, is designed for programmers and software engineering students who wish to delve into the world of compilers and interpreters using Java. \u003c\/p\u003e \n\n\u003cp\u003eUnlike previous editions that focused on C++, this updated version highlights Java, making it more accessible and relevant for modern programming environments. With its unique approach, this book provides a thorough exploration of essential concepts, techniques, and practical applications needed to understand and implement compilers and interpreters effectively. Equip yourself with the knowledge to elevate your programming skills in a rapidly evolving field!\u003c\/p\u003e","brand":"Ronald Mak","offers":[{"title":"Default Title","offer_id":52223226020182,"sku":"9780470177075","price":83.45,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780470177075.jpg?v=1767736165"},{"product_id":"verified-software-theories-tools-and-experiments-springer-international-publishing-ag-9783319296128-7th-international-conference-vstte-2015-san-francisco-ca-usa-july-18-19-2015-revised-selected-papers-arie-gurfinkel","title":"Verified Software: Theories, Tools, and Experiments","description":"\u003cp\u003e\u003cstrong\u003eVerified Software: Theories, Tools, and Experiments\u003c\/strong\u003e by Arie Gurfinkel, Sanjit A. Seshia.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2016), Paperback, 223 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Computer programs.\u003c\/p\u003e","brand":"Arie Gurfinkel","offers":[{"title":"Default Title","offer_id":52224930513238,"sku":"9783319296128","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319296128.jpg?v=1767738388"},{"product_id":"verified-software-theories-tools-and-experiments-springer-international-publishing-ag-9783319488684-8th-international-conference-vstte-2016-toronto-on-canada-july-17-18-2016-revised-selected-papers-sandrine-blazy","title":"Verified Software. Theories, Tools, and Experiments","description":"\u003cp\u003eDiscover the groundbreaking insights in \"Verified Software: Theories, Tools, and Experiments,\" authored by Sandrine Blazy and published by Springer International Publishing AG in 2016. This pivotal volume presents the rigorously reviewed proceedings of the 8th International Conference on Verified Software, which took place in July 2016 in Toronto, Canada. Spanning 199 pages, this book delves into advanced theories, essential tools, and practical experiments that shape the future of computer programs. Perfect for researchers, practitioners, and students alike, \"Verified Software\" serves as an invaluable resource for understanding the verification processes that ensure software reliability and safety. Enhance your knowledge of cutting-edge developments in software verification with this comprehensive collection of expert contributions. Don’t miss the opportunity to enrich your library with this first edition from a leading authority in the field.\u003c\/p\u003e","brand":"Sandrine Blazy","offers":[{"title":"Default Title","offer_id":52224930578774,"sku":"9783319488684","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319488684.jpg?v=1767738390"},{"product_id":"trustworthy-compilers-john-wiley-sons-inc-9780470500958-v-o-safonov","title":"Trustworthy Compilers","description":"\u003cp\u003eDiscover the essential principles of reliable compiler design in \"Trustworthy Compilers\" by V. O. Safonov. Published by John Wiley \u0026amp; Sons Inc in 2010, this hardback edition spans 320 pages, offering a comprehensive exploration of trustworthy compilers and interpreters in computer programming. Drawing on over 50 years of global research and V. O. Safonov's extensive 30+ years of practical experience in compiler development and education, this guide serves as an invaluable resource for both beginners and seasoned professionals. Whether you are looking to deepen your understanding of compiler construction or seeking reliable techniques to improve your programming skills, this book provides clear insights and practical knowledge to enhance your expertise. Enhance your library with this authoritative text and embrace the world of dependable compiler design.\u003c\/p\u003e","brand":"V. O. Safonov","offers":[{"title":"Default Title","offer_id":52225516142934,"sku":"9780470500958","price":164.63,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780470500958.jpg?v=1767739181"},{"product_id":"trends-in-functional-programming-springer-nature-switzerland-ag-9783030148041-17th-international-conference-tfp-2016-college-park-md-usa-june-8-10-2016-revised-selected-papers-david-van-horn","title":"Trends in Functional Programming","description":"\u003cp\u003eDiscover the latest insights in functional programming with \"Trends in Functional Programming,\" authored by David Van Horn. This comprehensive volume is a collection of the refereed proceedings from the 17th International Conference on Trends in Functional Programming (TFP 2016), held in College Park, USA, in June 2016. Spanning 193 pages, this 2019 edition published by Springer Nature Switzerland AG dives deep into advancements and significant discussions within the field. Featuring 10 thorough papers selected from a competitive pool of 18 submissions, this book offers valuable perspectives for both newcomers and seasoned professionals in functional programming. Whether you are looking to enhance your academic knowledge or apply new strategies in your projects, this book is an essential addition to your library.\u003c\/p\u003e","brand":"David Van Horn","offers":[{"title":"Default Title","offer_id":52225916895574,"sku":"9783030148041","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030148041.jpg?v=1767739555"},{"product_id":"theoretical-aspects-of-computing-ictac-2017-springer-international-publishing-ag-9783319677286-14th-international-colloquium-hanoi-vietnam-october-23-27-2017-proceedings-dang-van-hung","title":"Theoretical Aspects of Computing – ICTAC 2017","description":"\u003cp\u003eExplore the cutting-edge of computer science with \"Theoretical Aspects of Computing – ICTAC 2017,\" expertly edited by Dang Van Hung and published by Springer International Publishing AG. This first edition, released in 2017, compiles the refereed proceedings from the 14th International Colloquium on Theoretical Aspects of Computing held in Hanoi, Vietnam. Spanning 305 pages, this comprehensive volume features 17 meticulously selected and revised full papers, alongside three insightful invited talks, chosen from a competitive pool of 40 submissions. Ideal for academics, practitioners, and students alike, this book delves into the vital theoretical frameworks that shape modern computing. Enhance your understanding of the field and stay updated with the latest advancements in theoretical computing by adding this insightful work to your collection.\u003c\/p\u003e","brand":"Dang Van Hung","offers":[{"title":"Default Title","offer_id":52226781774166,"sku":"9783319677286","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319677286.jpg?v=1767740641"},{"product_id":"tests-and-proofs-springer-nature-switzerland-ag-9783030311568-13th-international-conference-tap-2019-held-as-part-of-the-third-world-congress-on-formal-methods-2019-porto-portugal-october-9-11-2019-proceedings-dirk-beyer","title":"Tests and Proofs","description":"\u003cp\u003eDiscover the cutting-edge research presented in \u003cstrong\u003eTests and Proofs\u003c\/strong\u003e, authored by Dirk Beyer and published by Springer Nature Switzerland AG in 2019. This comprehensive volume features the refereed proceedings of the 13th International Conference on Tests and Proofs (TAP 2019), which took place during the Third World Congress on Formal Methods in Porto, Portugal, in October 2019.\u003c\/p\u003e \n\n\u003cp\u003eWith a total of 207 pages, this edition showcases 10 regular papers and 2 invited papers, all rigorously reviewed and selected from a competitive pool of 19 submissions. Ideal for researchers and professionals in the field, this book delves into the latest advancements in formal methods, testing, and proofs, making it an essential addition to your academic library.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of this evolving field with the insights and findings presented in \u003cstrong\u003eTests and Proofs\u003c\/strong\u003e.\u003c\/p\u003e","brand":"Dirk Beyer","offers":[{"title":"Default Title","offer_id":52226903802198,"sku":"9783030311568","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030311568.jpg?v=1767740830"},{"product_id":"tests-and-proofs-springer-international-publishing-ag-9783319212142-9th-international-conference-tap-2015-held-as-part-of-staf-2015-l-aquila-italy-july-22-24-2015-proceedings-jasmin-christian-blanchette","title":"Tests and Proofs","description":"\u003cp\u003eDiscover the cutting-edge research in software testing and verification with \"Tests and Proofs\" by Jasmin Christian Blanchette. Published by Springer International Publishing AG in 2015, this comprehensive volume features the refereed proceedings from the 9th International Conference on Tests and Proofs (TAP 2015), held in L'Aquila, Italy. Spanning 209 pages, the book includes 11 meticulously revised full papers and one insightful short paper, all selected from a competitive pool of 21 submissions. Additionally, it encompasses three thought-provoking invited talks that delve into advancements in constraint programming and its applications in computer science. Whether you're an academician, researcher, or practitioner in the field, this book is an invaluable resource for enhancing your understanding of testing and proof methodologies in modern software development. Get your copy today and stay ahead in this rapidly evolving discipline!\u003c\/p\u003e","brand":"Jasmin Christian Blanchette","offers":[{"title":"Default Title","offer_id":52226911961430,"sku":"9783319212142","price":49.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319212142.jpg?v=1767740832"},{"product_id":"static-analysis-springer-international-publishing-ag-9783319109350-21st-international-symposium-sas-2014-munich-germany-september-11-13-2014-proceedings-markus-m-ller-olm","title":"Static Analysis","description":"\u003cp\u003eDelve into the intricate world ofStatic Analysis by Markus Müller-Olm, published by Springer International Publishing AG in 2014. This insightful work spans 337 pages, offering a comprehensive overview of various key aspects of static analysis. The book explores critical topics such as abstract interpretation, bug detection, data flow analysis, and model checking, making it an essential read for both scholars and professionals in the field of computer science. Additionally, readers will benefit from in-depth discussions on program transformation, program verification, security analysis, and type checking. Whether you're enhancing your understanding of static analysis or seeking contemporary methodologies, this edition serves as a pivotal resource that bridges theory and application. Secure your copy today and expand your knowledge in this vital area of software engineering!\u003c\/p\u003e","brand":"Markus Müller-Olm","offers":[{"title":"Default Title","offer_id":52227961618774,"sku":"9783319109350","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319109350.jpg?v=1767742551"},{"product_id":"static-analysis-springer-nature-switzerland-ag-9783030323035-26th-international-symposium-sas-2019-porto-portugal-october-8-11-2019-proceedings-bor-yuh-evan-chang","title":"Static Analysis","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Static Analysis,\" authored by Bor-Yuh Evan Chang and published by Springer Nature Switzerland AG in 2019. This comprehensive volume features the refereed proceedings of the 26th International Symposium on Static Analysis (SAS 2019), held in the picturesque city of Porto, Portugal. Spanning 481 pages, this book showcases 20 meticulously reviewed papers, selected from a competitive pool of 50 submissions.\u003c\/p\u003e \n\n\u003cp\u003eThe papers delve into crucial topics, including pointers and dataflow, providing readers with a thorough understanding of advanced static analysis methodologies. Ideal for researchers, practitioners, and students in computer science, \"Static Analysis\" is not just a collection of papers; it's a valuable resource that fosters the exchange of knowledge and innovation in the field. Enhance your understanding and keep abreast of developments in static analysis with this essential read.\u003c\/p\u003e","brand":"Bor-Yuh Evan Chang","offers":[{"title":"Default Title","offer_id":52227962831190,"sku":"9783030323035","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030323035.jpg?v=1767742552"},{"product_id":"software-engineering-and-formal-methods-springer-international-publishing-ag-9783319415901-14th-international-conference-sefm-2016-held-as-part-of-staf-2016-vienna-austria-july-4-8-2016-proceedings-rocco-de-nicola","title":"Software Engineering and Formal Methods","description":"\u003cp\u003eDiscover the critical insights and groundbreaking research from the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, in Rocco De Nicola's pivotal work, \u003cstrong\u003eSoftware Engineering and Formal Methods\u003c\/strong\u003e. Published by Springer International Publishing AG in 2016, this essential paperback spans 419 pages and features a rich compilation of knowledge in the field.\u003c\/p\u003e \n\n\u003cp\u003eThis volume includes 20 full papers and 5 short papers, meticulously reviewed and selected from a competitive pool of 88 submissions, showcasing the latest advancements and methodologies in software engineering and formal analysis. Dive deep into innovative techniques and theoretical discussions that are shaping the future of the industry, making this book a must-have for students, professionals, and researchers alike. Enhance your understanding and stay at the forefront of software engineering with this comprehensive collection.\u003c\/p\u003e","brand":"Rocco De Nicola","offers":[{"title":"Default Title","offer_id":52228419518806,"sku":"9783319415901","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319415901.jpg?v=1767743315"},{"product_id":"retargetable-c-compiler-a-pearson-education-us-9780805316704-design-and-implementation","title":"Retargetable C Compiler, A","description":"\u003cp\u003eDiscover the intricacies of compiler design with \"Retargetable C Compiler\" by the esteemed GXC, published by Pearson Education (US) in 1995. This comprehensive guide spans 584 pages and delves into the design and implementation of lcc, a production-quality retargetable compiler tailored for the ANSI C programming language. \u003c\/p\u003e \n\n\u003cp\u003eWhether you are a senior undergraduate or a graduate student, this book explores the critical interaction between compiler theory and practical application through detailed discussions of lcc. It is an essential resource for anyone serious about deepening their understanding of compilers and their development. With its clear explanations and thorough insights, \"Retargetable C Compiler\" stands out as a vital addition to your academic library and personal collection.\u003c\/p\u003e","brand":"David Hanson","offers":[{"title":"Default Title","offer_id":52230178242902,"sku":"9780805316704","price":64.04,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780805316704.jpg?v=1767746328"},{"product_id":"rewriting-logic-and-its-applications-springer-international-publishing-ag-9783319448015-11th-international-workshop-wrla-2016-held-as-a-satellite-event-of-etaps-eindhoven-the-netherlands-april-2-3-2016-revised-selected-papers-dorel-lucanu","title":"Rewriting Logic and Its Applications","description":"\u003cp\u003e\u003cstrong\u003eRewriting Logic and Its Applications\u003c\/strong\u003e by Dorel Lucanu.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2016), Paperback, 185 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Logic.\u003c\/p\u003e","brand":"Dorel Lucanu","offers":[{"title":"Default Title","offer_id":52230295093590,"sku":"9783319448015","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319448015.jpg?v=1767746522"},{"product_id":"reversible-computation-springer-nature-switzerland-ag-9783030214999-11th-international-conference-rc-2019-lausanne-switzerland-june-24-25-2019-proceedings-michael-kirkedal-thomsen","title":"Reversible Computation","description":"\u003cp\u003eExplore the groundbreaking insights within \"Reversible Computation\" by Michael Kirkedal Thomsen, published by Springer Nature Switzerland AG in 2019. This captivating volume features the refereed proceedings of the 11th International Conference on Reversible Computation, which took place in Lausanne, Switzerland, in June 2019. \u003c\/p\u003e\n\n\u003cp\u003eContaining 247 pages, this edition showcases 12 meticulously reviewed full papers and two insightful short papers, all selected from a competitive pool of 22 submissions. Delve into the fascinating field of reversible computation, where the potential for efficiency and innovation in computing is explored in depth. Perfect for researchers, students, and professionals alike, this book is a must-have for anyone interested in the future of computational theory and practices. Enhance your understanding of reversible computation with this essential resource.\u003c\/p\u003e","brand":"Michael Kirkedal Thomsen","offers":[{"title":"Default Title","offer_id":52230361842006,"sku":"9783030214999","price":61.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030214999.jpg?v=1767746634"},{"product_id":"rethinking-productivity-in-software-engineering-apress-9781484242209-caitlin-sadowski","title":"Rethinking Productivity in Software Engineering","description":"\u003cp\u003e\u003cstrong\u003eRethinking Productivity in Software Engineering\u003c\/strong\u003e by Caitlin Sadowski, Thomas Zimmermann.\u003c\/p\u003e\n\u003cp\u003ePublished by Apress, (2019), Paperback, 310 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Software engineering.\u003c\/p\u003e","brand":"Caitlin Sadowski","offers":[{"title":"Default Title","offer_id":52230402376022,"sku":"9781484242209","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781484242209.jpg?v=1767746703"},{"product_id":"requirements-engineering-foundation-for-software-quality-springer-nature-switzerland-ag-9783030155377-25th-international-working-conference-refsq-2019-essen-germany-march-18-21-2019-proceedings-eric-knauss","title":"Requirements Engineering: Foundation for Software Quality","description":"\u003cp\u003eDelve into the essential realm of software quality with \u003cstrong\u003eRequirements Engineering: Foundation for Software Quality\u003c\/strong\u003e by Eric Knauss. Published by Springer Nature Switzerland AG in 2019, this significant volume encompasses the proceedings from the renowned 25th International Working Conference on Requirements Engineering, REFSQ 2019, held in Essen, Germany. Spanning 306 pages, the book features 13 meticulously reviewed full papers and 9 insightful short papers, all selected from 66 diverse submissions. This collection is a must-have for professionals and researchers seeking to enhance their understanding of requirements engineering and its crucial impact on software quality. Explore the cutting-edge insights and methodologies that will equip you with the tools necessary to succeed in this dynamic field. Elevate your expertise today with this invaluable resource!\u003c\/p\u003e","brand":"Eric Knauss","offers":[{"title":"Default Title","offer_id":52230511264086,"sku":"9783030155377","price":73.74,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030155377.jpg?v=1767746887"},{"product_id":"r3-corda-for-architects-and-developers-apress-9781484245316-with-case-studies-in-finance-insurance-healthcare-travel-telecom-and-agriculture-debajani-mohanty","title":"R3 Corda for Architects and Developers","description":"\u003cp\u003e\u003cstrong\u003eR3 Corda for Architects and Developers\u003c\/strong\u003e by Debajani Mohanty.\u003c\/p\u003e\n\u003cp\u003ePublished by Apress, (2019), Paperback, 212 pages.\u003c\/p\u003e","brand":"Debajani Mohanty","offers":[{"title":"Default Title","offer_id":52231265026390,"sku":"9781484245316","price":37.37,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781484245316.jpg?v=1767747943"},{"product_id":"quick-start-guide-to-dart-programming-apress-9781484255612-create-high-performance-applications-for-the-web-and-mobile-sanjib-sinha","title":"Quick Start Guide to Dart Programming","description":"\u003cp\u003e\u003cstrong\u003eQuick Start Guide to Dart Programming\u003c\/strong\u003e by Sanjib Sinha.\u003c\/p\u003e\n\u003cp\u003ePublished by Apress, (2019), Paperback, 218 pages.\u003c\/p\u003e","brand":"Sanjib Sinha","offers":[{"title":"Default Title","offer_id":52231281869142,"sku":"9781484255612","price":61.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781484255612.jpg?v=1767747971"},{"product_id":"quality-of-information-and-communications-technology-springer-nature-switzerland-ag-9783030292379-12th-international-conference-quatic-2019-ciudad-real-spain-september-11-13-2019-proceedings-mario-piattini","title":"Quality of Information and Communications Technology","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Quality of Information and Communications Technology,\" authored by Mario Piattini and published by Springer Nature Switzerland AG in 2019. This comprehensive volume features the refereed proceedings of the 12th International Conference on the Quality of Information and Communications Technology (QUATIC 2019), which took place in Ciudad Real, Spain, in September 2019. With 348 pages of in-depth research, this edition includes 19 full papers and 6 short papers, all meticulously reviewed and selected from a competitive pool of 66 submissions. Perfect for researchers, practitioners, and students alike, this book offers valuable perspectives on the latest advancements and challenges in the field of ICT quality. Enhance your understanding of this dynamic area with this essential resource.\u003c\/p\u003e","brand":"Mario Piattini","offers":[{"title":"Default Title","offer_id":52231357890902,"sku":"9783030292379","price":79.8,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030292379.jpg?v=1767748107"},{"product_id":"python-projects-for-beginners-apress-9781484253540-a-ten-week-bootcamp-approach-to-python-programming-connor-p-milliken","title":"Python Projects for Beginners","description":"\u003cp\u003e\u003cstrong\u003ePython Projects for Beginners\u003c\/strong\u003e by Connor P. Milliken.\u003c\/p\u003e\n\u003cp\u003ePublished by Connor P. Milliken, (2019), Paperback, 332 pages.\u003c\/p\u003e","brand":"Connor P. Milliken","offers":[{"title":"Default Title","offer_id":52231384793430,"sku":"9781484253540","price":61.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781484253540.jpg?v=1767748154"},{"product_id":"programming-languages-and-systems-springer-nature-switzerland-ag-9783030341749-17th-asian-symposium-aplas-2019-nusa-dua-bali-indonesia-december-1-4-2019-proceedings-anthony-widjaja-lin","title":"Programming Languages and Systems","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Programming Languages and Systems,\" authored by Anthony Widjaja Lin. This comprehensive volume compiles the proceedings of the 17th Asian Symposium on Programming Languages and Systems (APLAS 2019), which took place in the stunning locale of Nusa Dua, Bali, Indonesia, in December 2019. Published by Springer Nature Switzerland AG, this 2019 edition spans 492 pages and features 22 meticulously reviewed papers selected from a competitive pool of 50 submissions. Ideal for researchers and practitioners alike, this book delves into the latest advancements in programming languages and systems, making it an essential addition to your academic library. Enhance your understanding of this dynamic field with expert contributions that push the boundaries of technology and innovation.\u003c\/p\u003e","brand":"Anthony Widjaja Lin","offers":[{"title":"Default Title","offer_id":52231653753174,"sku":"9783030341749","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030341749.jpg?v=1767748623"},{"product_id":"programming-languages-and-systems-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783662494974-25th-european-symposium-on-programming-esop-2016-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-2016-eindhoven-the-ne","title":"Programming Languages and Systems","description":"\u003cp\u003e\u003cstrong\u003eProgramming Languages and Systems\u003c\/strong\u003e by Peter Thiemann.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2016), Paperback, 806 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Programming languages (electronic computers), Systems software.\u003c\/p\u003e","brand":"Peter Thiemann","offers":[{"title":"Default Title","offer_id":52231653982550,"sku":"9783662494974","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783662494974.jpg?v=1767748625"},{"product_id":"product-focused-software-process-improvement-springer-nature-switzerland-ag-9783030353322-20th-international-conference-profes-2019-barcelona-spain-november-27-29-2019-proceedings-xavier-franch","title":"Product-Focused Software Process Improvement","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Product-Focused Software Process Improvement,\" authored by Xavier Franch and published by Springer Nature Switzerland AG in 2019. This comprehensive volume, spanning 775 pages, features the refereed proceedings from the 20th International Conference on Product-Focused Software Process Improvement (PROFES 2019) held in Barcelona, Spain. Within these pages, you will find 24 meticulously revised full papers, 4 industry papers, and 11 short papers, all carefully selected from over 100 submissions. This book is an essential resource for professionals and researchers looking to enhance their understanding of software process improvement through a product-focused lens. Dive into the latest research and practical applications that can help elevate your software development practices.\u003c\/p\u003e","brand":"Xavier Franch","offers":[{"title":"Default Title","offer_id":52231689863510,"sku":"9783030353322","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030353322.jpg?v=1767748690"},{"product_id":"pro-net-framework-with-the-base-class-library-apress-9781484241905-understanding-the-virtual-execution-system-and-the-common-type-system-roger-villela","title":"Pro .NET Framework with the Base Class Library","description":"\u003cp\u003e\u003cstrong\u003ePro .NET Framework with the Base Class Library\u003c\/strong\u003e by Roger Villela.\u003c\/p\u003e\n\u003cp\u003ePublished by Apress, (2019), Paperback, 251 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Application software, development, Microsoft .net, Computer software.\u003c\/p\u003e","brand":"Roger Villela","offers":[{"title":"Default Title","offer_id":52231744454998,"sku":"9781484241905","price":37.37,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781484241905.jpg?v=1767748785"},{"product_id":"principles-of-program-analysis-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783642084744-flemming-nielson","title":"Principles of Program Analysis","description":"\u003cp\u003eDiscover the essential insights of program analysis in \u003cstrong\u003ePrinciples of Program Analysis\u003c\/strong\u003e by \u003cstrong\u003eFlemming Nielson\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer-Verlag Berlin and Heidelberg GmbH \u0026amp; Co. KG\u003c\/strong\u003e in 2010, this comprehensive paperback edition spans \u003cstrong\u003e452 pages\u003c\/strong\u003e and serves as a valuable resource for both students and professionals in the field of computer science.\u003c\/p\u003e\n\n\u003cp\u003eThis authoritative book delves into static techniques that compute reliable approximate information about the dynamic behavior of programs. What sets it apart is its thorough overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. Each method is explored in detail, providing readers with a solid foundation in program analysis principles.\u003c\/p\u003e\n\n\u003cp\u003eWhether you are looking to enhance your understanding or seeking a reference for advanced studies, \u003cstrong\u003ePrinciples of Program Analysis\u003c\/strong\u003e is an indispensable addition to your library.\u003c\/p\u003e","brand":"Flemming Nielson","offers":[{"title":"Default Title","offer_id":52231780598102,"sku":"9783642084744","price":61.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783642084744.jpg?v=1767748844"},{"product_id":"practical-scala-dsls-apress-9781484230350-real-world-applications-using-domain-specific-languages-pierluigi-riti","title":"Practical Scala DSLs","description":"\u003cp\u003e\u003cstrong\u003ePractical Scala DSLs\u003c\/strong\u003e by Pierluigi Riti.\u003c\/p\u003e\n\u003cp\u003ePublished by Apress, (2017), Paperback, 226 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Software engineering, Programming languages (electronic computers).\u003c\/p\u003e","brand":"Pierluigi Riti","offers":[{"title":"Default Title","offer_id":52231965344086,"sku":"9781484230350","price":44.64,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781484230350.jpg?v=1767749164"},{"product_id":"practical-microservices-architectural-patterns-apress-9781484245002-event-based-java-microservices-with-spring-boot-and-spring-cloud-binildas-christudas","title":"Practical Microservices Architectural Patterns","description":"\u003cp\u003e\u003cstrong\u003ePractical Microservices Architectural Patterns\u003c\/strong\u003e by Binildas Christudas.\u003c\/p\u003e\n\u003cp\u003ePublished by Apress, (2019), Paperback, 902 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Java (computer program language), User interfaces (computer systems).\u003c\/p\u003e","brand":"Binildas Christudas","offers":[{"title":"Default Title","offer_id":52231974388054,"sku":"9781484245002","price":79.8,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781484245002.jpg?v=1767749181"},{"product_id":"practical-jsf-in-java-ee-8-apress-9781484230299-web-applications-in-java-for-the-enterprise-michael-m-ller","title":"Practical JSF in Java EE 8","description":"\u003cp\u003e\u003cstrong\u003ePractical JSF in Java EE 8\u003c\/strong\u003e by Michael Müller.\u003c\/p\u003e\n\u003cp\u003ePublished by Apress, (2018), Paperback, 480 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Java (computer program language).\u003c\/p\u003e","brand":"Michael Müller","offers":[{"title":"Default Title","offer_id":52231977992534,"sku":"9781484230299","price":67.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781484230299.jpg?v=1767749186"},{"product_id":"practical-domain-driven-design-in-enterprise-java-apress-9781484245422-using-jakarta-ee-eclipse-microprofile-spring-boot-and-the-axon-framework-vijay-nair","title":"Practical Domain-Driven Design in Enterprise Java","description":"\u003cp\u003e\u003cstrong\u003ePractical Domain-Driven Design in Enterprise Java\u003c\/strong\u003e by Vijay Nair.\u003c\/p\u003e\n\u003cp\u003ePublished by Apress, (2019), Paperback, 379 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Computer software, development, Java (computer program language).\u003c\/p\u003e","brand":"Vijay Nair","offers":[{"title":"Default Title","offer_id":52232000799062,"sku":"9781484245422","price":49.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781484245422.jpg?v=1767749227"},{"product_id":"practical-aspects-of-declarative-languages-springer-international-publishing-ag-9783319196855-17th-international-symposium-padl-2015-portland-or-usa-june-18-19-2015-proceedings-enrico-pontelli","title":"Practical Aspects of Declarative Languages","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Practical Aspects of Declarative Languages,\" authored by Enrico Pontelli and published by Springer International Publishing AG in 2015. This engaging volume compiles the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages (PADL 2015), held in Portland, OR, USA. With 149 pages of meticulously selected content, this edition features ten revised papers that showcase the latest advancements and research in the field of programming languages for electronic computers. Ideal for researchers, practitioners, and students alike, this book provides a comprehensive overview of declarative programming principles and their practical applications. Enhance your understanding of this dynamic area of computer science with this essential resource.\u003c\/p\u003e","brand":"Enrico Pontelli","offers":[{"title":"Default Title","offer_id":52232008302934,"sku":"9783319196855","price":43.43,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319196855.jpg?v=1767749241"},{"product_id":"perspectives-of-system-informatics-springer-international-publishing-ag-9783319415789-10th-international-andrei-ershov-informatics-conference-psi-2015-in-memory-of-helmut-veith-kazan-and-innopolis-russia-august-24-27-2015-revised-selected-papers-manuel-ma","title":"Perspectives of System Informatics","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Perspectives of System Informatics\" by Manuel Mazzara, published by Springer International Publishing AG in 2016. This comprehensive volume spans 341 pages and serves as the refereed proceedings of the 10th International Andrei Ershov Informatics Conference (PSI 2015), which took place in Kazan and Innopolis, Russia. This first edition offers a collection of innovative research and discussions from leading experts in the field of system informatics. Ideal for researchers, practitioners, and students alike, this book delves into the latest advancements and methodologies shaping the future of informatics. Enhance your understanding of this dynamic discipline by adding \"Perspectives of System Informatics\" to your collection today!\u003c\/p\u003e","brand":"Manuel Mazzara","offers":[{"title":"Default Title","offer_id":52232771895638,"sku":"9783319415789","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319415789.jpg?v=1767750585"},{"product_id":"openmp-conquering-the-full-hardware-spectrum-springer-nature-switzerland-ag-9783030285951-15th-international-workshop-on-openmp-iwomp-2019-auckland-new-zealand-september-11-13-2019-proceedings-xing-fan","title":"OpenMP: Conquering the Full Hardware Spectrum","description":"\u003cp\u003eDiscover the cutting-edge insights in \u003cstrong\u003eOpenMP: Conquering the Full Hardware Spectrum\u003c\/strong\u003e by \u003cstrong\u003eXing Fan\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2019. This comprehensive volume, comprising \u003cstrong\u003e334 pages\u003c\/strong\u003e, presents the proceedings of the 15th International Workshop on OpenMP (IWOMP 2019) held in Auckland, New Zealand. The book features 22 meticulously reviewed papers that delve into various aspects of OpenMP, showcasing innovative research and advancements in parallel programming. Each section is thoughtfully organized, including a special highlight for the best paper, making it an essential resource for researchers and practitioners in the field. Whether you are looking to deepen your understanding of OpenMP or stay updated with the latest developments, this book is a valuable addition to your library. Enhance your programming skills and explore the full hardware spectrum with this authoritative guide.\u003c\/p\u003e","brand":"Xing Fan","offers":[{"title":"Default Title","offer_id":52233451733334,"sku":"9783030285951","price":73.74,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030285951.jpg?v=1767751867"},{"product_id":"new-opportunities-for-software-reuse-springer-international-publishing-ag-9783319904207-17th-international-conference-icsr-2018-madrid-spain-may-21-23-2018-proceedings-rafael-capilla","title":"New Opportunities for Software Reuse","description":"\u003cp\u003eDiscover the latest insights in software development with \u003cstrong\u003eNew Opportunities for Software Reuse\u003c\/strong\u003e by \u003cstrong\u003eRafael Capilla\u003c\/strong\u003e. This compelling book features the refereed proceedings of the 17th International Conference on Software Reuse (ICSR 2018), held in Madrid, Spain, in May 2018. Within its 181 pages, you will find 9 meticulously revised full papers and 2 concise short papers, all selected from a competitive pool of 29 submissions. Published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e, this 2018 edition is an essential resource for software engineers, researchers, and practitioners interested in enhancing their understanding of software reuse methodologies. Explore innovative strategies and best practices that can transform your software development processes. Dive into this valuable collection and unlock new potential for your projects today!\u003c\/p\u003e","brand":"Rafael Capilla","offers":[{"title":"Default Title","offer_id":52234054205782,"sku":"9783319904207","price":134.37,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319904207.jpg?v=1767752938"},{"product_id":"nasa-formal-methods-springer-international-publishing-ag-9783319779348-10th-international-symposium-nfm-2018-newport-news-va-usa-april-17-19-2018-proceedings-aaron-dutle","title":"NASA Formal Methods","description":"\u003cp\u003eDiscover the cutting-edge advancements in formal methods with \u003cstrong\u003eNASA Formal Methods\u003c\/strong\u003e by \u003cstrong\u003eAaron Dutle\u003c\/strong\u003e. This comprehensive volume, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2018, is the official proceedings of the 10th International Symposium on NASA Formal Methods (NFM 2018), held in Newport News, VA. With a total of \u003cstrong\u003e470 pages\u003c\/strong\u003e, this first edition features a collection of \u003cstrong\u003e24 full papers\u003c\/strong\u003e and \u003cstrong\u003e7 short papers\u003c\/strong\u003e that have been meticulously reviewed and selected from an impressive pool of \u003cstrong\u003e92 submissions\u003c\/strong\u003e. This book is an essential resource for researchers and practitioners interested in the intersection of formal methods and aerospace applications. Delve into the latest research and insights that shape the future of NASA's formal methods and enhance your understanding of this vital field.\u003c\/p\u003e","brand":"Aaron Dutle","offers":[{"title":"Default Title","offer_id":52234364485974,"sku":"9783319779348","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319779348.jpg?v=1767753527"},{"product_id":"nasa-formal-methods-springer-nature-switzerland-ag-9783030206512-11th-international-symposium-nfm-2019-houston-tx-usa-may-7-9-2019-proceedings-julia-m-badger","title":"NASA Formal Methods","description":"\u003cp\u003eExplore the cutting-edge research in formal methods with \u003cstrong\u003eNASA Formal Methods\u003c\/strong\u003e, authored by \u003cstrong\u003eJulia M. Badger\u003c\/strong\u003e. This comprehensive volume, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2019, compiles the proceedings from the 11th International Symposium on NASA Formal Methods (NFM 2019), held in Houston, TX. With a total of \u003cstrong\u003e392 pages\u003c\/strong\u003e, this book features 20 full papers and 8 short papers, all meticulously reviewed and selected from over 100 submissions. Ideal for researchers and practitioners in the field, this collection delves into innovative methodologies and applications that enhance the reliability and safety of software systems in aerospace and beyond. Don’t miss the opportunity to gain insights from leading experts and expand your knowledge in formal methods.\u003c\/p\u003e","brand":"Julia M. Badger","offers":[{"title":"Default Title","offer_id":52234364846422,"sku":"9783030206512","price":73.74,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030206512.jpg?v=1767753530"},{"product_id":"modern-systems-programming-with-scala-native-the-pragmatic-programmers-9781680506228-richard-whaling","title":"Modern Systems Programming with Scala Native","description":"\u003cp\u003e\u003cstrong\u003eModern Systems Programming with Scala Native\u003c\/strong\u003e by Richard Whaling.\u003c\/p\u003e\n\u003cp\u003ePublished by Pragmatic Programmers, LLC, The, (2019), Paperback, 262 pages.\u003c\/p\u003e","brand":"Richard Whaling","offers":[{"title":"Default Title","offer_id":52234964042070,"sku":"9781680506228","price":45.85,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781680506228.jpg?v=1767754578"},{"product_id":"models-algorithms-logics-and-tools-springer-international-publishing-ag-9783319631202-essays-dedicated-to-kim-guldstrand-larsen-on-the-occasion-of-his-60th-birthday-luca-aceto","title":"Models, Algorithms, Logics and Tools","description":"\u003cp\u003eExplore the profound contributions of Kim Guldstrand Larsen in \"Models, Algorithms, Logics and Tools,\" published by Springer International Publishing AG in 2017. This comprehensive first edition spans 662 pages and delves into a diverse array of topics, including real-time, concurrent, and probabilistic models of computation. Larsen's expertise also extends to the realms of logic in computer science and model checking, making this book an essential resource for both students and professionals in the field. Enhance your understanding of these critical areas in computing with this insightful work by a leading authority. Perfect for anyone looking to deepen their knowledge and stay ahead in the rapidly evolving world of computer science.\u003c\/p\u003e","brand":"Luca Aceto","offers":[{"title":"Default Title","offer_id":52235003756886,"sku":"9783319631202","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319631202.jpg?v=1767754650"},{"product_id":"model-checking-software-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783642391750-20th-international-symposium-spin-2013-stony-brook-ny-usa-july-8-9-2013-proceedings-ezio-bartocci","title":"Model Checking Software","description":"\u003cp\u003eDiscover the cutting-edge insights in \u003cstrong\u003eModel Checking Software\u003c\/strong\u003e by \u003cstrong\u003eEzio Bartocci\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer-Verlag Berlin and Heidelberg GmbH \u0026amp; Co. KG\u003c\/strong\u003e in 2013. This comprehensive volume, spanning \u003cstrong\u003e377 pages\u003c\/strong\u003e, presents the refereed proceedings of the prestigious 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA. The collection features \u003cstrong\u003e18 regular papers\u003c\/strong\u003e, \u003cstrong\u003e2 tool demonstration papers\u003c\/strong\u003e, and \u003cstrong\u003e2 invited papers\u003c\/strong\u003e, all meticulously reviewed and selected from a competitive pool of 40 submissions. A must-read for professionals and researchers in the field, this book delves into the latest advancements and methodologies in model checking, providing valuable knowledge and practical tools for enhancing software reliability. Enhance your understanding of model checking with this essential resource!\u003c\/p\u003e","brand":"Ezio Bartocci","offers":[{"title":"Default Title","offer_id":52235027874134,"sku":"9783642391750","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783642391750.jpg?v=1767754692"},{"product_id":"model-checking-software-springer-international-publishing-ag-9783319234038-22nd-international-symposium-spin-2015-stellenbosch-south-africa-august-24-26-2015-proceedings-bernd-fischer","title":"Model Checking Software","description":"\u003cp\u003eDiscover the cutting-edge research in software verification with \u003cstrong\u003eModel Checking Software\u003c\/strong\u003e by \u003cstrong\u003eBernd Fischer\u003c\/strong\u003e. This comprehensive volume is the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, which took place in Stellenbosch, South Africa, in August 2015. The book features 18 meticulously reviewed papers, including 14 regular contributions and 4 insightful tool or new idea papers, selected from a competitive pool of 27 submissions. Published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e, this first edition spans \u003cstrong\u003e319 pages\u003c\/strong\u003e and is an essential resource for researchers and practitioners in the field of software engineering and model checking. Enhance your understanding of the latest advancements in model checking techniques and tools with this valuable addition to your library.\u003c\/p\u003e","brand":"Bernd Fischer","offers":[{"title":"Default Title","offer_id":52235027939670,"sku":"9783319234038","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319234038.jpg?v=1767754691"},{"product_id":"modern-compiler-implementation-in-java-cambridge-university-press-9780521820608-andrew-w-appel","title":"Modern Compiler Implementation in Java","description":"\u003cp\u003eDiscover the essential guide to compiler design with \u003cstrong\u003eModern Compiler Implementation in Java\u003c\/strong\u003e by \u003cstrong\u003eAndrew W. Appel\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e. This comprehensive textbook, now in its \u003cstrong\u003e2nd Revised edition\u003c\/strong\u003e, spans \u003cstrong\u003e512 pages\u003c\/strong\u003e and delves into all phases of modern compiler construction. \u003c\/p\u003e \u003cp\u003eAppel expertly covers a range of topics from the fundamentals of compilation to advanced techniques such as SSA form, code generation, register allocation, loop scheduling, and optimization for cache-memory hierarchies. Whether you are a student or a seasoned programmer, this book is an invaluable resource for understanding compilers for imperative, functional, and object-oriented languages. Enhance your programming skills and deepen your knowledge of compilers with this authoritative text that bridges theory and practical application. \u003c\/p\u003e","brand":"Andrew W. Appel","offers":[{"title":"Default Title","offer_id":52235289919830,"sku":"9780521820608","price":87.09,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521820608.jpg?v=1767755192"},{"product_id":"modern-compiler-implementation-in-c-cambridge-university-press-9780521607650-andrew-w-appel","title":"Modern Compiler Implementation in C","description":"\u003cp\u003eDiscover the intricacies of compiler design with \u003cstrong\u003eModern Compiler Implementation in C\u003c\/strong\u003e by \u003cstrong\u003eAndrew W. Appel\u003c\/strong\u003e. Published by Cambridge University Press in 2004, this comprehensive guide spans 556 pages, offering an in-depth exploration of all phases of modern compiler construction. Appel meticulously covers essential techniques in code generation and register allocation, making it an invaluable resource for those interested in imperative, functional, and object-oriented programming languages. Whether you are a student or a professional in the field of software development, this book will enhance your understanding of compilers and interpreters, providing you with the tools needed to create efficient and effective software solutions. Dive into the world of programming languages with this essential text, perfect for anyone looking to deepen their knowledge of compiler technology.\u003c\/p\u003e","brand":"Andrew W. Appel","offers":[{"title":"Default Title","offer_id":52235290411350,"sku":"9780521607650","price":83.45,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521607650.jpg?v=1767755193"},{"product_id":"modern-compiler-implementation-in-ml-cambridge-university-press-9780521607643-andrew-w-appel","title":"Modern Compiler Implementation in ML","description":"\u003cp\u003eDiscover the intricacies of compiler design with \u003cstrong\u003eModern Compiler Implementation in ML\u003c\/strong\u003e by \u003cstrong\u003eAndrew W. Appel\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2004. This comprehensive guide spans 552 pages, providing an in-depth exploration of all phases of a modern compiler. Delve into essential techniques in code generation and register allocation tailored for imperative, functional, and object-oriented programming languages. Whether you're a student, educator, or professional in the field of computer science, this book serves as an invaluable resource for understanding the complexities of compiler construction. Enhance your programming skills and deepen your knowledge of software development with this essential addition to your library.\u003c\/p\u003e","brand":"Andrew W. Appel","offers":[{"title":"Default Title","offer_id":52235290476886,"sku":"9780521607643","price":81.02,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521607643.jpg?v=1767755195"},{"product_id":"metaprogramming-elixir-the-pragmatic-programmers-9781680500417-chris-mccord","title":"Metaprogramming Elixir","description":"\u003cp\u003e\u003cstrong\u003eMetaprogramming Elixir\u003c\/strong\u003e by Chris McCord.\u003c\/p\u003e\n\u003cp\u003ePublished by Pragmatic Bookshelf, (2015), Paperback, 120 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Elixir (Computer program language), Computer programming, Computer programs.\u003c\/p\u003e","brand":"Chris McCord","offers":[{"title":"Default Title","offer_id":52235311776086,"sku":"9781680500417","price":17.37,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781680500417.jpg?v=1767755233"},{"product_id":"mastering-scale-and-complexity-in-software-reuse-springer-international-publishing-ag-9783319568553-16th-international-conference-on-software-reuse-icsr-2017-salvador-brazil-may-29-31-2017-proceedings-goetz-botterweck","title":"Mastering Scale and Complexity in Software Reuse","description":"\u003cp\u003eDiscover the essential insights of software reuse in \"Mastering Scale and Complexity in Software Reuse\" by Goetz Botterweck. Published by Springer International Publishing AG in 2017, this first edition features 225 pages of expertly curated content from the 16th International Conference on Software Reuse (ICSR 2017), held in Salvador, Brazil. This comprehensive volume includes 8 meticulously revised full papers, along with 3 concise papers and 2 thought-provoking keynote presentations, all selected from a competitive pool of 34 submissions. Whether you are a software engineer, researcher, or academic, this book serves as a valuable resource for mastering the complexities of software reuse. Enhance your understanding and elevate your projects with the latest findings and methodologies in the field.\u003c\/p\u003e","brand":"Goetz Botterweck","offers":[{"title":"Default Title","offer_id":52235669373270,"sku":"9783319568553","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319568553.jpg?v=1767755847"},{"product_id":"list-of-successes-that-can-change-the-world-springer-international-publishing-ag-9783319309354-essays-dedicated-to-philip-wadler-on-the-occasion-of-his-60th-birthday-sam-lindley","title":"A List of Successes That Can Change the World","description":"\u003cp\u003eDiscover the groundbreaking collection, \u003cstrong\u003eList of Successes That Can Change the World\u003c\/strong\u003e, edited by Sam Lindley and published by Springer International Publishing AG in 2016. This 1st edition, spanning an impressive 479 pages, is a tribute to the influential work of Philip Wadler on the occasion of his 60th birthday. The volume features a curated selection of research papers that highlight the diverse areas of computer science where Phil has made significant contributions. Each paper showcases the innovative ideas and collaborative spirit of the contributors, making this book an essential read for anyone interested in the advancements in computer science. Whether you are a student, researcher, or enthusiast, this Festschrift is a valuable addition to your library. Dive into the world of cutting-edge research and celebrate the legacy of Philip Wadler with this remarkable collection.\u003c\/p\u003e","brand":"Sam Lindley","offers":[{"title":"Default Title","offer_id":52236546736470,"sku":"9783319309354","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319309354.jpg?v=1767757359"},{"product_id":"linkers-and-loaders-elsevier-science-technology-9781558604964-john-r-levine","title":"Linkers and Loaders","description":"\u003cp\u003eExplore the intricate world of linking and loading with \u003cstrong\u003eLinkers and Loaders\u003c\/strong\u003e by \u003cstrong\u003eJohn R. Levine\u003c\/strong\u003e. Published in 1999 by Elsevier Science \u0026amp; Technology, this comprehensive guide spans 272 pages and delves into the essential compile-time and run-time processes that are fundamental to programming across various languages and platforms. Whether you are a seasoned developer or a newcomer, this book provides a comparative analysis of linking and loading, highlighting the distinctions among different compilers and operating systems. Enhance your understanding of these critical functions and improve your programming skills with insights from a leading expert in the field. Don't miss the opportunity to deepen your knowledge and elevate your coding practices with this essential resource.\u003c\/p\u003e","brand":"John R. Levine","offers":[{"title":"Default Title","offer_id":52236565021014,"sku":"9781558604964","price":65.47,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781558604964_f935011e-f791-405e-95b2-e021f5a3dec1.jpg?v=1767757393"},{"product_id":"learn-java-with-math-apress-9781484252086-using-fun-projects-and-games-ron-dai","title":"Learn Java with Math","description":"\u003cp\u003e\u003cstrong\u003eLearn Java with Math\u003c\/strong\u003e by Ron Dai.\u003c\/p\u003e\n\u003cp\u003ePublished by Apress, (2019), Paperback, 231 pages.\u003c\/p\u003e","brand":"Ron Dai","offers":[{"title":"Default Title","offer_id":52236987334998,"sku":"9781484252086","price":61.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781484252086.jpg?v=1767757998"},{"product_id":"languages-and-compilers-for-parallel-computing-springer-international-publishing-ag-9783319527086-29th-international-workshop-lcpc-2016-rochester-ny-usa-september-28-30-2016-revised-papers-chen-ding","title":"Languages and Compilers for Parallel Computing","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Languages and Compilers for Parallel Computing,\" authored by Chen Ding and published by Springer International Publishing AG in 2017. This first edition, spanning 348 pages, features the thoroughly refereed post-conference proceedings from the 29th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2016), held in Rochester, NY. The book includes 20 revised full papers and 4 short papers, all meticulously reviewed to ensure high academic standards. Ideal for researchers, practitioners, and students in the field, this comprehensive collection addresses the latest advancements and methodologies in parallel computing. Enhance your understanding of languages and compilers with this essential resource!\u003c\/p\u003e","brand":"Chen Ding","offers":[{"title":"Default Title","offer_id":52237169885526,"sku":"9783319527086","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319527086.jpg?v=1767758319"}],"url":"https:\/\/www.bookshop.ee\/collections\/kompiliatoriai-ir-interpretatoriai.oembed?page=3","provider":"Bookshop","version":"1.0","type":"link"}