Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers by Ricardo J. Machado 9783642382086
Booksplease Price: $86.18This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012. The 7 revised full... -
Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers by Radu C. Calinescu 9783642340581
Booksplease Price: $97.06This book presents the thoroughly refereed and revised post-workshop proceedings of the 17th Monterey Workshop, held in Oxford, UK, in March 2012. The workshop explored the challenges associated with the Development, Operation and Management of... -
Conceptual Modeling: 31st International Conference on Conceptual Modeling, Florence, Italy, October 15-18, 2012, Proceeding by Paolo Atzeni 9783642340017
Booksplease Price: $97.06This book constitutes the refereed proceedings of the 31st International Conference on Conceptual Modeling, ER 2012, held in Florence, Italy, in October 2012. The 24 regular papers presented together with 13 short papers, 6 poster papers and 3 keynotes... -
The Common Component Modeling Example: Comparing Software Component Models by Andreas Rausch 9783540852889
Booksplease Price: $97.06Severalconferenceand workshopseriesarededicated to formalcomponent m- els and their use in veri?cation and quality prediction, such as FMCO, CBSE, FESCA,FACS andQoSA. There are a plethoraof componentmodels published, all with speci?c merits and bene?ts... -
Software Product Lines: Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004, Proceedings by Robert L. Nord 9783540229186
Booksplease Price: $150.59This book constitutes the refereed proceedings of the Third International Software Product Line Conference, SPLC 2004, held in Boston, MA, USA in August/September 2004. The 18 revised full technical papers presented together with a keynote abstract and... -
Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings by Leo Bachmair 9783540677789
Booksplease Price: $96.43This volume contains the proceedings of the 11th International Conference on Rewriting Techniques and Applications. The conference was held July 10-12, 2000,attheUniversityofEastAnglia,Norwich,U. K. Itisthemajorforumfor... -
Software Process Technology: 6th European Workshop, EWSPT'98, Weybridge, UK, September 16-18, 1998, Proceedings by Volker Gruhn 9783540649564
Booksplease Price: $96.43This book constitutes the refereed proceedings of the 6th European Workshop on Software Process Technology, EWSPT '98, held in Weybridge, UK in September 1998. The 16 revised full papers presented were selected from more than 40 submissions; also... -
Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings by Stephane Kaplan 9783540543176
Booksplease Price: $99.79In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebraic rewriting framework have been investigated and developed. Among these extensions, conditional and typed systems are particularly important, as are... -
Software Development Environments and Case Technology: European Symposium, Koenigswinter, June 17-19, 1991. Proceedings by Albert Endres 9783540541943
Booksplease Price: $97.06Software development environments are integrated sets of tools, techniques and processes that assist in the sys- tematic development of software products. They are intended to support all phases of the software development cycle: requirements definition,... -
Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software by Reinhold Ploesch 9783540434863
Booksplease Price: $96.43What is this Book About? At the beginning of the 21st century, computer systems-and especially so- ware-play an important role in our society. Software is contained in virtually every technical device that we use in everyday life (e.g., cellular phones... -
Advances in Learning Software Organizations: Third International Workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001. Proceedings by Klaus-Dieter Althoff 9783540425748
Booksplease Price: $96.43The importance of production and use of high quality software is still growing, as more and more businesses depend on information technology. Well educated, highly skilled, and experienced employees characterize the situation in most companies in the... -
NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 by Sahasranaman Purushothaman 9783540198222
Booksplease Price: $96.43This proceedings contains fourteen papers on process algebras presented at the First North American Process Algebra Workshop, held on 28 August 1992 in Stony Brook, New York. NAPAW was held in conjunc- tion with CONCUR 92. It is hoped that NAPAW will be... -
Architecting Dependable Systems II by Rogerio de Lemos 9783540231684
Booksplease Price: $96.43As software systems become ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be taken into account from the very beginning of the design process, it is appropriate that dependability is... -
Technologies and Innovation: 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30-December 3, 2020, Proceedings by Rafael Valencia-Garcia 9783030620141
Booksplease Price: $96.43This book constitutes the proceedings of the 6th International Conference on Technologies and Innovation, CITI 2020, held in Guayaquil, Ecuador, in November-December 2020.The 16 full papers presented in this volume were carefully reviewed and selected... -
Job Scheduling Strategies for Parallel Processing: 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers by Dalibor Klusacek 9783031226977
RRP: $115.48Booksplease Price: $106.68This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2022, held as a virtual event in June 2022 (due to the Covid-19 pandemic).The 12... -
Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings by Thao Dang 9783031171956
Booksplease Price: $127.18This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully... -
The Future of Software Quality Assurance by Stephan Goericke 9783030295080
Booksplease Price: $96.43This open access book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to raise the profile of software testers and their profession. It gathers contributions by respected software testing... -
Technologies and Innovation: 8th International Conference, CITI 2022, Guayaquil, Ecuador, November 14-17, 2022, Proceedings by Rafael Valencia-Garcia 9783031199608
RRP: $136.48Booksplease Price: $127.18This book constitutes the refereed proceedings of the 8th International Conference, CITI 2022, held in Guayaquil, Ecuador, during November 14-17, 2022. The 19 full papers included in this book were carefully reviewed and selected from 48 submissions... -
Product-Focused Software Process Improvement: 21st International Conference, PROFES 2020, Turin, Italy, November 25-27, 2020, Proceedings by Maurizio Morisio 9783030641474
Booksplease Price: $96.43This book constitutes the refereed proceedings of the 21st International Conference on Product-Focused Software Process Improvement, PROFES 2020, held in Turin, Italy, in November 2020. Due to COVID-19 pandemic the conference was held virtually. The 19... -
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings by Bernd Fischer 9783319234038
Booksplease Price: $96.43This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were... -
SDL 2015: Model-Driven Engineering for Smart Cities: 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings by Joachim Fischer 9783319249117
Booksplease Price: $86.18This book constitutes the proceedings of the 17th International System Design Language Forum, SDL 2015, held in Berlin, Germany, in October 2015. The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 26... -
Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings by Alessandro Fantechi 9783319231280
Booksplease Price: $74.61This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and... -
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings by Radu C. Calinescu 9783319229683
Booksplease Price: $96.43This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were... -
Software Reuse for Dynamic Systems in the Cloud and Beyond: 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings by Ina Schaefer 9783319141299
Booksplease Price: $96.43This book constitutes the refereed proceedings of the 14th International Conference on Software Reuse for Dynamic Systems in the Cloud and Beyond, ICSR 2015, held in Miami, FL, USA, in January 2015. The 21 revised full papers presented together with 3... -
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings by Cliff Jones 9783319064093
Booksplease Price: $190.34This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions... -
Systems Engineering for Business Process Change: Collected Papers from the EPSRC Research Programme by Peter Henderson 9781447111467
Booksplease Price: $96.43A very large proportion of commercial and industrial concerns in the UK find their business competitiveness dependent on huge quantities of already installed, legacy IT. Often the nature of their business is such that, to remain competitive, they have to... -
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings by Valeria Bertacco 9783319030760
Booksplease Price: $96.43This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The... -
Building Serverless Applications with Python: Develop fast, scalable, and cost-effective web applications that are always available by Jalem Raj Rohit 9781787288676
RRP: $88.18Booksplease Price: $86.18Building efficient Python applications at minimal cost by adopting serverless architectures Key Features Design and set up a data flow between cloud services and custom business logic Make your applications efficient and reliable using serverless... -
Smart Technologies for Sustainable and Resilient Ecosystems: 3rd EAI International Conference, Edge-IoT 2022, and 4th EAI International Conference, SmartGov 2022, Virtual Events, November 16-18, 2022, Proceedings by Sérgio Ivan Lopes 9783031359811
Booksplease Price: $116.93This book constitutes the jointly proceedings of the 3rd International Conference on Intelligent Edge Processing in the IoT Era, Edge-IoT 2022, and the 4th International Conference on Smart Governance for Sustainable Smart Cities, SmartGov 2022. Both... -
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings by Marsha Chechik 9783031274800
RRP: $188.98Booksplease Price: $168.17This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and... -
Computer and Communication Engineering: First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018, Proceedings by Miguel Botto-Tobar 9783030120177
Booksplease Price: $96.43This book constitutes the proceedings of the First International Conference on Computer and Communication Engineering, ICCCE 2018, held in Guayaquil, Ecuador, in October 2018. The 12 full papers presented were carefully reviewed and selected from 68... -
Mathematical and Engineering Methods in Computer Science: 9th International Doctoral Workshop, MEMICS 2014, Telc, Czech Republic, October 17--19, 2014, Revised Selected Papers by Petr Hlineny 9783319148953
Booksplease Price: $74.61This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Telc, Czech Republic, in October 2014. The 13 thoroughly revised papers were carefully selected out... -
Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings by Khaled El-Fakih 9783319259444
Booksplease Price: $96.43This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short... -
Evaluation of Novel Approaches to Software Engineering: 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020 by Raian Ali 9783030700058
Booksplease Price: $96.43This book constitutes selected, revised and extended papers of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, held in virtual format, in May 2020. The 19 revised full papers presented were... -
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings by Nir Piterman 9783319262864
Booksplease Price: $86.18This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected... -
Mathematical Foundations of Software Engineering: A Practical Guide to Essentials by Gerard O'Regan 9783031262111
Booksplease Price: $157.92This textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in areas such as error-correcting codes, cryptography, the safety and security critical fields, the banking... -
Agile Methods: 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers by Graziela Simone Tonin 9783030143091
Booksplease Price: $96.43This book constitutes revised selected papers from the 9th Brazilian Workshop on Agile Methods, WBMA 2018, held in Campinas, Brazil, in October 2018. The 6 full and 1 short papers presented in this volume were carefully reviewed and selected from 18... -
Software Technologies: 15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers by Marten van Sinderen 9783030830069
Booksplease Price: $96.43This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic. The 12 revised full papers were carefully reviewed and selected... -
Agile Processes in Software Engineering and Extreme Programming: 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings by Giovanni Cantone 9783319068619
Booksplease Price: $96.43This book contains the refereed proceedings of the 15th International Conference on Agile Software Development, XP 2014, held in Rome, Italy, in May 2014.Because of the wide application of agile approaches in industry, the need for collaboration between... -
Technology Trends: 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29-31, 2018, Revised Selected Papers by Miguel Botto-Tobar 9783030055318
RRP: $188.98Booksplease Price: $188.66This book constitutes the refereed proceedings of the 4th International Conference on Technology Trends, CITT 2018, held in Babahoyo, Ecuador, in August 2018. The 53 revised full papers presented were carefully reviewed and selected from 204 submissions...