{"title":"Skaičiavimų teorija (bendra)","description":"\u003cp\u003eSkaičiavimų teorija (bendra): 197 knygų anglų kalba. Pristatymas visoje Lietuvoje, Latvijoje ir Estijoje.\u003c\/p\u003e","products":[{"product_id":"logic-in-computer-science-9780521543101","title":"Logic in Computer Science","description":"\u003cp\u003eDiscover the essential insights of \u003cstrong\u003eLogic in Computer Science\u003c\/strong\u003e by \u003cstrong\u003eMichael Huth\u003c\/strong\u003e, a comprehensive guide that bridges the gap between formal reasoning and practical applications in modern computer science. This second edition, published in 2004, spans \u003cstrong\u003e440 pages\u003c\/strong\u003e and includes significant enhancements, featuring expanded sections and a wealth of exercises designed to deepen your understanding. With an updated focus on model-checking, this book is invaluable for students and professionals alike who seek a rigorous yet accessible introduction to the mathematical theory of computation and logic programming. Whether you are delving into computer architecture, systems analysis, or software development, Huth's work remains a critical resource in the field of computer science. Enhance your knowledge and skills with this authoritative text that meets the evolving demands of technology.\u003c\/p\u003e","brand":"Michael Huth","offers":[{"title":"Default Title","offer_id":51030141960534,"sku":"9780521543101","price":67.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521543101.jpg?v=1754799623"},{"product_id":"numerical-recipes-source-code-cd-rom-3rd-edition-9780521706858","title":"Numerical Recipes Source Code CD-ROM 3rd Edition","description":"\u003cp\u003eDiscover the essential tool for programmers and mathematicians with the \u003cstrong\u003eNumerical Recipes Source Code CD-ROM 3rd Edition\u003c\/strong\u003e by \u003cstrong\u003eWilliam H. Press\u003c\/strong\u003e. Released in 2007, this comprehensive CD-ROM features complete source code in C++ for the latest edition of the acclaimed \u003cem\u003eNumerical Recipes\u003c\/em\u003e, along with access to source code from all previous editions. Perfect for those delving into advanced computational methods, this resource is invaluable for anyone involved in mathematical and statistical software development. Enhance your programming skills and deepen your understanding of mathematical theory with this rich compilation. Ideal for both students and professionals, the CD-ROM bridges the gap between theory and practical application. Don’t miss out on this essential addition to your software toolkit!\u003c\/p\u003e","brand":"William H. Press","offers":[{"title":"Default Title","offer_id":51030243803478,"sku":"9780521706858","price":101.64,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521706858.jpg?v=1754804659"},{"product_id":"computability-theory-9781584882374","title":"Computability Theory","description":"\u003cp\u003eDelve into the fascinating world of \u003cstrong\u003eComputability Theory\u003c\/strong\u003e by \u003cstrong\u003eS. Barry Cooper\u003c\/strong\u003e, a comprehensive guide published in 2003. This insightful book spans 420 pages and offers an engaging introduction to contemporary computability theory, its techniques, and pioneering results. \u003c\/p\u003e \n\n\u003cp\u003eCooper artfully contextualizes essential concepts within their historical, philosophical, and logical frameworks, making it an invaluable resource for students and professionals alike. The book not only addresses the core aspects of computability but also includes a dedicated chapter that explores a range of applications in mathematics and science, showcasing the practical implications of these theories. \u003c\/p\u003e \n\n\u003cp\u003eWhether you are a budding computer scientist or a mathematics enthusiast, \u003cstrong\u003eComputability Theory\u003c\/strong\u003e opens the door to understanding the complexities of computable functions and the foundational principles of computation. Enhance your knowledge of this critical area of study with S. Barry Cooper's authoritative text.\u003c\/p\u003e","brand":"S. Barry Cooper","offers":[{"title":"Default Title","offer_id":51181962363222,"sku":"9781584882374","price":128.31,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781584882374.jpg?v=1756592524"},{"product_id":"discrete-mathematics-for-computing-9780201730470","title":"Discrete Mathematics for Computing","description":"\u003cp\u003eExplore the foundational concepts of computer science with \u003cstrong\u003eDiscrete Mathematics for Computing\u003c\/strong\u003e by \u003cstrong\u003eRod Haggarty\u003c\/strong\u003e. Published in 2001, this insightful book spans 248 pages and serves as a concise introduction to the essential mathematical ideas that form the basis of computing. Haggarty emphasizes the practical applications of discrete mathematics, making complex theories accessible to students, even those with minimal mathematical background. This book is ideal for anyone looking to strengthen their understanding of mathematical theory in the context of computer science. Dive into the world of applied mathematics and discover how these concepts drive modern computing!\u003c\/p\u003e","brand":"Rod Haggarty","offers":[{"title":"Default Title","offer_id":51376232366422,"sku":"9780201730470","price":91.93,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780201730470.jpg?v=1758482065"},{"product_id":"michael-sipser-cengage-learning-inc-introduction-to-the-theory-of-computation-9780357670583","title":"Introduction to the Theory of Computation","description":"\u003cp\u003e\u003cstrong\u003eIntroduction to the Theory of Computation\u003c\/strong\u003e by Michael Sipser.\u003c\/p\u003e\n\u003cp\u003ePublished by Course Technology, (2021), 504 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Machine theory, Computational complexity, Qa267 .s56 2013, 511.35.\u003c\/p\u003e","brand":"Michael Sipser","offers":[{"title":"Default Title","offer_id":52170135077206,"sku":"9780357670583","price":94.35,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780357670583.jpg?v=1767010827"},{"product_id":"verification-of-computer-codes-in-computational-science-and-engineering-taylor-francis-inc-9781584882640-patrick-knupp","title":"Verification of Computer Codes in Computational Science and Engineering","description":"\u003cp\u003eDelve into the intricacies of computational accuracy with \"Verification of Computer Codes in Computational Science and Engineering\" by Patrick Knupp. Published in 2002, this insightful hardback spans 160 pages and introduces an innovative procedure known as OVMSP: Order-Verification via the Manufactured Solution Procedure. This method empowers readers to uncover nearly all coding 'bugs' that may hinder the correct resolution of governing partial differential equations. \u003c\/p\u003e \u003cp\u003eDesigned for professionals and students in engineering and computational science, this book not only guides you through the OVMSP technique but also showcases its practical effectiveness in real-world applications. Whether you're involved in civil, mechanical engineering, or general programming, Knupp's expertise provides invaluable insights for ensuring the reliability of numerical calculations and solutions. Enhance your understanding and mastery of coding techniques that are crucial in today's technological landscape. \u003c\/p\u003e","brand":"Patrick Knupp","offers":[{"title":"Default Title","offer_id":52224931594582,"sku":"9781584882640","price":207.12,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781584882640.jpg?v=1767738390"},{"product_id":"uncertain-reasoner-s-companion-cambridge-university-press-9780521032728-a-mathematical-perspective-j-b-paris","title":"The Uncertain Reasoner's Companion","description":"\u003cp\u003eExplore the intriguing world of logic and mathematical computation with \"Uncertain Reasoner's Companion\" by J. B. Paris, published by Cambridge University Press in 2006. This engaging paperback delves into the mathematical foundations fundamental to understanding reasoning under uncertainty. With 224 pages of insightful content, it serves as an essential resource for graduate students and researchers alike in the fields of logic, philosophy, and computer science. Whether you're a beginner looking to grasp the basics or a seasoned professional aiming to deepen your theoretical knowledge, this book provides a clear and inviting introduction. Enhance your understanding and appreciation of symbolic and mathematical logic by adding this authoritative title to your collection.\u003c\/p\u003e","brand":"J. B. Paris","offers":[{"title":"Default Title","offer_id":52225347158358,"sku":"9780521032728","price":57.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521032728.jpg?v=1767738907"},{"product_id":"transactions-on-large-scale-data-and-knowledge-centered-systems-xxxiv-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783662559468-special-issue-on-consistency-and-inconsistency-in-data-centric-applications-abdelkader-hameurlain","title":"Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV,\" expertly edited by Abdelkader Hameurlain and published by Springer-Verlag Berlin and Heidelberg GmbH \u0026amp; Co. KG in 2017. This first edition spans 185 pages and presents a meticulously curated collection of seven papers focusing on the themes of consistency and inconsistency within data-centric applications.\u003c\/p\u003e \n\n\u003cp\u003eDesigned for researchers, practitioners, and students alike, this volume delves into the critical issues that affect large-scale data management and knowledge systems. Each paper provides valuable analysis and proposed solutions, ensuring that readers remain at the forefront of advancements in this fast-evolving field. Enhance your understanding of how to navigate the challenges of data consistency in complex applications—order your copy today!\u003c\/p\u003e","brand":"Abdelkader Hameurlain","offers":[{"title":"Default Title","offer_id":52226224488790,"sku":"9783662559468","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783662559468.jpg?v=1767739813"},{"product_id":"transactions-on-computational-science-xxxiii-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783662580387-marina-l-gavrilova","title":"Transactions on Computational Science XXXIII","description":"\u003cp\u003eDiscover the latest advancements in the dynamic field of computational science with the book \u003cstrong\u003eTransactions on Computational Science XXXIII\u003c\/strong\u003e by \u003cstrong\u003eMarina L. Gavrilova\u003c\/strong\u003e. Published in 2018 by \u003cstrong\u003eSpringer-Verlag Berlin and Heidelberg GmbH \u0026amp; Co. KG\u003c\/strong\u003e, this volume comprises \u003cstrong\u003e129 pages\u003c\/strong\u003e of insightful research that emphasizes computational science as a pivotal discipline, enhancing various scientific fields rather than merely serving as a supplementary tool.\u003c\/p\u003e \n\n\u003cp\u003eThis edition embodies a collection of innovative approaches and methodologies that push the boundaries of what computational science can achieve. Ideal for researchers, academics, and students alike, \u003cstrong\u003eTransactions on Computational Science XXXIII\u003c\/strong\u003e provides a thorough exploration of contemporary issues and solutions within the discipline. Enhance your understanding and stay updated with cutting-edge techniques that can elevate your work in the scientific community.\u003c\/p\u003e","brand":"Marina L. Gavrilova","offers":[{"title":"Default Title","offer_id":52226224652630,"sku":"9783662580387","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783662580387.jpg?v=1767739813"},{"product_id":"theory-of-computation-john-wiley-sons-inc-9781118014783-george-j-tourlakis","title":"Theory of Computation","description":"\u003cp\u003eDelve into the fascinating world of computation with \"Theory of Computation\" by George J. Tourlakis, published by John Wiley \u0026amp; Sons Inc in 2012. This insightful hardback book spans 416 pages and provides a thorough exploration of computable functions and functional programming languages. \u003c\/p\u003e \n\n\u003cp\u003eThe author presents complex concepts with clarity, focusing on Unbound Register Machines (URMs) while integrating real-world computer examples. This approach not only enhances understanding but also equips readers with essential programming skills and intuition. Ideal for students and professionals alike, Tourlakis's work serves as a robust resource in the field of discrete mathematics. \u003c\/p\u003e \n\n\u003cp\u003eExplore the depths of computational theory and enrich your programming knowledge with this engaging and informative read. Don't miss the opportunity to elevate your understanding of this pivotal subject!\u003c\/p\u003e","brand":"George J. Tourlakis","offers":[{"title":"Default Title","offer_id":52226660237654,"sku":"9781118014783","price":139.17,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781118014783.jpg?v=1767740408"},{"product_id":"theory-and-applications-of-models-of-computation-springer-international-publishing-ag-9783319559100-14th-annual-conference-tamc-2017-bern-switzerland-april-20-22-2017-proceedings-t-v-gopal","title":"Theory and Applications of Models of Computation","description":"\u003cp\u003eExplore the fascinating world of computation with \"Theory and Applications of Models of Computation\" by T.V. Gopal. Published by Springer International Publishing AG in 2017, this comprehensive volume encompasses the refereed proceedings of the 14th Annual Conference on Theory and Applications of Models of Computation (TAMC 2017), held in Bern, Switzerland. Spanning 698 pages, the first edition delves into critical themes such as computability, computer science logic, complexity, algorithms, and models of computation, providing valuable insights for researchers and enthusiasts alike. Whether you are looking to deepen your understanding of computational theories or apply these models to practical systems, this book serves as an essential resource for academics and professionals in the field. Enhance your knowledge with this authoritative text today!\u003c\/p\u003e","brand":"T.V. Gopal","offers":[{"title":"Default Title","offer_id":52226764636502,"sku":"9783319559100","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319559100.jpg?v=1767740608"},{"product_id":"temporal-logic-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783540582410-first-international-conference-ictl-94-bonn-germany-july-11-14-1994-proceedings","title":"Temporal Logic","description":"\u003cp\u003eExplore the fascinating realm of temporal logic with \"Temporal Logic,\" compiled from the proceedings of the First International Conference on Temporal Logic (ICTL '94) held in Bonn, Germany, in July 1994. This comprehensive volume, published by Springer-Verlag Berlin and Heidelberg GmbH \u0026amp; Co. KG, spans a robust 551 pages and offers invaluable insights into this evolving discipline. Since its inception over thirty years ago, temporal logic has captured the interest of researchers across various fields, fostering a rich dialogue and expanding its applications. Ideal for scholars and enthusiasts alike, this work documents the latest developments and collaborative efforts in the study of temporal methodologies. Delve into the intricate theories and practical implications that define the dynamic landscape of temporal logic today. Don’t miss your chance to enrich your understanding and deepen your knowledge with this essential addition to your collection.\u003c\/p\u003e","brand":"Dov M. Gabbay","offers":[{"title":"Default Title","offer_id":52226970059094,"sku":"9783540582410","price":110.12,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783540582410.jpg?v=1767740923"},{"product_id":"systemic-text-generation-as-problem-solving-cambridge-university-press-9780521039260-terry-patten","title":"Systemic Text Generation as Problem Solving","description":"\u003cp\u003eDelve into the innovative world of computational linguistics with \u003cstrong\u003eSystemic Text Generation as Problem Solving\u003c\/strong\u003e by Terry Patten, published by Cambridge University Press in 2007. This insightful paperback spans 228 pages and offers a compelling exploration of text generation through the lens of systemic grammar as a computational tool.\u003c\/p\u003e \n\n\u003cp\u003eTerry Patten showcases how systemic grammar can be seamlessly translated into modern AI knowledge representations. He presents techniques that allow for efficient processing using approaches akin to those utilized in expert systems. This book is essential for anyone interested in the intersections of linguistics, artificial intelligence, and programming languages.\u003c\/p\u003e \n\n\u003cp\u003eWhether you're a computer science professional or an aspiring programmer, this title will enhance your understanding of text processing and natural language processing while addressing the mathematical theories underlying computation. Discover how to harness the power of systemic grammar to elevate your text generation skills.\u003c\/p\u003e","brand":"Terry Patten","offers":[{"title":"Default Title","offer_id":52227182166358,"sku":"9780521039260","price":45.85,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521039260.jpg?v=1767741284"},{"product_id":"symbolic-computation-and-automated-reasoning-taylor-francis-inc-9781568811451-the-calculemus-2000-symposium-michael-kohlhase","title":"Symbolic Computation and Automated Reasoning","description":"\u003cp\u003eExplore the intersection of mathematics and technology with \"Symbolic Computation and Automated Reasoning\" by Michael Kohlhase, published by Taylor \u0026amp; Francis Inc in 2001. This insightful book spans 284 pages and delves into critical topics including algebra, artificial intelligence, and the mathematical theory of computation.\u003c\/p\u003e \n\n\u003cp\u003eKohlhase expertly examines the growing importance of formal methods in the development of hardware and software, highlighting their relevance in today's digital landscape. As the need for automatic theorem proving becomes increasingly essential, this book serves as a comprehensive resource for both researchers and practitioners in discrete mathematics and data processing.\u003c\/p\u003e\n\n\u003cp\u003eWhether you are a student, educator, or professional in mathematics or computer science, \"Symbolic Computation and Automated Reasoning\" is an invaluable addition to your library. Enhance your understanding of this fascinating field and stay ahead in the rapidly evolving world of technology!\u003c\/p\u003e","brand":"Michael Kohlhase","offers":[{"title":"Default Title","offer_id":52227309142358,"sku":"9781568811451","price":116.18,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781568811451.jpg?v=1767741513"},{"product_id":"statistical-soft-computing-approaches-in-insurance-problems-nova-science-publishers-inc-9781626185067-sancho-salcedo-sanz","title":"Statistical \u0026 Soft Computing Approaches in Insurance Problems","description":"\u003cp\u003e\u003cstrong\u003eStatistical \u0026amp; Soft Computing Approaches in Insurance Problems\u003c\/strong\u003e by Sancho Salcedo-Sanz.\u003c\/p\u003e\n\u003cp\u003ePublished by Novinka, (2013), Paperback, 100 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Insurance, Mathematical models, Data processing, Insurance.\u003c\/p\u003e","brand":"Sancho Salcedo-Sanz","offers":[{"title":"Default Title","offer_id":52227958538582,"sku":"9781626185067","price":104.05,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781626185067.jpg?v=1767742545"},{"product_id":"signal-design-for-good-correlation-cambridge-university-press-9780521821049-for-wireless-communication-cryptography-and-radar","title":"Signal Design for Good Correlation","description":"\u003cp\u003eDelve into the intricate world of signal processing with \"Signal Design for Good Correlation,\" authored by a leading figure in the field. Published by Cambridge University Press in 2005, this hardback edition spans 458 pages, making it an essential resource for researchers and professionals alike.\u003c\/p\u003e\n\n\u003cp\u003eThis comprehensive guide offers an in-depth examination of the mathematical foundations necessary for generating signals with optimal correlation properties. It addresses the essential correlation constraints and illustrates their applications across various domains, including CDMA telephony, coded radar, and stream cipher generation.\u003c\/p\u003e\n\n\u003cp\u003eWhether you are a seasoned expert or a newcomer to the field, this text provides valuable insights and practical knowledge, ensuring you have the tools needed to excel in signal design. Enhance your understanding and get started on your signal processing journey today!\u003c\/p\u003e","brand":"Solomon W. (University of Southern California) Golomb","offers":[{"title":"Default Title","offer_id":52228756341078,"sku":"9780521821049","price":133.16,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521821049.jpg?v=1767743778"},{"product_id":"semantics-and-logics-of-computation-cambridge-university-press-9780521580571","title":"Semantics and Logics of Computation","description":"\u003cp\u003eThis book presents developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. They have been edited to form a coherent introduction to these topics.\u003c\/p\u003e","brand":"Andrew M. (University of Cambridge) Pitts","offers":[{"title":"Default Title","offer_id":52229064524118,"sku":"9780521580571","price":152.56,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521580571.jpg?v=1767744371"},{"product_id":"semantics-and-logics-of-computation-cambridge-university-press-9780521118460","title":"Semantics and Logics of Computation","description":"\u003cp\u003eThis book presents developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. They have been edited to form a coherent introduction to these topics.\u003c\/p\u003e","brand":"Andrew M. (University of Cambridge) Pitts","offers":[{"title":"Default Title","offer_id":52229064851798,"sku":"9780521118460","price":54.35,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521118460.jpg?v=1767744375"},{"product_id":"semantic-web-iswc-2019-springer-nature-switzerland-ag-9783030307929-18th-international-semantic-web-conference-auckland-new-zealand-october-26-30-2019-proceedings-part-i-chiara-ghidini","title":"The Semantic Web – ISWC 2019","description":"\u003cp\u003eDiscover the latest advancements in the field of semantic web technology with \"Semantic Web – ISWC 2019,\" expertly edited by Chiara Ghidini. This comprehensive two-volume set, comprising LNCS 11778 and 11779, features the refereed proceedings from the prestigious 18th International Semantic Web Conference, which took place in Auckland, New Zealand, in October 2019. \u003c\/p\u003e \n\n\u003cp\u003eDelving into cutting-edge research, this edition highlights 42 full papers meticulously selected from 194 submissions, showcasing innovative ideas and developments within the field. Published by Springer Nature Switzerland AG in 2019, this paperback edition spans an impressive 754 pages, making it a valuable resource for researchers, educators, and practitioners alike. \u003c\/p\u003e \n\n\u003cp\u003eStay ahead in the rapidly evolving landscape of semantic technology with this essential collection of scholarly work, perfect for those passionate about advancing digital knowledge and systems.\u003c\/p\u003e","brand":"Chiara Ghidini","offers":[{"title":"Default Title","offer_id":52229259493718,"sku":"9783030307929","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030307929.jpg?v=1767744678"},{"product_id":"semantic-web-iswc-2019-springer-nature-switzerland-ag-9783030307950-18th-international-semantic-web-conference-auckland-new-zealand-october-26-30-2019-proceedings-part-ii-chiara-ghidini","title":"The Semantic Web – ISWC 2019","description":"\u003cp\u003eDiscover the cutting-edge insights of the Semantic Web in \"Semantic Web – ISWC 2019,\" expertly edited by Chiara Ghidini. This comprehensive volume, published by Springer Nature Switzerland AG, showcases the latest advancements in the field, featuring 42 meticulously selected full papers from a competitive pool of 194 submissions. Spanning 550 pages, this first edition of the book presents a wealth of knowledge that is essential for researchers, practitioners, and enthusiasts alike. Delve into the innovative research and developments that continue to shape the Semantic Web landscape. Enhance your understanding and stay ahead in this rapidly evolving domain with this invaluable resource.\u003c\/p\u003e","brand":"Chiara Ghidini","offers":[{"title":"Default Title","offer_id":52229259919702,"sku":"9783030307950","price":85.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030307950.jpg?v=1767744681"},{"product_id":"scientific-computing-nova-science-publishers-inc-9781536125641-studies-applications-caj-erling","title":"Scientific Computing","description":"\u003cp\u003e\u003cstrong\u003eScientific Computing\u003c\/strong\u003e by Caj Erling.\u003c\/p\u003e\n\u003cp\u003ePublished by Nova Science Publishers, Incorporated, (2017), Paperback, 128 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Science, data processing.\u003c\/p\u003e","brand":"Caj Erling","offers":[{"title":"Default Title","offer_id":52229550211414,"sku":"9781536125641","price":141.64,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781536125641.jpg?v=1767745164"},{"product_id":"research-in-data-science-springer-nature-switzerland-ag-9783030115654-ellen-gasparovic","title":"Research in Data Science","description":"\u003cp\u003eExplore the dynamic world of data science with \"Research in Data Science,\" edited by Ellen Gasparovic. Published in 2019 by Springer Nature Switzerland AG, this hardback edition spans 297 pages and brings together an impressive collection of scholarly contributions. This insightful volume presents a diverse array of research that not only delves into theoretical frameworks but also covers applied and computational topics, offering readers a comprehensive perspective on current advancements in the field. Whether you are a student, researcher, or industry professional, this book serves as an essential resource for understanding the multifaceted landscape of data science. Discover the latest methodologies and applications that are shaping the future of this fast-evolving discipline.\u003c\/p\u003e","brand":"Ellen Gasparovic","offers":[{"title":"Default Title","offer_id":52230500778326,"sku":"9783030115654","price":97.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030115654.jpg?v=1767746869"},{"product_id":"quantum-computing-taylor-francis-ltd-9780750309837-from-linear-algebra-to-physical-realizations-m-nakahara-mikio-nakahara","title":"Quantum Computing","description":"\u003cp\u003eDiscover the fascinating world of quantum computing with \u003cstrong\u003eQuantum Computing\u003c\/strong\u003e by \u003cstrong\u003eM. Nakahara\u003c\/strong\u003e and \u003cstrong\u003eMikio Nakahara\u003c\/strong\u003e. Published by \u003cstrong\u003eTaylor \u0026amp; Francis Ltd\u003c\/strong\u003e in 2008, this comprehensive hardback spans 438 pages, delving deep into the theoretical underpinnings of quantum computation. The book meticulously examines various candidates for functional quantum computers, evaluating them against the DiVincenzo criteria.\u003c\/p\u003e \n\n\u003cp\u003eDesigned for both students and professionals, it includes essential derivations, exercises, and solutions that enhance your understanding of complex concepts. Key topics covered include vectors, matrices, quantum gates, and integral and Fourier transforms, making it an invaluable resource for anyone interested in the mathematical theory of computation and quantum theory.\u003c\/p\u003e \n\n\u003cp\u003eWhether you're an educator or a business software developer, this book serves as an essential guide to the future of computing. Unlock the potential of quantum technologies today!\u003c\/p\u003e","brand":"Mikio (Kinki University, Osaka, Japan) Nakahara","offers":[{"title":"Default Title","offer_id":52231269384534,"sku":"9780750309837","price":243.5,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780750309837.jpg?v=1767747949"},{"product_id":"quantum-approach-to-informatics-john-wiley-sons-inc-9780471736103-stig-stenholm","title":"Quantum Approach to Informatics","description":"\u003cp\u003eDiscover the fascinating intersection of quantum theory and informatics with \"Quantum Approach to Informatics\" by Stig Stenholm. Published by John Wiley \u0026amp; Sons Inc in 2005, this hardback edition spans 256 pages, providing an in-depth exploration of the rapidly evolving field of quantum information, communication, and computing. As the understanding of quantum mechanics continues to expand, it becomes increasingly essential for students and professionals alike to grasp these innovative concepts. Stenholm's work addresses the growing need for education in this cutting-edge area, offering insights into how physical observations and quantum measurements relate to information theory. Whether you're a student, educator, or simply curious about the quantum realm, this book serves as a valuable resource for navigating the complexities of modern informatics. Enhance your knowledge and stay ahead in the field with this essential read.\u003c\/p\u003e","brand":"Stig Stenholm","offers":[{"title":"Default Title","offer_id":52231271055702,"sku":"9780471736103","price":145.23,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780471736103.jpg?v=1767747953"},{"product_id":"qualified-types-cambridge-university-press-9780521543262-theory-and-practice-mark-p-jones","title":"Qualified Types","description":"\u003cp\u003eExplore the innovative world of qualified types with \u003cstrong\u003eQualified Types\u003c\/strong\u003e by \u003cstrong\u003eMark P. Jones\u003c\/strong\u003e. Published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2003, this insightful book spans 172 pages and delves into the integration of polymorphism and overloading in programming languages. Focusing primarily on the implementation of overloading in Haskell and Gofer, Jones provides a comprehensive framework that is essential for both students and professionals in computer science. This book is a must-read for anyone interested in abstract data types and the mathematical theory of computation. Enhance your programming skills and understanding with this essential resource from one of the leading experts in the field.\u003c\/p\u003e","brand":"Mark P. Jones","offers":[{"title":"Default Title","offer_id":52231299334486,"sku":"9780521543262","price":47.07,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521543262.jpg?v=1767748003"},{"product_id":"protecting-information-cambridge-university-press-9780521534765-from-classical-error-correction-to-quantum-cryptography-susan-loepp","title":"Protecting Information","description":"\u003cp\u003eIn the transmission of information storage, preventing noise and\/or eavesdropping is essential. This undergraduate introduction to quantum computing focuses on error correction and cryptography, providing a context in which ideas about mathematics, computer science and physics meet together, and students can understand the current thinking in quantum information theory.\u003c\/p\u003e","brand":"Susan Loepp","offers":[{"title":"Default Title","offer_id":52231537688918,"sku":"9780521534765","price":47.07,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521534765.jpg?v=1767748419"},{"product_id":"protecting-information-cambridge-university-press-9780521827409-from-classical-error-correction-to-quantum-cryptography-susan-loepp","title":"Protecting Information","description":"\u003cp\u003eIn the transmission of information storage, preventing noise and\/or eavesdropping is essential. This undergraduate introduction to quantum computing focuses on error correction and cryptography, providing a context in which ideas about mathematics, computer science and physics meet together, and students can understand the current thinking in quantum information theory.\u003c\/p\u003e","brand":"Susan Loepp","offers":[{"title":"Default Title","offer_id":52231538082134,"sku":"9780521827409","price":106.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521827409.jpg?v=1767748419"},{"product_id":"programs-recursion-and-unbounded-choice-cambridge-university-press-9780521018296-wim-h-hesselink","title":"Programs, Recursion and Unbounded Choice","description":"\u003cp\u003eDiscover the intricate world of programming with \u003cstrong\u003ePrograms, Recursion and Unbounded Choice\u003c\/strong\u003e by \u003cstrong\u003eWim H. Hesselink\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2005. This insightful book offers a comprehensive exploration of the predicate transformation calculus semantics of sequential programs, making it an essential read for computer science enthusiasts and professionals alike.\u003c\/p\u003e \n\n\u003cp\u003eSpanning 240 pages, Hesselink delves into the mathematical theory of computation, providing readers with a solid foundation in computer programming and software development. Whether you're a student looking to deepen your understanding or a seasoned programmer seeking to refine your skills, this book is a valuable resource that bridges theory and practical application.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your programming knowledge and elevate your expertise with this engaging and informative text that is sure to inspire and inform.\u003c\/p\u003e","brand":"Wim H. Hesselink","offers":[{"title":"Default Title","offer_id":52231637696854,"sku":"9780521018296","price":55.56,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521018296.jpg?v=1767748594"},{"product_id":"program-logics-for-certified-compilers-cambridge-university-press-9781107048010-andrew-w-appel","title":"Program Logics for Certified Compilers","description":"\u003cp\u003eDiscover the intricate world of compiler design with \u003cstrong\u003eProgram Logics for Certified Compilers\u003c\/strong\u003e by \u003cstrong\u003eAndrew W. Appel\u003c\/strong\u003e. Published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2014, this comprehensive hardback spans 472 pages and is an essential resource for graduate students delving into the realms of practical and theoretical separation logic.\u003c\/p\u003e \n\n\u003cp\u003eThis book provides an in-depth exploration of verification techniques in Hoare and separation logics, complemented by insightful case studies and the innovative Verifiable C program logic. On the theoretical front, Appel delves into complex topics such as separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C, equipping readers with the knowledge to navigate advanced concepts in logic programming.\u003c\/p\u003e \n\n\u003cp\u003eWhether you're a student or a professional in the field, \u003cstrong\u003eProgram Logics for Certified Compilers\u003c\/strong\u003e is a pivotal addition to your library, enhancing your understanding of compiler verification and logic.\u003c\/p\u003e","brand":"Andrew W. Appel","offers":[{"title":"Default Title","offer_id":52231643464022,"sku":"9781107048010","price":101.64,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781107048010.jpg?v=1767748605"},{"product_id":"predicate-transformer-semantics-cambridge-university-press-9780521616102","title":"Predicate Transformer Semantics","description":"\u003cp\u003eDiscover the intricacies of Boolean categories with \"Predicate Transformer Semantics,\" authored by an expert in the field and published by Cambridge University Press in 2004. This comprehensive paperback, spanning 236 pages, offers a rigorous foundation that is essential for graduate students and researchers delving into theoretical computer science. Whether you are looking to deepen your understanding or explore new concepts, this book provides valuable insights and a thorough examination of predicate transformer semantics. Enhance your academic library with this indispensable resource that bridges the gap between theory and practical application in computer science.\u003c\/p\u003e","brand":"Amherst) Manes Ernest. G. (University of Massachusetts","offers":[{"title":"Default Title","offer_id":52231906099542,"sku":"9780521616102","price":66.47,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521616102.jpg?v=1767749062"},{"product_id":"pi-calculus-cambridge-university-press-9780521543279-a-theory-of-mobile-processes-davide-sangiorgi","title":"The Pi-Calculus","description":"\u003cp\u003eDiscover the intricate world of mobile systems with \u003cstrong\u003ePi-Calculus\u003c\/strong\u003e by \u003cstrong\u003eDavide Sangiorgi\u003c\/strong\u003e. Published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2003, this comprehensive text spans \u003cstrong\u003e596 pages\u003c\/strong\u003e and serves as a vital resource for graduate-level students and computer scientists alike. The book delves into the p-calculus, a sophisticated mathematical model specifically designed to describe mobile systems where components communicate and adapt their structures. With no prior knowledge required, Sangiorgi guides readers through the foundational concepts and advanced applications of this essential theory. Whether you are exploring computer communications, networking, or programming, \u003cstrong\u003ePi-Calculus\u003c\/strong\u003e offers invaluable insights into the mathematical theory of computation. Enhance your understanding of mobile computing and networking with this authoritative guide.\u003c\/p\u003e","brand":"Davide Sangiorgi","offers":[{"title":"Default Title","offer_id":52232680276310,"sku":"9780521543279","price":78.6,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521543279.jpg?v=1767750423"},{"product_id":"p-np-and-np-completeness-cambridge-university-press-9780521192484-the-basics-of-computational-complexity-oded-goldreich","title":"P, NP, and NP-Completeness","description":"\u003cp\u003eDelve into the fascinating world of computational complexity with \u003cstrong\u003eP, NP, and NP-Completeness\u003c\/strong\u003e by \u003cstrong\u003eOded Goldreich\u003c\/strong\u003e. Published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2010, this insightful hardback offers an extensive introduction tailored for undergraduate students. Spanning \u003cstrong\u003e216 pages\u003c\/strong\u003e, the book provides a comprehensive overview of two pivotal topics in theoretical computer science.\u003c\/p\u003e \n\n\u003cp\u003eBeginning with essential concepts in computability, including Turing machines, search and decision problems, algorithms, circuits, and complexity classes, Goldreich expertly guides readers through the complexities of the P versus NP question and the intriguing theory of NP-completeness. This text is an invaluable resource for anyone looking to deepen their understanding of these critical issues in computer science.\u003c\/p\u003e \n\n\u003cp\u003eExplore the depths of computational theory with this essential guide, perfect for students and enthusiasts alike!\u003c\/p\u003e","brand":"Oded Goldreich","offers":[{"title":"Default Title","offer_id":52233316598102,"sku":"9780521192484","price":139.22,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521192484.jpg?v=1767751627"},{"product_id":"p-np-and-np-completeness-cambridge-university-press-9780521122542-the-basics-of-computational-complexity","title":"P, NP, and NP-Completeness","description":"\u003cp\u003eDiscover the intriguing world of computational complexity with \u003cstrong\u003eP, NP, and NP-Completeness\u003c\/strong\u003e by renowned author. Published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2010, this insightful paperback spans \u003cstrong\u003e216 pages\u003c\/strong\u003e and serves as an essential undergraduate introduction to two pivotal issues in theoretical computer science.\u003c\/p\u003e \n\n\u003cp\u003eThis comprehensive guide begins by laying the groundwork in computability, covering crucial topics such as Turing machines, search and decision problems, algorithms, circuits, and complexity classes. The book then delves into the fascinating P versus NP Question and the intricate theory of NP-completeness, offering readers a broad perspective on these fundamental concepts.\u003c\/p\u003e \n\n\u003cp\u003eWhether you're a student, educator, or simply a curious mind, \u003cstrong\u003eP, NP, and NP-Completeness\u003c\/strong\u003e is a must-have resource for anyone looking to deepen their understanding of computational theory.\u003c\/p\u003e","brand":"Israel) Goldreich Oded (Weizmann Institute of Science","offers":[{"title":"Default Title","offer_id":52233316761942,"sku":"9780521122542","price":51.92,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521122542.jpg?v=1767751628"},{"product_id":"numerical-methods-and-optimization-taylor-francis-inc-9781466577770-an-introduction-sergiy-butenko","title":"Numerical Methods and Optimization","description":"","brand":"Sergiy Butenko","offers":[{"title":"Default Title","offer_id":52233738715478,"sku":"9781466577770","price":116.18,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781466577770.jpg?v=1767752380"},{"product_id":"nominal-sets-cambridge-university-press-9781107017788-names-and-symmetry-in-computer-science","title":"Nominal Sets","description":"\u003cp\u003eDiscover the groundbreaking insights of \u003cstrong\u003eNominal Sets\u003c\/strong\u003e by Cambridge University Press, published in 2013. This hardback edition spans an impressive 287 pages, offering a comprehensive exploration of a novel approach to the syntax and semantics of programming languages, grounded in the symmetries of names. \u003c\/p\u003e \u003cp\u003eDesigned for researchers and graduate students in theoretical computer science, this book delves into both the theoretical foundations and practical applications of nominal sets. With its engaging content and rigorous analysis, \u003cstrong\u003eNominal Sets\u003c\/strong\u003e is an essential addition to your academic library. Enhance your understanding of programming languages with this vital resource that bridges the gap between theory and application.\u003c\/p\u003e","brand":"Andrew M. (University of Cambridge) Pitts","offers":[{"title":"Default Title","offer_id":52234205921622,"sku":"9781107017788","price":70.11,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781107017788.jpg?v=1767753226"},{"product_id":"nature-inspired-computing-taylor-francis-inc-9781482244823-physics-and-chemistry-based-algorithms-nazmul-h-siddique","title":"Nature-Inspired Computing","description":"\u003cp\u003e\u003cstrong\u003eNature-Inspired Computing\u003c\/strong\u003e by Nazmul H. Siddique, Hojjat Adeli.\u003c\/p\u003e\n\u003cp\u003ePublished by Taylor \u0026amp; Francis Group, (2017), Hardback, 596 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Algorithms, Biomathematics, Computational intelligence, Biomathématiques.\u003c\/p\u003e","brand":"Nazmul H. Siddique","offers":[{"title":"Default Title","offer_id":52234280042838,"sku":"9781482244823","price":182.88,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781482244823.jpg?v=1767753367"},{"product_id":"monte-carlo-simulation-nova-science-publishers-inc-9781536119893-methods-assessment-applications-frederick-j-mitchell","title":"Monte Carlo Simulation","description":"\u003cp\u003e\u003cstrong\u003eMonte Carlo Simulation\u003c\/strong\u003e by Frederick J. Mitchell.\u003c\/p\u003e\n\u003cp\u003ePublished by Nova Science Publishers, Incorporated, (2017), Paperback, 55 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Monte carlo method.\u003c\/p\u003e","brand":"Frederick J. Mitchell","offers":[{"title":"Default Title","offer_id":52234870030678,"sku":"9781536119893","price":119.82,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781536119893.jpg?v=1767754428"},{"product_id":"modelling-computing-systems-springer-london-ltd-9781848003217-mathematics-for-computer-science","title":"Modelling Computing Systems","description":"\u003cp\u003eDiscover the essential principles of computing systems with \"Modelling Computing Systems,\" authored by a team of experts and published by Springer London Ltd in 2013. This comprehensive paperback edition spans 500 pages, offering a thorough exploration of fundamental mathematics and modelling techniques tailored for newcomers to the field. The engaging and approachable writing style makes complex concepts accessible, ensuring that students at the start of their university journey can easily grasp the material. Perfect for those looking to build a solid foundation in computing systems, this book is a valuable resource for both self-study and academic courses. Enhance your understanding and skills in computing with this informative guide.\u003c\/p\u003e","brand":"Faron Moller","offers":[{"title":"Default Title","offer_id":52235012211030,"sku":"9781848003217","price":33.73,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781848003217.jpg?v=1767754667"},{"product_id":"modeling-and-using-context-springer-nature-switzerland-ag-9783030349738-11th-international-and-interdisciplinary-conference-context-2019-trento-italy-november-20-22-2019-proceedings-g-bor-bella","title":"Modeling and Using Context","description":"\u003cp\u003eDiscover the insights of \u003cstrong\u003eModeling and Using Context\u003c\/strong\u003e by \u003cstrong\u003eGábor Bella\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2019. This engaging book compiles the proceedings from the 11th International and Interdisciplinary Conference on Modeling and Using Context, held in Trento, Italy, in November 2019. With a comprehensive page count of \u003cstrong\u003e253 pages\u003c\/strong\u003e, this edition delves into the latest research and methodologies in the field of context modeling. Perfect for researchers, practitioners, and students alike, this work explores innovative approaches to understanding and utilizing context across various disciplines. Enhance your knowledge and stay at the forefront of this evolving area of study with this essential resource.\u003c\/p\u003e","brand":"Gábor Bella","offers":[{"title":"Default Title","offer_id":52235020173654,"sku":"9783030349738","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030349738.jpg?v=1767754680"},{"product_id":"modern-computer-arithmetic-cambridge-university-press-9780521194693-r-p-brent","title":"Modern Computer Arithmetic","description":"\u003cp\u003eDiscover the intricacies of arithmetic operations with \u003cstrong\u003eModern Computer Arithmetic\u003c\/strong\u003e by \u003cstrong\u003eR. P. Brent\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2010. This insightful book spans \u003cstrong\u003e236 pages\u003c\/strong\u003e and delves into arbitrary-precision algorithms designed for efficient execution of addition, multiplication, division, and modular arithmetic.\u003c\/p\u003e \n\n\u003cp\u003eBrent presents a collection of algorithms that are not only easy to understand but also ready for implementation in your favorite programming language. The book maintains a high-level perspective, steering clear of overly technical or machine-dependent details, making it accessible for both students and professionals in the field of computer science.\u003c\/p\u003e \n\n\u003cp\u003eWhether you are looking to enhance your understanding of computer arithmetic or seeking practical algorithms for your projects, \u003cstrong\u003eModern Computer Arithmetic\u003c\/strong\u003e is an essential resource that combines theoretical insights with practical applications.\u003c\/p\u003e","brand":"R. P. Brent","offers":[{"title":"Default Title","offer_id":52235289067862,"sku":"9780521194693","price":117.4,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521194693.jpg?v=1767755192"},{"product_id":"modeling-in-event-b-cambridge-university-press-9780521895569-system-and-software-engineering-jean-raymond-abrial","title":"Modeling in Event-B","description":"\u003cp\u003eDiscover the power of formal methods with \u003cstrong\u003eModeling in Event-B\u003c\/strong\u003e by \u003cstrong\u003eJean-Raymond Abrial\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2010. This comprehensive hardback edition spans \u003cstrong\u003e612 pages\u003c\/strong\u003e and serves as an essential resource for both introductory and advanced courses in formal methods.\u003c\/p\u003e \n\n\u003cp\u003eDelve into a mathematical approach to modeling and designing systems through the innovative extension of the B formal method known as Event-B. The book is rich with a diverse array of examples and exercises tailored to accommodate readers of all skill levels, ensuring a thorough understanding of the concepts presented.\u003c\/p\u003e \n\n\u003cp\u003eWhether you are a student, educator, or professional in the field of computer science, \u003cstrong\u003eModeling in Event-B\u003c\/strong\u003e is a vital addition to your library, providing insights into mathematical models and the verification of computer systems.\u003c\/p\u003e","brand":"Jean-Raymond Abrial","offers":[{"title":"Default Title","offer_id":52235315872086,"sku":"9780521895569","price":154.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521895569.jpg?v=1767755237"},{"product_id":"mathematics-of-quantum-computation-and-quantum-technology-taylor-francis-inc-9781584888994","title":"Mathematics of Quantum Computation and Quantum Technology","description":"\u003cp\u003eDiscover the fascinating world of quantum computing with \u003cstrong\u003eMathematics of Quantum Computation and Quantum Technology\u003c\/strong\u003e by Taylor \u0026amp; Francis Inc. Published in 2007, this comprehensive hardback edition spans 631 pages of in-depth exploration into the mathematical advancements that are shaping the future of technology.\u003c\/p\u003e \n\n\u003cp\u003eThis essential title delves into a variety of critical topics within quantum computing, including quantum algorithms, hidden subgroups, quantum search techniques, algorithmic complexity, and quantum simulation. Additionally, it provides insights into quantum technology, covering vital mathematical tools, quantum wave functions, and the intricacies of SQUIDs.\u003c\/p\u003e \n\n\u003cp\u003eWhether you're a student, researcher, or enthusiast, this book is a valuable resource that bridges the gap between mathematics and cutting-edge technology. Enhance your understanding of quantum systems and their applications by adding this title to your collection today!\u003c\/p\u003e","brand":"USA) Kauffman Louis (University of Illinois at Chicago","offers":[{"title":"Default Title","offer_id":52235606753622,"sku":"9781584888994","price":231.38,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781584888994.jpg?v=1767755748"},{"product_id":"mathematics-almost-everywhere-in-memory-of-solomon-marcus-world-scientific-publishing-co-pte-ltd-9789813237308-a-bellow","title":"Mathematics Almost Everywhere: In Memory Of Solomon Marcus","description":"\u003cp\u003e\u003cstrong\u003eMathematics Almost Everywhere: In Memory Of Solomon Marcus\u003c\/strong\u003e by A. Bellow.\u003c\/p\u003e\n\u003cp\u003ePublished by World Scientific Publishing Co Pte Ltd, (2014), Hardback, 252 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Mathematicians, Mathematical linguistics, Mathematical analysis.\u003c\/p\u003e","brand":"A. Bellow","offers":[{"title":"Default Title","offer_id":52235613667670,"sku":"9789813237308","price":110.12,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789813237308.jpg?v=1767755760"},{"product_id":"mathematical-theory-of-nonblocking-switching-networks-the-2nd-edition-world-scientific-publishing-co-pte-ltd-9789812560421-frank-k-hawang","title":"Mathematical Theory Of Nonblocking Switching Networks, The (2nd Edition)","description":"\u003cp\u003e\u003cstrong\u003eMathematical Theory Of Nonblocking Switching Networks, The (2nd Edition)\u003c\/strong\u003e by Frank K. Hawang, Frank Hwang.\u003c\/p\u003e\n\u003cp\u003ePublished by World Scientific Publishing Company, (2004), Hardback, 200 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Mathematical models, Switching systems, Telecommunication, Computer networks.\u003c\/p\u003e","brand":"Frank K. Hawang","offers":[{"title":"Default Title","offer_id":52235615797590,"sku":"9789812560421","price":78.6,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789812560421.jpg?v=1767755764"},{"product_id":"mathematical-foundations-of-computer-science-2006-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783540377917-31st-international-symposium-mfcs-2006-stara-lesna-slovakia-august-28-september-1-2006-proceedings-symposium-on-mathematical-foundations-of-co","title":"Mathematical Foundations of Computer Science 2006","description":"\u003cp\u003eDiscover the essential insights of theoretical computer science with the \"Mathematical Foundations of Computer Science 2006,\" edited by the Symposium on Mathematical Foundations of Computer Science. This comprehensive volume features the refereed proceedings from the 31st International Symposium held in Stará Lesná, Slovakia. With a substantial page count of 816, this paperback edition published by Springer-Verlag Berlin and Heidelberg GmbH \u0026amp; Co. KG delves into a wide range of topics, including algorithms, data structures, complexity, automata, semantics, logic, and formal specifications. Perfect for researchers, students, and professionals, this book serves as a critical resource for understanding the mathematical underpinnings of computer science. Enhance your knowledge and stay informed about the latest developments in the field with this indispensable collection of scholarly work from 2006.\u003c\/p\u003e","brand":"Rastislav Kralovic","offers":[{"title":"Default Title","offer_id":52235628806486,"sku":"9783540377917","price":110.12,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783540377917.jpg?v=1767755792"},{"product_id":"mathematical-foundations-for-signal-processing-communications-and-networking-taylor-francis-inc-9781439855133-erchin-serpedin","title":"Mathematical Foundations for Signal Processing, Communications, and Networking","description":"","brand":"Erchin Serpedin","offers":[{"title":"Default Title","offer_id":52235629494614,"sku":"9781439855133","price":285.94,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781439855133.jpg?v=1767755790"},{"product_id":"math-toolkit-for-real-time-programming-taylor-francis-ltd-9781138412477-jack-crenshaw","title":"Math Toolkit for Real-Time Programming","description":"\u003cp\u003eUnlock the power of mathematics in embedded systems with the \u003cstrong\u003eMath Toolkit for Real-Time Programming\u003c\/strong\u003e by \u003cstrong\u003eJack Crenshaw\u003c\/strong\u003e. Published by \u003cstrong\u003eTaylor \u0026amp; Francis Ltd\u003c\/strong\u003e in 2018, this comprehensive guide spans \u003cstrong\u003e492 pages\u003c\/strong\u003e and is designed for programmers seeking to enhance their skills in C++ and real-time programming.\u003c\/p\u003e \n\n\u003cp\u003eThis essential toolkit provides you with the knowledge to perform complex mathematical operations on small machines. Discover fast and accurate library functions, explore numerical integration to any order, and master z-transform formulas. Whether you are working on computer algorithms or delving into embedded computer systems, this book equips you with the tools you need to succeed.\u003c\/p\u003e \n\n\u003cp\u003eElevate your programming capabilities and ensure precision in your projects with Crenshaw's expert insights and practical approaches to real-time mathematical challenges.\u003c\/p\u003e","brand":"Jack Crenshaw","offers":[{"title":"Default Title","offer_id":52235633656150,"sku":"9781138412477","price":231.38,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781138412477.jpg?v=1767755797"},{"product_id":"math-toolkit-for-real-time-programming-taylor-francis-ltd-9781929629091","title":"Math Toolkit for Real-Time Programming","description":"\u003cp\u003eUnlock the power of mathematics in real-time programming with the \u003cstrong\u003eMath Toolkit for Real-Time Programming\u003c\/strong\u003e by Taylor \u0026amp; Francis Ltd. Published in 2000, this comprehensive guide spans 492 pages, making it an essential resource for programmers looking to enhance their mathematical skills. Dive into the world of efficient library functions, mastering both analytical and numerical calculus. This book will equip you with the tools to perform numerical integration to any order and implement z-transform formulas with ease. Whether you are a novice or an experienced programmer, this toolkit provides the insights needed to tackle complex mathematical challenges on small machines. Perfect for anyone in the field of programming, this book is a must-have for your collection.\u003c\/p\u003e","brand":"Jack Crenshaw","offers":[{"title":"Default Title","offer_id":52235634049366,"sku":"9781929629091","price":101.63,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781929629091.jpg?v=1767755801"},{"product_id":"mathematics-for-large-scale-computing-taylor-francis-inc-9780824781224","title":"Mathematics for Large Scale Computing","description":"\u003cp\u003eDiscover the essential insights into large scale computing with \u003cstrong\u003eMathematics for Large Scale Computing\u003c\/strong\u003e, authored by leading experts and published by Taylor \u0026amp; Francis Inc in 1989. This comprehensive paperback, spanning 368 pages, delves into the burgeoning field of large scale computing applications. The book features a collection of survey articles alongside detailed chapters that explore specific research applications, the development and analysis of numerical algorithms, and the performance evaluation of these algorithms on cutting-edge architectures. Ideal for researchers, students, and professionals alike, this book provides a robust foundation for understanding the complexities and advancements in large scale computing. Enhance your knowledge and stay ahead in this rapidly evolving field by adding this invaluable resource to your collection.\u003c\/p\u003e","brand":"Julio Diaz","offers":[{"title":"Default Title","offer_id":52235955110230,"sku":"9780824781224","price":322.31,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780824781224.jpg?v=1767756340"},{"product_id":"mathematics-and-computation-princeton-university-press-9780691189130-a-theory-revolutionizing-technology-and-science-avi-wigderson","title":"Mathematics and Computation","description":"\u003cp\u003eDiscover the fascinating world of computational complexity with \u003cstrong\u003eMathematics and Computation\u003c\/strong\u003e by \u003cstrong\u003eAvi Wigderson\u003c\/strong\u003e. Published by \u003cstrong\u003ePrinceton University Press\u003c\/strong\u003e in 2019, this hardback edition spans \u003cstrong\u003e440 pages\u003c\/strong\u003e and offers an insightful introduction to the intricate relationships between mathematics and computation.\u003c\/p\u003e \n\n\u003cp\u003eThis book provides a comprehensive overview of computational complexity theory, exploring its significance in various fields including the natural and social sciences, technology, and philosophy. Wigderson delves into the mathematical foundations of efficient computation, making complex concepts accessible to readers. Whether you're a student, researcher, or simply curious about the intersection of mathematics and computation, this book is an essential resource.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of how these disciplines interact and their crucial roles in shaping modern thought and technology. Don't miss your chance to explore this essential text!\u003c\/p\u003e","brand":"Avi Wigderson","offers":[{"title":"Default Title","offer_id":52235960090966,"sku":"9780691189130","price":59.2,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780691189130.jpg?v=1767756347"}],"url":"https:\/\/www.bookshop.lt\/collections\/skaiciavimu-teorija-bendra.oembed?page=4","provider":"Bookshop","version":"1.0","type":"link"}