Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings by Marcio Barros 9783319221823
Booksplease Price: $96.43This book constitutes the refereed proceedings of the 7th International Symposium on Search-Based Software Engineering, SSBSE 2015, held in Bergamo, Italy, in September 2015. The 12 revised full papers presented together with 2 invited talks, 4 short... -
Intelligent Robotics and Applications: 16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part VIII by Huayong Yang 9789819965007
RRP: $167.98Booksplease Price: $148.30The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these... -
Information Security: 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings by Yvo G. Desmedt 9783319276588
Booksplease Price: $97.06This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Information Security, ISC 2013, held in Dallas, Texas, in November 2013. The 16 revised full papers presented together with 14 short papers... -
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures by Zhiming Liu 9783319296272
Booksplease Price: $96.43This volume contains the lecture notes of the five courses and one seminar given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in September 2014 at Southwest University in Chongqing, China. The material is useful for... -
Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud: 11th International Conference, SWQD 2019, Vienna, Austria, January 15-18, 2019, Proceedings by Dietmar Winkler 9783030057664
Booksplease Price: $96.43This book constitutes the refereed proceedings of the 11th Software Quality Days Conference, SWQD 2019, held in Vienna, Austria, in January 2019. The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference on... -
Agent-Oriented Software Engineering IX: 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers by Michael Luck 9783642013379
Booksplease Price: $96.43Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and efficiently engineer. Agent-oriented modelling techniques are... -
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers by Robert M. Hierons 9783540789161
Booksplease Price: $96.43This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal)... -
Conceptual Modeling - ER 2005: 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings by Christian Kop 9783540293897
Booksplease Price: $97.06Conceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because it fosters communication - tween technology experts and those who would bene?t from the application of those technologies... -
Guide to Advanced Empirical Software Engineering by Forrest Shull 9781849967129
RRP: $312.90Booksplease Price: $238.39This book gathers chapters from some of the top international empirical software engineering researchers focusing on the practical knowledge necessary for conducting, reporting and using empirical methods in software engineering. Topics and features... -
Lectures on Soft Computing and Fuzzy Logic by Antonio Di Nola 9783790813968
Booksplease Price: $96.43The present volume collects selected papers arising from lectures delivered by the authors at the School on Fuzzy Logic and Soft Computing held during the years 1996/97/98/99 and sponsored by the Salerno University. The authors contributing to this... -
Enduser Systems and Their Human Factors: Proceedings of the Scientific Symposium conducted on the occasion of the 15th Anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, March 18, 1983 by A. Blaser 9783540122739
Booksplease Price: $96.43Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540122739Author A. BlaserFormat PaperbackPage Count 141Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag Berlin and... -
Software Reuse: Methods, Techniques, and Tools: 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002. Proceedings by Cristina Gacek 9783540434832
Booksplease Price: $96.43As a result of the open-source movement there is now a great deal of reusable software available in the public domain. This offers significant functionality that commercial software vendors can use in their software projects. Open-source approaches to... -
Requirements Engineering: Foundation for Software Quality: 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings by Vincenzo Gervasi 9783030984632
Booksplease Price: $106.68This book constitutes the refereed proceedings of the 28th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2022, which was held in Aston, Birmingham, UK, during March 21-24, 2022. The 12 full and 7... -
Strategic Software Production with Domain-orientated Reuse by Paolo Predonanzi 9781580531047
Booksplease Price: $179.07This volume offers a systematic approach to creating and positioning reusable software components and products. The Domain Analysis methodology described in the book shows how to use commonality and variability analysis in studying the market,... -
Parallel Computing Technologies: 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings by Victor Malyshkin 9783642399572
Booksplease Price: $97.06This book constitutes the proceedings of the 12th International Conference on Parallel Computing Technologies, PaCT 2013, held in St. Petersburg, Russia, during September 30-October 4, 2013. The 41 full papers presented together with 2 invited papers... -
Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers by Didier Bert 9783540678984
Booksplease Price: $97.06The algebraic approach to system speci?cation and development, born in the 1970sas a formalmethod for abstractdata types, encompassestoday the formal design of integrated hardware and software systems, new speci?cation fra- works and programming... -
Principles and Practice of Constraint Programming - CP '95: First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings by Ugo Montanari 9783540602996
Booksplease Price: $189.29This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France in September 1995. The 33 refereed full papers included were selected out of... -
Formal Development of Reactive Systems: Case Study Production Cell by Claus Lewerentz 9783540588672
Booksplease Price: $96.43This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book... -
International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 by B. Robinet 9783540099819
Booksplease Price: $98.11Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540099819Author B. RobinetFormat PaperbackPage Count 350Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag Berlin... -
Domain Engineering: Product Lines, Languages, and Conceptual Models by Iris Reinhartz-Berger 9783642431845
Booksplease Price: $97.06Domain engineering is a set of activities intended to develop, maintain, and manage the creation and evolution of an area of knowledge suitable for processing by a range of software systems. It is of considerable practical significance, as it provides... -
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach by Liang Zhiwu 9781848822436
RRP: $188.98Booksplease Price: $188.66Deadlock problems in flexible manufacturing systems (FMS) have received more and more attention in the last two decades. Petri nets are one of the more promising mathematical tools for tackling deadlocks in various resource allocation systems. In a... -
Software Development and Reality Construction by Christiane Floyd 9783642768194
Booksplease Price: $148.30The present book is based on the conference Software Development and Reality Construction held at SchloB Eringerfeld in Germany, September 25 - 30, 1988. This was organized by the Technical University of Berlin (TUB) in cooperation with the German... -
Analytical and Stochastic Modeling Techniques and Applications: 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings by Khalid Al-Begain 9783540689805
Booksplease Price: $96.43Itisourgreatpleasuretopresenttheproceedingsofthe15thInternationalConf- ence on Analytical and Stochastic Modelling Techniques and Applications (ASMTA2008)thattookplaceonthebeautifulislandofCyprusforthe?rsttime. The conference has become an important... -
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings by Christiano Braga 9783319150741
Booksplease Price: $74.61This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceio, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks... -
Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings by Maurizio Gabbrielli 9783540292081
Booksplease Price: $97.06This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), Spain, from October 2nd to 5th, 2005. The conference was colocated with the International Conf- ence on... -
Modelling Foundations and Applications: 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings by Pieter Van Gorp 9783642390128
Booksplease Price: $86.18This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and applications, ECMFA 2013, held in Montpellier, France, in July 2013. The 15 papers presented in this volume were carefully reviewed and selected from 51... -
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers by Antonin Kucera 9783642360442
Booksplease Price: $96.43This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. The 13 thoroughly revised papers were carefully selected... -
Managing Software Engineering Knowledge by Aybueke Aurum 9783540003700
Booksplease Price: $189.29Software development is a complex problem-solving activity with a high level of uncertainty. There are many technical challenges concerning scheduling, cost estimation, reliability, performance, etc, which are further aggravated by weaknesses such as... -
Transactions on Aspect-Oriented Software Development IV: Focus: Early Aspects and Aspects of Software Evolution by Awais Rashid 9783540770411
Booksplease Price: $96.43The LNCS Journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to... -
Fully Integrated Data Environments: Persistent Programming Languages, Object Stores, and Programming Environments by Malcolm P. Atkinson 9783642640551
Booksplease Price: $189.29This book presents the work of researchers in the Esprit Fully Integrated Data Environments (FIDE) projects which had the goal of substantially improving the quality of complex application systems while massively reducing the cost of building and... -
ECOOP '87. European Conference on Object-Oriented Programming: Paris, France, June 15-17, 1987. Proceedings by Jean Bezivin 9783540183532
Booksplease Price: $68.52In October 1983 an informal meeting was organized in Le Cap d'Agde with the help of the BIGRE bulletin. Sixty people turned out to hear more than ten presentations on object-oriented programming. More important was their unanimous demand for other, more... -
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings by Cristina David 9783031352560
RRP: $136.48Booksplease Price: $127.18This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed... -
Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings by Fabrice Kordon 9783642019234
Booksplease Price: $96.43This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from... -
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures by Ana Cavalcanti 9783540462538
Booksplease Price: $97.06This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal... -
Engineering Software for Modern Challenges: First International Conference, ESMoC 2021, Johor, Malaysia, October 20–21, 2021, Revised Selected Papers by Dayang Norhayati A. Jawawi 9783031199677
Booksplease Price: $116.93This volume constitutes selected papers presented at the First International Conference on Engineering Software for Modern Challenges, ESMoC 2021, held in Johor, Malaysia, in October 20-21, 2021.The 17 papers presented were thoroughly reviewed and... -
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24 - November 3, 2022, Proceedings, Part I by Tiziana Margaria 9783031198489
Booksplease Price: $157.92This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The... -
Rationale Management in Software Engineering by Allen H. Dutoit 9783540309970
Booksplease Price: $189.29This is a detailed summary of research on design rationale providing researchers in software engineering with an excellent overview of the subject. Professional software engineers will find many examples, resources and incentives to enhance their ability... -
Design Requirements Engineering: A Ten-Year Perspective: Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers by Kalle Lyytinen 9783540929659
Booksplease Price: $97.06Since its inception in 1968, software engineering has undergone numerous changes. In the early years, software development was organized using the waterfall model, where the focus of requirements engineering was on a frozen requirements document, which... -
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings by Jorge Cuellar 9783540682356
Booksplease Price: $97.06This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited... -
Security and Quality in Cyber-Physical Systems Engineering: With Forewords by Robert M. Lee and Tom Gilb by Stefan Biffl 9783030253141
RRP: $258.30Booksplease Price: $241.90This book examines the requirements, risks, and solutions to improve the security and quality of complex cyber-physical systems (C-CPS), such as production systems, power plants, and airplanes, in order to ascertain whether it is possible to protect...