{"title":"Programming And Software Engineering","description":"\u003cp\u003eDive into our curated collection of programming and software engineering books. Whether you're mastering algorithms or building the next big app, find the resources to elevate your skills and career here.\u003c\/p\u003e","products":[{"product_id":"mathematics-of-program-construction-book-graham-hutton-9783030336356","title":"Mathematics of Program Construction","description":"This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50396631925009,"sku":"CIN3030336352G","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52089343246609,"sku":"NLS9783030336356","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3030336352.jpg?v=1750901913"},{"product_id":"human-machine-interaction-book-denis-lalanne-9783642004360","title":"Human Machine Interaction","description":"Human Machine Interaction, or more commonly Human Computer Interaction, is the study of interaction between people and computers. It is an interdisciplinary field, connecting computer science with many other disciplines such as psychology, sociology and the arts.     The present volume documents the results of the MMI research program on Human Machine Interaction involving 8 projects (selected from a total of 80 proposals) funded by the Hasler Foundation between 2005 and 2008.      These projects were also partially funded by the associated universities and other third parties such as the Swiss National Science Foundation.      This state-of-the-art survey begins with three chapters giving overviews of the domains of multimodal user interfaces, interactive visualization, and mixed reality. These are followed by eight chapters presenting the results of the projects, grouped according to the three aforementioned themes.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51061837299985,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51061839823121,"sku":"NIN9783642004360","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52149002207505,"sku":"NLS9783642004360","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3642004369.jpg?v=1751189971"},{"product_id":"algebraic-methodology-and-software-technology-book-michael-johnson-9783540356332","title":"Algebraic Methodology and Software Technology","description":"This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The ?rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) ?ve di?erent continents and have been hosted by many of the most prominent people and organizations in the ?eld. The AMAST initiative has always sought to have practical e?ects by dev- oping the science of software and basing it on a ?rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly,andhas, for example, held AMAST workshops in areas as diverse as real-time systems and (natural) l- guage processing. Similarly, algebraic methodology is interpreted broadly and includes abstract algebra, category theory, logic, and a range of other ma- ematical subdisciplines. The truly distinguishing feature of AMAST is that it seeks rigorous mathematical developments, but always strives to link them to real technological applications. Our meetings frequently include industry-based participants and are a rare opportunity for mathematicians and mathema- callymindedacademicstointeracttechnicallywithindustry-basedtechnologists. Over the years AMAST has included industrial participants from organizations specializing in safety-critical (including medical) systems, transport (including aerospace), and security-critical systems, amongst others.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51332425318673,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51332429971729,"sku":"CIN3540356339VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52355195601169,"sku":"NLS9783540356332","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540356339.jpg?v=1751096373"},{"product_id":"reliable-software-technologies-ada-europe-2017-book-johann-blieberger-9783319605876","title":"Reliable Software Technologies  Ada-Europe 2017","description":"This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.    The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51396742021393,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51396742643985,"sku":"GOR014256170","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52139363959057,"sku":"NLS9783319605876","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3319605879.jpg?v=1751221124"},{"product_id":"lectures-on-runtime-verification-book-ezio-bartocci-9783319756318","title":"Lectures on Runtime Verification","description":"The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52089109610769,"sku":"NLS9783319756318","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319756318.jpg?v=1756905791"},{"product_id":"cyber-physical-systems-of-systems-book-andrea-bondavalli-9783319475899","title":"Cyber-Physical Systems of Systems","description":"This book is open access under a CC BY 4.0 license.    Technical Systems-of-Systems (SoS) - in the form of networked, independent constituent computing systems temporarily collaborating to achieve a well-defined objective - form the backbone of most of today's infrastructure.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":52117724725521,"sku":"NGR9783319475899","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52336741548305,"sku":"NLS9783319475899","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319475899.jpg?v=1757370837"},{"product_id":"programming-languages-and-systems-book-bor-yuh-evan-chang-9783319712369","title":"Programming Languages and Systems","description":"This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52120441717009,"sku":"NLS9783319712369","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319712369.jpg?v=1757425740"},{"product_id":"service-oriented-computing-book-e-michael-maximilien-9783642193934","title":"Service-Oriented Computing","description":"This book constitutes the joint post-proceedings of four topical workshops held as satellite meetings of the 8th International Conference on service-oriented computing, ICSOC 2010, held in San Francisco, CA, USA in December 2010.  The 23 revised papers presented together with four introductory descriptions are organized in topical sections corresponding to the individual workshops: performance assessment and auditing in service computing (PAASC 2010), engineering service-oriented applications (WESOA 2010), services, energy  and ecosystems (SEE 2010), and service-oriented computing in  logistics (SOC-LOG 2010)","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52120754094353,"sku":"NLS9783642193934","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761809387793,"sku":"NIN9783642193934","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642193934.jpg?v=1757427139"},{"product_id":"hardware-and-software-verification-and-testing-book-kedar-namjoshi-9783642192364","title":"Hardware and Software: Verification and Testing","description":"This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52120844828945,"sku":"NLS9783642192364","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642192364.jpg?v=1757427536"},{"product_id":"towards-a-service-based-internet-servicewave-2010-workshops-book-michel-cezon-9783642227592","title":"Towards a Service-Based Internet. ServiceWave 2010 Workshops","description":"This book constitutes the refereed proceedings of four workshops held in conjunction with the Third European Conference, ServiceWave 2010, held in Ghent, Belgium, in December 2010. The book includes 23 reviewed papers from four workshops that were selected from eight high-quality workshop session proposals. They represent diverse aspects of the theory and practice of service computing, ranging from service engineering to service infrastructures. The workshops are: First Workshop on Optimising Cloud Services (OCS 2010), International Workshop on Emergency Management through Service-Oriented Architectures (EMSOA 2010), First International Workshop on Service Modelling and Representation Techniques (SMART 2010), and From Event-Driven Business Process Management to Ubiquitous Complex Event Processing (EDBPM 2010).","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52120856822033,"sku":"NLS9783642227592","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761825083665,"sku":"NIN9783642227592","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642227592.jpg?v=1757427592"},{"product_id":"rule-based-reasoning-programming-and-applications-book-nick-bassiliades-9783642225451","title":"Rule-Based Reasoning, Programming, and Applications","description":"This book constitutes the refereed proceedings of the 5th International Symposium on Rules, RuleML 2011 - Europe, held in Barcelona, Spain, in July 2011 - collocated with the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52120864030993,"sku":"NLS9783642225451","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642225451.jpg?v=1757427637"},{"product_id":"model-and-data-engineering-book-alfredo-cuzzocrea-9783642413650","title":"Model and Data Engineering","description":"This book constitutes the refereed proceedings of the Third International Conference on Model and Data Engineering, MEDI 2013, held in Amantea, Calabria, Italy, in September 2013. The 19 long papers and 3 short papers presented were carefully reviewed and selected from 61 submissions. The papers specifically focus on model engineering and data engineering with special emphasis on most recent and relevant topics in the areas of model-driven engineering, ontology engineering, formal modeling, security, and database modeling.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52120906826001,"sku":"NLS9783642413650","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642413650.jpg?v=1757427899"},{"product_id":"middleware-2013-book-david-eyers-9783642450648","title":"Middleware 2013","description":"This book constitutes the refereed proceedings of the ACM\/IFIP\/USENIX 14th International Middleware Conference, held in Beijing, China, in December 2013. The 24 revised full papers presented were carefully reviewed and selected from 189 submissions. The papers cover a wide range of topics including design, implementation, deployment and evaluation of middleware for next-generation platforms such as cloud computing, social networks and large-scale storage and distributed systems. The middleware solutions introduced provide features such as availability, efficiency, scalability, fault-tolerance, trustworthy operation and support security and privacy needs.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52120955355409,"sku":"NLS9783642450648","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642450648.jpg?v=1757428208"},{"product_id":"service-oriented-computing-book-samik-basu-9783642450044","title":"Service-Oriented Computing","description":"This book constitutes the refereed proceedings of the 11th International Conference on Service-Oriented Computing, ICSOC 2012, held in Berlin, Germany, in December 2013. The 29 full papers and 27 short papers presented were carefully reviewed and selected from 205 submissions. The papers are organized in topical sections on service engineering, service operations and management; services in the cloud; and service applications and implementations.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52121070469393,"sku":"NLS9783642450044","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642450044.jpg?v=1757428843"},{"product_id":"programming-languages-and-systems-book-chung-chien-shan-9783319035413","title":"Programming Languages and Systems","description":"This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013. The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52121147506961,"sku":"NLS9783319035413","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319035413.jpg?v=1757429354"},{"product_id":"fm-2015-formal-methods-book-nikolaj-bjrner-9783319192482","title":"FM 2015: Formal Methods","description":"This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52121962250513,"sku":"NLS9783319192482","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319192482.jpg?v=1757436155"},{"product_id":"towards-ubiquitous-learning-book-carlos-delgado-kloos-9783642239847","title":"Towards Ubiquitous Learning","description":"This book constitutes the refereed proceedings of the 6th European Conference on Technology Enhanced Learning, EC-TEL 2011, held in Palermo, Italy, in September 2010.  The 30 revised full papers presented were carefully reviewed and selected from 158 submissions. The book also includes 12 short papers, 8 poster papers, and 2 invited paper. There are many interesting papers on topics such as web 2.0 and social media, recommender systems, learning analytics, collaborative learning, interoperability of tools, etc.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52122067271953,"sku":"NLS9783642239847","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761807978769,"sku":"NIN9783642239847","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642239847.jpg?v=1757437301"},{"product_id":"testing-software-and-systems-book-mercedes-g-merayo-9783662448564","title":"Testing Software and Systems","description":"This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2014, held in Istanbul, Turkey, in September 2014. The 11 revised full papers presented together with 6 short papers were carefully selected from 36 submissions. The scope of the conference was on following topics: testing methodologies, tools and frameworks, and industrial experiences.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52122071499025,"sku":"NLS9783662448564","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783662448564.jpg?v=1757437343"},{"product_id":"nasa-formal-methods-book-aaron-dutle-9783319779348","title":"NASA Formal Methods","description":"This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018. The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52122865565969,"sku":"NLS9783319779348","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319779348.jpg?v=1757443589"},{"product_id":"software-language-engineering-book-martin-erwig-9783319026534","title":"Software Language Engineering","description":"This book constitutes the refereed proceedings of the 6th International Conference on Software Language Engineering, SLE 2013, held in Indianapolis, IN, USA, in October 2013. The 17 technical papers presented together with 2 tool demonstration papers and one keynote were carefully reviewed and selected from 56 submissions. SLE's foremost mission is to encourage, synthesize and organize communication between communities that have traditionally looked at software languages from different and yet complementary perspectives. The papers are organized in topical sections on domain-specific languages; language patterns and evolution; grammars; tools; language analysis; and meta- and megamodelling.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52123026391313,"sku":"NLS9783319026534","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319026534.jpg?v=1757445472"},{"product_id":"practical-aspects-of-declarative-languages-book-jos-morales-9783030674373","title":"Practical Aspects of Declarative Languages","description":"This book constitutes the refereed proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021, held in Copenhagen, Denmark, in January 2021.    The 10 full papers were carefully reviewed and selected from 21 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including programming with sets, functions, logic, and constraints. The papers are organized in the following topical headings:     Foundations and Programming Concepts; Applications of Declarative Languages, and Declarative Approaches to Testing and Debugging.    Due to the Corona pandemic PADL 2021 was held as a virtual event.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52123761672465,"sku":"NLS9783030674373","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030674373.jpg?v=1757452922"},{"product_id":"mathematics-of-program-construction-book-ralf-hinze-9783319197968","title":"Mathematics of Program Construction","description":"This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June\/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52124034826513,"sku":"NLS9783319197968","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319197968.jpg?v=1757455028"},{"product_id":"computer-performance-engineering-book-maria-simonetta-balsamo-9783642407246","title":"Computer Performance Engineering","description":"This book constitutes the refereed post-proceedings of the 10th European Performance Engineering Workshop, EPEW 2013, held in Venice, Italy, in September 2013.  The 16 regular papers presented together with 8 short papers and 2 invited talks were carefully reviewed and selected from 33 submissions. The Workshop aims to gather academic and industrial researchers working on all aspects of performance engineering.  Original papers related to theoretical and methodological issues as well as case studies and automated tool support are solicited in the following areas: performance modeling and evaluation, system and network performance engineering, and software performance engineering.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52124087812369,"sku":"NLS9783642407246","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642407246.jpg?v=1757455382"},{"product_id":"openmp-in-the-era-of-low-power-devices-and-accelerators-book-alistair-p-rendell-9783642406973","title":"OpenMP in the Era of Low Power Devices and Accelerators","description":"This book constitutes the refereed proceedings of the 9th International Workshop on OpenMP, held in Canberra, Australia, in September 2013. The 14 technical full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on proposed extensions to OpenMP, applications, accelerators, scheduling, and tools.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52124101706001,"sku":"NLS9783642406973","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642406973.jpg?v=1757455463"},{"product_id":"bidirectional-transformations-book-jeremy-gibbons-9783319791074","title":"Bidirectional Transformations","description":"After a comprehensive introduction to bidirectional transformations, they deal with triple graph grammars, modular edit lenses, putback-based bidirectional programming, and engineering of bidirectional transformations.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52125841654033,"sku":"NLS9783319791074","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319791074.jpg?v=1757469121"},{"product_id":"applied-algorithms-book-prosenjit-gupta-9783319041254","title":"Applied Algorithms","description":"This book constitutes the refereed proceedings of the First International Conference on Applied Algorithms, ICAA 2014, held in Kolkata, India, in January 2014. ICAA is a new conference series with a mission to provide a quality forum for researchers working in applied algorithms. Papers presenting original contributions related to the design, analysis, implementation and experimental evaluation of efficient algorithms and data structures for problems with relevant real-world applications were sought, ideally bridging the gap between academia and industry. The 21 revised full papers presented together with 7 short papers were carefully reviewed and selected from 122 submissions.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52126064083217,"sku":"NLS9783319041254","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319041254.jpg?v=1757471657"},{"product_id":"formal-methods-the-next-30-years-book-maurice-h-ter-beek-9783030309411","title":"Formal Methods – The Next 30 Years","description":"This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.    The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52126130372881,"sku":"NLS9783030309411","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030309411.jpg?v=1757472581"},{"product_id":"technologies-for-interactive-digital-storytelling-and-entertainment-book-ido-iurgel-9783540499343","title":"Technologies for Interactive Digital Storytelling and Entertainment","description":"This textbook contains the proceedings from the 3rd International Conference on Technologies for Interactive Digital Storytelling and Entertainment (TIDSE 2006). The contributions are grouped into six sections, which include subjects like virtual characters, story authoring, narrative systems, and examples of their application. During recent years, Interactive Digital Storytelling has evolved as a prospering - search topic, banding together formerly disjoined disciplines stemming from the arts and humanities as well as computer science. The subject of this book is of course strongly related to the notion of 'storytelling', which has been used as an effective means for the communication of knowledge and social values, ever since the early history of humankind. It also tries to build a bridge between current academic trends, for example, by investigating and formalizing narrative aspects of computer games, and by its developments for the experience-based design of human-media interaction in general. Starting with a scientific workshop at national level in 2000, the Digital Sto- telling group at ZGDV Darmstadt originated TIDSE, the International Conference for Technologies in Interactive Digital Storytelling and Entertainment. TIDSE 2003, TIDSE 2004, and TIDSE 2006 continued this series, and provided the latest research outcomes and indications for its usage within entertainment applications.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52126418305297,"sku":"NLS9783540499343","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540499343.jpg?v=1757476087"},{"product_id":"languages-from-formal-to-natural-book-orna-grumberg-9783642017476","title":"Languages: From Formal to Natural","description":"This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 2009, in Haifa, Israel.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52126796742929,"sku":"NLS9783642017476","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761791725841,"sku":"NIN9783642017476","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642017476.jpg?v=1757480046"},{"product_id":"rapid-integration-of-software-engineering-techniques-book-nicolas-guelfi-9783540718758","title":"Rapid Integration of Software Engineering Techniques","description":"RISE 2006 constituted an international forum for researchers and practitioners interestedintheadvancementandrapidapplicationofnovel,integrated,orpr- ticalsoftwareengineeringapproaches,beingpartofamethodologicalframework, that apply to the development of either new or evolving applications and s- tems. It provided a good opportunity to present and discuss the latest research results and ideas in the rapid and e?ective integration of software engineering techniques. The ERCIM (European Research Consortium for Informatics and Mathematics) RISE working group selected application areas such as the Web, mobility, high availability, and embedded and user-interface software in speci?c industry sectors comprising ?nance, telecommunications, transportation (avi- ics, automotive) and eGovernment. The research issues covered stemmed from the following software engineering domains: - software and system architectures - software reuse - software testing - software model checking - model driven design and testing techniques - model transformation - requirements engineering - lightweight or practice-oriented formal methods - software processes and software metrics - automated software engineering - software patterns - design by contract - defensive programming - software entropy and software re-factoring - extreme programming - agile software development - programming languages - software dependability and trustworthiness All papers submitted to this workshop were reviewed by at least two m- bers of the International Program Committee. Acceptance was based primarily on originality and contribution. We have selected, for these proceedings, 10 - pers amongst 30 submitted and an invited paper. The organization of such a workshop requires a lot ofwork.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52126902190353,"sku":"NLS9783540718758","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761671794961,"sku":"NIN9783540718758","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540718758.jpg?v=1757481139"},{"product_id":"formal-methods-for-industrial-critical-systems-book-matthias-gdemann-9783319194578","title":"Formal Methods for Industrial Critical Systems","description":"This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.  The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52127656640785,"sku":"NLS9783319194578","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319194578.jpg?v=1757487444"},{"product_id":"recent-advances-in-the-message-passing-interface-book-yiannis-cotronis-9783642244483","title":"Recent Advances in the Message Passing Interface","description":"This book constitutes the refereed proceedings of the 18th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2011, held in Santorini, Greece, in September 2011. The 28 revised full papers presented together with 10 posters were carefully reviewed and selected from 66 submissions. Topics covered are communication; I\/O; networking, and implementation issues and improvements; algorithms and tools; interaction with hardware; applications and performance evaluation; fault and tolerance.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52127854100753,"sku":"NLS9783642244483","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761817678097,"sku":"NIN9783642244483","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642244483.jpg?v=1757488288"},{"product_id":"automated-technology-for-verification-and-analysis-book-tevfik-bultan-9783642243714","title":"Automated Technology for Verification and Analysis","description":"This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52128133087505,"sku":"NLS9783642243714","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642243714.jpg?v=1757489601"},{"product_id":"dependable-computing-book-marco-vieira-9783642387883","title":"Dependable Computing","description":"This book constitutes the thoroughly refereed proceedings of the 14 the European Workshop on Dependable Computing, EWDC 2013, held in Coimbra, Portugal, in May 2013. The 9 full papers and 6 short papers presented were carefully reviewed and selected from 24 submissions. Also included in the volume are 6 fast abstracts presenting work in progress or new ideas in the dependability area. The papers are organized in topical sections on wireless sensor networks; cloud computing and services; testing and fault detection, fault injection and benchmarking and dependable and secure computing.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52129936670993,"sku":"NLS9783642387883","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642387883.jpg?v=1757500370"},{"product_id":"requirements-engineering-foundation-for-software-quality-book-erik-kamsties-9783319772424","title":"Requirements Engineering: Foundation for Software Quality","description":"This book constitutes the proceedings of the 24th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2018, held in Utrecht, The Netherlands, in March 2018.    The 23 full and 2 invited talks papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers were organized in topical sections named: RE in Industrial Practice; NLP in Theory and Practice; Empirical Insights into Traceability; Taming Ambiguity; Large-Scale RE; Quality Requirements; User and Job Stories; Requirements Alignment; RE Previews and Visions; Big Data; Mindmapping and Requirements Modeling.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52130848637201,"sku":"NLS9783319772424","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319772424.jpg?v=1757505019"},{"product_id":"coordination-models-and-languages-book-jean-marie-jacquet-9783319597454","title":"Coordination Models and Languages","description":"This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: languages and tools; types; resource, components and information flow; verification.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52131392815377,"sku":"NLS9783319597454","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319597454.jpg?v=1757510004"},{"product_id":"model-driven-engineering-languages-and-systems-book-juergen-dingel-9783319116525","title":"Model-Driven Engineering Languages and Systems","description":"This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September\/October 2014. The 41 full papers presented in this volume were carefully reviewed and selected from a total of 126 submissions. The scope of the conference series is broad, encompassing modeling languages, methods, tools, and applications considered from theoretical and practical angles and in academic and industrial settings. The papers report on the use of modeling in a wide range of cloud, mobile, and web computing, model transformation behavioral modeling, MDE: past, present, future, formal semantics, specification, and verification, models at runtime, feature and variability modeling, composition and adaptation, practices and experience, modeling for analysis, pragmatics, model extraction, manipulation and persistence, querying, and reasoning.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52133159731473,"sku":"NLS9783319116525","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319116525.jpg?v=1757526723"},{"product_id":"software-architecture-book-paris-avgeriou-9783319099699","title":"Software Architecture","description":"This book constitutes the proceedings of the 8th European Conference on Software Architecture, ECSA 2014, held in Vienna, Austria, in August 2014. The 16 full papers and 18 short papers presented in this volume were carefully reviewed and selected from 91 submissions. They are organized in topical sections named: architecture decisions and knowledge; architecture patterns and anti-patterns; reference architectures and metamodels; architecture description languages; enterprise architecture, SOA and cloud computing; components and connectors; quality attributes; and architecture analysis and verification.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52133168283921,"sku":"NLS9783319099699","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319099699.jpg?v=1757526888"},{"product_id":"service-oriented-computing-icsoc-2014-workshops-book-farouk-toumani-9783319228846","title":"Service-Oriented Computing - ICSOC 2014 Workshops","description":"This book constitutes the revised selected papers of the 12th International Conference on Service-Oriented Computing, ICSOC 2014, held in Paris, France, in November 2014.    The conference hosted the following seven workshops: 10th International Workshop in Engineering Service-Oriented Applications, WESOA 2014; First Workshop on Resource Management in Service-Oriented Computing, RMSOC 2014; First International Workshop on Knowledge Aware Service Oriented Applications, Performance Assessment and Auditing in Service Computing, KASA 2014; Workshop on Intelligent Service Clouds, ISC 2014; Third International Workshop on Self-Managing Pervasive Service Systems, SeMaPS 2014; First International Workshop on Formal Modeling and Verification of Service-Based Systems, FOR-MOVES 2014; 4th International Workshop on Cloud Computing and Scientific Applications, CCSA 2014.    The papers included in this volume were carefully reviewed and selected from numerous submissions. They address various topics in the service-oriented computing domain and its emerging applications.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52133213536529,"sku":"NLS9783319228846","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319228846.jpg?v=1757527480"},{"product_id":"rules-on-the-web-from-theory-to-applications-book-antonis-bikakis-9783319098692","title":"Rules on the Web: From Theory to Applications","description":"This book constitutes the refereed proceedings of the 8th International RuleML Symposium, RuleML 2014, co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, held in Prague, Czech Republic, in August 2014. The 17 full and 6 short papers presented together with 3 keynote talks were carefully reviewed and selected from 48 submissions. The papers cover the following topics: semantic web rule languages and standards, rule engines, formal and operational semantics and rule-based systems, the relation between natural language and rules, automation of business rules generation from existing data, and aspects related to legal rules and norms for web and corporate environments.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52133382357265,"sku":"NLS9783319098692","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319098692.jpg?v=1757529671"},{"product_id":"model-driven-engineering-languages-and-systems-book-ana-moreira-9783642415326","title":"Model-Driven Engineering Languages and Systems","description":"This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September\/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180 submissions. They are organized in topical sections named: tool support; dependability; comprehensibility; testing; evolution; verification; product lines; semantics; domain-specific modeling languages; models@RT; design and architecture; model transformation; model analysis; and system synthesis.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52133792416017,"sku":"NLS9783642415326","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642415326.jpg?v=1757533849"},{"product_id":"software-engineering-for-self-adaptive-systems-iii-assurances-book-david-garlan-9783319741826","title":"Software Engineering for Self-Adaptive Systems III. Assurances","description":"A major challenge for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, energy-efficient, customizable, and configurable when reacting to run-time changes that may occur within the system itself, its environment or requirements.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52134267683089,"sku":"NLS9783319741826","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319741826.jpg?v=1757540088"},{"product_id":"nasa-formal-methods-book-klaus-havelund-9783319175232","title":"NASA Formal Methods","description":"This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015.  The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52136900329745,"sku":"NLS9783319175232","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319175232.jpg?v=1757555609"},{"product_id":"fundamentals-of-software-engineering-book-hossein-hojjat-9783030315160","title":"Fundamentals of Software Engineering","description":"This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.  The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52137780740369,"sku":"NLS9783030315160","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030315160.jpg?v=1757559152"},{"product_id":"formal-aspects-of-component-software-book-ivan-lanese-9783319153162","title":"Formal Aspects of Component Software","description":"This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.  The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and experience; tools; scheduling, time and hybrid systems; other verification approaches and safety and liveness of composition. The volume also contains two invited talks, one full paper and one abstract.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52138580640017,"sku":"NLS9783319153162","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319153162.jpg?v=1757563730"},{"product_id":"search-based-software-engineering-book-gnther-ruhe-9783642397417","title":"Search Based Software Engineering","description":"This book constitutes the refereed proceedings of the Fifth International Symposium on Search-Based Software Engineering, SSBSE 2013, held in St. Petersburg, Russia.  The 14 revised full papers, 6 revised short papers, and 6 papers of the graduate track presented together with 2 keynotes, 2 challenge track papers and 1 tutorial paper were carefully reviewed and selected from 50 initial submissions. Search Based Software Engineering (SBSE) studies the application of meta-heuristic optimization techniques to various software engineering problems, ranging from requirements engineering to software testing and maintenance.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52138692903185,"sku":"NLS9783642397417","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642397417.jpg?v=1757564514"},{"product_id":"service-oriented-and-cloud-computing-book-kung-kiu-lau-9783642406508","title":"Service-Oriented and Cloud Computing","description":"This book constitutes the refereed proceedings of the Second European Conference on Service-Oriented and Cloud Computing, ESOCC 2013, held in Málaga, Spain, in September 2013. The 11 full papers presented together with 4 short papers were carefully reviewed and selected from 44 submissions. The volume also contains 3 papers from the industrial track. Service-oriented computing including Web services as its most important implementation platform has become the most important paradigm for distributed software development and application. The papers illustrate how cloud computing aims at enabling mobility as well as device, platform and\/or service independence by offering centralized sharing of resources. It promotes interoperability, portability and security standards, and raises a completely new set of security issues.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52139503550737,"sku":"NLS9783642406508","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642406508.jpg?v=1757569362"},{"product_id":"runtime-verification-book-axel-legay-9783642407864","title":"Runtime Verification","description":"This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52139933499665,"sku":"NLS9783642407864","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642407864.jpg?v=1757571749"},{"product_id":"principles-and-practice-of-constraint-programing-cp-2013-book-christian-schulte-9783642406263","title":"Principles and Practice of Constraint Programing-CP 2013","description":"This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013. The 61 revised papers presented together with 3 invited talks were carefully selected from 138 submissions. The scope of the conference is on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52139970363665,"sku":"NLS9783642406263","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642406263.jpg?v=1757571937"},{"product_id":"end-user-development-book-volkmar-pipek-9783642004254","title":"End-User Development","description":"Work practices and organizational processes vary widely and evolve constantly. The technological infrastructure has to follow, allowing or even supporting these changes. Traditional approaches to software engineering reach their limits whenever the full spectrum of user requirements cannot be anticipated or the frequency of changes makes software reengineering cycles too clumsy to address all the needs of a specific field of application. Moreover, the increasing importance of 'infrastructural' aspects, particularly the mutual dependencies between technologies, usages, and domain competencies, calls for a differentiation of roles beyond the classical user-designer dichotomy. End user development (EUD) addresses these issues by offering lightweight, use-time support which allows users to configure, adapt, and evolve their software by themselves. EUD is understood as a set of methods, techniques, and tools that allow users of software systems who are acting as non-professional software developers to 1 create, modify, or extend a software artifact. While programming activities by non-professional actors are an essential focus, EUD also investigates related activities such as collective understanding and sense-making of use problems and solutions, the interaction among end users with regard to the introduction and diffusion of new configurations, or delegation patterns that may also partly involve professional designers.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52140074238225,"sku":"NLS9783642004254","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761785172241,"sku":"NIN9783642004254","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642004254.jpg?v=1757572522"}],"url":"https:\/\/www.worldofbooks.com\/collections\/programming-and-software-engineering-book-series.oembed","provider":"World of Books ","version":"1.0","type":"link"}