We a good story
Quick delivery in the UK

Books in the Programming and Software Engineering series

Filter
Filter
Sort bySort Series order
  • - 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings
     
    £42.99

    The accepted papers address topics such as rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules.

  • - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
     
    £47.99

    This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.

  • - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings
     
    £47.99

    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.

  • Save 14%
    - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings
     
    £34.49

    This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis.

  • - 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings
     
    £93.99

    Besides that, the highly interdisciplinary ITS conferences bring together researchers in computer science, learning sciences, cognitive and educational psychology, sociology, cognitive science, artificial intelligence, machine learning and linguistics.

  • - ASOCA, ISyCC, WESOACS, and Satellite Events, Malaga, Spain, November 13-16, 2017, Revised Selected Papers
     
    £47.99

    This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 15th International Conference on Service-Oriented Computing, ICSOC 2017, held in Málaga, Spain, in November 2017.The ICSOC 2017 workshop track consisted of three workshops on a wide range of topics that fall into the general area of service computing: ASOCA 2017: The Second Workshop on Adaptive Service-Oriented and Cloud Applications ISyCC 2016: The Second Workshop on IoT Systems Provisioning and Management in Cloud ComputingWESOACS 2017: The 13th International Workshop on Engineering Service-Oriented Applications and Cloud Services

  • - 25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
     
    £47.99

    They are organized in topical sections such as Web Services, RESTful web services, Web Services Description Langugage, Universal Description Discovery and Integration, Service discovery and interfaces, Domain-specific security and privacy architectures, Location bases services, Sercurity Services and Markup languages.

  • - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
     
    £47.99

    Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday.The title of this Festschrift is "Principles of Modeling" because Edward A.

  • - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
     
    £93.99

    This book constitutes the proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, held in Lille, France, in August 2018.The 41 full and 9 short papers presented in this volume were carefully reviewed and selected from 114 submissions.

  • - 37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018, Proceedings
     
    £47.99

  • - SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Vasteras, Sweden, September 18, 2018, Proceedings
     
    £73.49

    This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2018, the 37th International Conference on Computer Safety, Reliability, and Security, held in Västerås, Sweden, in September 2018.The 28 revised full papers and 21 short papers presented together with 5 introductory papers to each workshop were carefully reviewed and selected from 73 submissions. This year's workshops are: ASSURE 2018 ¿ Assurance Cases for Software-Intensive Systems; DECSoS 2018 ¿ ERCIM/EWICS/ARTEMIS Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2018 ¿ Next Generation of System Assurance Approaches for Safety-Critical Systems; STRIVE 2018 ¿ Safety, securiTy, and pRivacy In automotiVe systEms; and WAISE 2018 ¿ Artificial Intelligence Safety Engineering.The chapter '¿Boxing Clever¿: Practical Techniques for Gaining Insights into Training Data and Monitoring Distribution Shift' is available open access under an Open GovernmentLicense via link.springer.com.

  • - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
     
    £47.99

    This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018. The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions.

  • - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
     
    £47.99

    This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.

  • Save 14%
    - First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers
     
    £38.49

    This book constitutes revised selected papers from the First International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, DEVOPS 2018, hled at the hateau de Villebrumier, France, in March 2018.

  • Save 15%
    - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
     
    £42.49

    This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering;

  • Save 15%
    - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings
     
    £42.49

    This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. They cover a range of topics including railways system and infrastructure advance modelling;

  • Save 16%
    - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
     
    £50.49

    This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions.

  • Save 16%
    - 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019, Proceedings
     
    £50.49

    This book constitutes the proceedings of the 15th International Workshop on Open MP, IWOMP 2019, held in Auckland, New Zealand, in September 2019. The 22 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: best paper;

  • Save 14%
    - 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings
     
    £38.49

    This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62 submissions.

  • - 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
     
    £47.99

    This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019. The 5 full papers and 4 short papers presented together with 1 keynote and 1 invited paper were carefully reviewed and selected from 12 submissions.

  • Save 14%
    - 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings
     
    £38.49

    This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions.

  • Save 14%
    - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings
     
    £38.49

    This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third conference of a new series, joining the efforts of two existing conference series, namely "RuleML" (International Web Rule Symposium) and "RR" (Web Reasoning and Rule Systems).The 10 full research papers presented together with 5 short technical communications papers were carefully reviewed and selected from 26 submissions.

  • Save 14%
    - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings
     
    £38.49

    This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.

  • Save 14%
    - ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings
     
    £38.49

  • Save 14%
    - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
     
    £38.49

    This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions.

  • Save 14%
    - 20th International Conference, PROFES 2019, Barcelona, Spain, November 27-29, 2019, Proceedings
     
    £38.49

    This book constitutes the refereed proceedings of the 20th International Conference on Product-Focused Software Process Improvement, PROFES 2019, held in Barcelona, Spain, in November 2019. The 24 revised full papers 4 industry papers, and 11 short papers presented were carefully reviewed and selected from 104 submissions.

  • Save 14%
    - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings
     
    £38.49

    This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other papers were carefully reviewed and selected from 27 submissions. FACS 2019 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.

  • Save 14%
    - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings
     
    £38.49

    This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.

  • Save 15%
    - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings
     
    £46.49

    This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.*The 10 full papers and 1 short paper presented were carefully reviewed and selected from 25 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.*The conference was held virtually due to the COVID-19 pandemic.Chapter ΓÇÿConformance-Based Doping Detection for Cyber-Physical SystemsΓÇÖ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

  • - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
     
    £47.99

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.