Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
From Data to Models and Back: 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers by Ricardo M. Czekster 9783031879074
Booksplease Price: $143.50This book constitutes revised selected papers of the 12th International Symposium on From Data Models and Back, DataMod 2024, held in Aveiro, Portugal, during November 4–5, 2024. The 9 full papers included in this book were carefully reviewed and... -
From Data to Models and Back: 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers by Giovanna Broccia 9783031872167
Booksplease Price: $130.81This book constitutes the refereed proceedings of the 11th International Symposium on From Data to Models and Back, DataMod 2023, held in Eindhoven, The Netherlands during November 6–7, 2023. The 8 full papers presented were carefully reviewed and... -
Configuration Management: The Missing Link in Web Engineering by Susan Dart 9781580530989
Booksplease Price: $99.92An examination of configuration management (CM) from a "business value" perspective. It discusses why a company's e-business and e-commerce - encompassing Web content, Web applications, back-office applications, code and data - simply will not... -
Mobile Computing by Dr K Selvakumar 9789386176752
RRP: $14.18Booksplease Price: $12.59Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789386176752Author Dr K SelvakumarFormat PaperbackPage Count 106Imprint Bonfring Technology SolutionsPublisher Bonfring Technology SolutionsWeight(grams)... -
Testing Software and Systems: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings by Franz Wotawa 9783319474427
Booksplease Price: $59.24This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016. The 12 revised full papers and 6 short papers presented were carefully... -
Modeling with UML: Language, Concepts, Methods: 2016 by Bernhard Rumpe 9783319339320
RRP: $83.84Booksplease Price: $78.51This book presents a variant of UML that is especially suitable for agile development of high-quality software. It adjusts the language UML profile, called UML/P, for optimal assistance for the design, implementation, and agile evolution to facilitate... -
Instruction Selection: Principles, Methods, and Applications by Gabriel Hjort Blindell 9783319340173
Booksplease Price: $45.83This book presents a comprehensive, structured, up-to-date survey on instruction selection. The survey is structured according to two dimensions: approaches to instruction selection from the past 45 years are organized and discussed according to their... -
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings by Michael Butler 9783319254227
Booksplease Price: $59.62This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82... -
Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings by Andreas Jedlitschka 9783319138343
Booksplease Price: $59.24This book constitutes the refereed proceedings of the 15th International Conference on Product-Focused Software Process Improvement, PROFES 2014, held in Helsinki, Finland, in December 2014. The 18 revised full papers presented together with 14 short... -
Search-Based Software Engineering: 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings by Claire Le Goues 9783319099392
Booksplease Price: $65.53This book constitutes the refereed proceedings of the 6th International Symposium on Search-Based Software Engineering, SSBSE 2014, held in Fortaleza, Brazil. The 14 revised full papers presented together with 2 keynote addresses, 1 invited talk, 1 short... -
Shifting Paradigms in Software Engineering: Proceedings of the 7th Joint Conference of the Austrian Computer Society (OCG) and the John von Neumann Society for Computing Sciences (NJSZT) in Klagenfurt, Austria, 1992 by Roland Mittermeir 9783211824085
Booksplease Price: $59.24Object-orientation and the need for multi-paradigmatic systems constitute a challenge for researchers, practitioners and instructors. Presentations at the OCG/NJSZT joint conference in Klagenfurt, Austria, in September 1992 addressed these issues. The... -
Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part-I by S Akshay 9783031787089
Booksplease Price: $143.50The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in... -
Simulation Tools and Techniques: 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings by José-Luis Guisado-Lizar 9783031575228
RRP: $90.29Booksplease Price: $74.19This proceedings constitutes the refereed post-conference proceedings of the 15th International Conference on Simulation Tools and Techniques, SIMUTools 2023, held in Seville, Spain, in December 2023. The 23 revised full papers were carefully selected... -
Ernst Denert Award for Software Engineering 2022: Practice Meets Foundations by Eric Bodden 9783031444111
Booksplease Price: $59.24This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2022. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the... -
Ontology-Based Evolution of Domain-Oriented Languages: Models, Methods and Tools for User Interface Design in General-Purpose Software Systems by Eduard Babkin 9783031422010
Booksplease Price: $130.81This book focuses on the study of ontology-based models and methods used for the implementation of the evolution of external domain-specific languages (DSL), which are mainly intended for modelling the structure of human-machine interfaces. The primary... -
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday by Jonathan P. Bowen 9783031404351
Booksplease Price: $78.51This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in... -
Dependable Computing - EDCC 2022 Workshops: SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12-15, 2022, Proceedings by Stefano Marrone 9783031162442
Booksplease Price: $59.24This book constitutes refereed proceedings of the Workshops of the 18th European Dependable Computing Conference, EDCC: 13th Workshop on Software Engineering for Resilient Systems, SERENE 2022; Third Worskhop on Dynamic Risk Management for Autonomous... -
Animated Program Design: Intermediate Program Design Using Video Game Development by Marco T. Morazan 9783031043161
RRP: $58.04Booksplease Price: $30.84This textbook presents a systematic methodology for program development by using design recipes, i.e. a series of steps, each with a specific outcome, that takes a problem solver from a problem statement to a working and tested programmed solution. It... -
Software Vulnerability Discovery Process: Concepts and Applications by Adarsh Anand 9788770228626
RRP: $128.99Booksplease Price: $111.73This book is an overview of basics and other related fundamentals pertaining to software vulnerability discovery as a process. This collaboration of academia and industry disseminates various practical mathematical modeling-based tools and analytics used... -
Formal Aspects of Component Software: 17th International Symposium, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings by Gwen Salaun 9783030906351
Booksplease Price: $52.94This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions... -
Requirements Engineering: Foundation for Software Quality: 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021, Proceedings by Fabiano Dalpiaz 9783030731274
Booksplease Price: $59.24This book constitutes the proceedings of the 27th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2021, which was due to be held in Essen, Germany, in April 2021. Due to the COVID-19 pandemic the... -
Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings by Jun Pang 9783030628215
Booksplease Price: $59.24This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and... -
Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology by Wolfgang Böhm 9783030621384
Booksplease Price: $45.83Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783030621384Author Wolfgang BöhmFormat PaperbackPage Count 420Imprint SpringerPublisher SpringerWeight(grams) 667g -
Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrucken, Germany, March 16-18, 2020, Proceedings by Holger Hermanns 9783030430238
Booksplease Price: $59.24This book constitutes the proceedings of the 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020, held in Saarbrucken, Germany, in March 2020. The 16 full papers presented in this volume were... -
Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers by Huaikou Miao 9783030414177
Booksplease Price: $59.24This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included... -
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings by Farhad Arbab 9783030409135
Booksplease Price: $59.24This 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... -
Software Quality: Quality Intelligence in Software and Systems Engineering: 12th International Conference, SWQD 2020, Vienna, Austria, January 14-17, 2020, Proceedings by Dietmar Winkler 9783030355098
Booksplease Price: $59.24This book constitutes the refereed proceedings of the 12th Software Quality Days Conference, SWQD 2020, held in Vienna, Austria, in January 2020. The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference on... -
Product-Focused Software Process Improvement: 20th International Conference, PROFES 2019, Barcelona, Spain, November 27-29, 2019, Proceedings by Xavier Franch 9783030353322
Booksplease Price: $59.24This 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... -
Applied Computer Sciences in Engineering: 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16-18, 2019, Proceedings by Juan Carlos Figueroa-Garcia 9783030310189
RRP: $116.09Booksplease Price: $115.89This volume constitutes the refereed proceedings of the 6th Workshop on Engineering Applications, WEA 2019, held in Santa Marta, Colombia, in October 2019. The 62 revised full papers and 2 short papers presented in this volume were carefully reviewed and... -
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings by Fabrizio Biondi 9783030309220
Booksplease Price: $59.24This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from... -
Parallel Agile - faster delivery, fewer defects, lower cost by Doug Rosenberg 9783030307004
Booksplease Price: $45.83From the beginning of software time, people have wondered why it isn't possible to accelerate software projects by simply adding staff. This is sometimes known as the "nine women can't make a baby in one month" problem. The most famous treatise... -
Computing and Communication Systems in Urban Development: A Detailed Perspective by Anandakumar Haldorai 9783030260125
RRP: $116.09Booksplease Price: $115.89This book presents the most recent challenges and developments in sustainable computing systems with the objective of promoting awareness and best practices for the real world. It aims to present new directions for further research and technology... -
Parallel Computing Technologies: 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings by Victor Malyshkin 9783030256357
Booksplease Price: $84.42This book constitutes the proceedings of the 15th International Conference on Parallel Computing Technologies, PaCT 2019, held in Almaty, Kazakhstan, in August 2019. The 24 full papers and 10 short papers presented were carefully reviewed and selected... -
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II by Isil Dillig 9783030255428
Booksplease Price: $59.24The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with... -
Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures by Jonathan P. Bowen 9783030176006
Booksplease Price: $65.53This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in... -
Risks and Security of Internet and Systems: 13th International Conference, CRiSIS 2018, Arcachon, France, October 16-18, 2018, Revised Selected Papers by Akka Zemmari 9783030121426
Booksplease Price: $59.24This book constitutes the revised selected papers from the 13th International Conference on Risks and Security of Internet and Systems, CRiSIS 2018, held in Arcachon, France, in October 2018. The 12 full papers and 6 short papers presented in this volume... -
Integrating Business Process Models and Rules: Empirical Evidence and Decision Framework by Wei Wang 9783030118082
Booksplease Price: $59.24This book combines multiple research methods, experiment, survey, and design science, as well as traditional measurements and neurophysiological techniques that can capture a variety of cognitive behaviors in human information processing, providing more... -
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity: 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018, Revised Selected Papers by Swaroop Pophale 9783030049171
Booksplease Price: $59.24This book constitutes the proceedings of the 5th OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2018. The 14 full papers presented in this book were carefully reviewed and selected for inclusion in this volume. The papers discuss a variety of... -
Introduction to Software Development: Database Development by Marwan Shaban 9781736291726
Booksplease Price: $30.84Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781736291726Author Marwan ShabanFormat PaperbackPage Count 286Imprint Marwan ShabanPublisher Marwan ShabanWeight(grams) 494g -
Software Engineering and Middleware: Third International Workshop, SEM 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers by Alberto? Coen-Porisini 9783540075493
Booksplease Price: $59.24The 3rd International Workshop on Software Engineering and Middleware {SEM 2002) was held May 20-21, 2002, in Orlando, Florida, as a co-located event of the 2002 International Conference on Software Engineering. The workshop attracted 30 participants...