Rakuten Kobo

Verified Software. Theories, Tools and Experiments.

14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers

Edited by Akash Lal, Stefano Tonetta ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022.The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022.The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool
... Read more
Data Science and Algorithms in Systems

Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2

Edited by Radek Silhavy, Petr Silhavy, Zdenka Prokopova ...

Series series Springer Nature Proceedings excluding Computer Science
This book offers real-world data science and algorithm design topics linked to systems and software engineering. Furthermore, articles describing unique techniques in data science, algorithm design, and systems and software engineering are featured.This book is the second part of the refereed proceedings of the 6th Computational Methods in Systems and Software 2022 (CoMeSySo 2022). The CoMeSySo ... Read more

$188.09 USD

This book offers real-world data science and algorithm design topics linked to systems and software engineering. Furthermore, articles describing unique techniques in data science, algorithm design, and systems and software engineering are featured.This book is the second part of the refereed proceedings of the 6th Computational Methods in Systems and Software 2022 (CoMeSySo 2022). The CoMeSySo
... Read more
Computer Aided Verification

34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

Edited by Sharon Shoham, Yakir Vizel ...

Series Book 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022.The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following ... Read more

Free

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022.The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following
... Read more
Dynamic Logic. New Trends and Applications

4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers

Edited by Carlos Areces, Diana Costa ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Haifa, Israel, in July/August 2022.The 8 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They deal with new trends and applications in the area of Dynamic Logic. ... Read more

$53.99 USD

This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Haifa, Israel, in July/August 2022.The 8 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They deal with new trends and applications in the area of Dynamic Logic.
... Read more
Search-Based Software Engineering

14th International Symposium, SSBSE 2022, Singapore, November 17–18, 2022, Proceedings

Edited by Mike Papadakis, Silvia Regina Vergilio ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Symposium on Search-Based Software Engineering, SSBSE 2022, which was held in Singapore, in November 2022.The 6 regular papers, the NIER and RENE tracks as well as the Challenge Track that were included in this volume were carefully reviewed and selected from 15 submissions. The papers deal with novel ideas and applications of search ... Read more

$53.99 USD

This book constitutes the proceedings of the 14th International Symposium on Search-Based Software Engineering, SSBSE 2022, which was held in Singapore, in November 2022.The 6 regular papers, the NIER and RENE tracks as well as the Challenge Track that were included in this volume were carefully reviewed and selected from 15 submissions. The papers deal with novel ideas and applications of search
... Read more
The Practice of Enterprise Modeling

15th IFIP WG 8.1 Working Conference, PoEM 2022, London, UK, November 23–25, 2022, Proceedings

Edited by Balbir S. Barn, Kurt Sandkuhl ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th IFIP Working Conference on the Practice of Enterprise Modeling, PoEM 2022, which took place in London, UK, during November 23-25, 2022.PoEM offers a forum for sharing experiences and knowledge between the academic community and practitioners from industry and the public sector. This year the theme of the conference is Enterprise Modeling and Model ... Read more

$71.99 USD

This book constitutes the proceedings of the 15th IFIP Working Conference on the Practice of Enterprise Modeling, PoEM 2022, which took place in London, UK, during November 23-25, 2022.PoEM offers a forum for sharing experiences and knowledge between the academic community and practitioners from industry and the public sector. This year the theme of the conference is Enterprise Modeling and Model
... Read more
Building Better Interfaces for Remote Autonomous Systems

An Introduction for Systems Engineers

by Jacob D. Oury, Frank E. Ritter ...

Series series Computer Science (R0)
This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of the ... Read more

Free

This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of the
... Read more
Job Scheduling Strategies for Parallel Processing

24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers

Edited by Dalibor Klusáček, Walfredo Cirne, Gonzalo P. Rodrigo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021 (due to the Covid-19 pandemic).The 10 revised full papers presented were carefully reviewed and selected from 17 submissions. In addition to this, one keynote paper was included in the ... Read more

$62.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021 (due to the Covid-19 pandemic).The 10 revised full papers presented were carefully reviewed and selected from 17 submissions. In addition to this, one keynote paper was included in the
... Read more
Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

Edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich ...

Series series Computer Science (R0)
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical ... Read more

$49.49 USD

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical
... Read more
Software Verification

13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

Edited by Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions ... Read more

$53.99 USD

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions
... Read more
Model Checking Software

28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Edited by Owolabi Legunsen, Grigore Rosu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal ... Read more

$89.09 USD

This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal
... Read more
Mastering Scale and Complexity in Software Reuse

16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Edited by Goetz Botterweck, Claudia Werner ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Software Reuse, ICSR 2017, held in Salvador, Brazil, in May 2017.The 8 revised full papers presented together with 3 short papers and 2 keynote presentations were carefully reviewed and selected from 34 submissions. The papers are grouped in topical sections on documentation reuse and repositories; software ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 16th International Conference on Software Reuse, ICSR 2017, held in Salvador, Brazil, in May 2017.The 8 revised full papers presented together with 3 short papers and 2 keynote presentations were carefully reviewed and selected from 34 submissions. The papers are grouped in topical sections on documentation reuse and repositories; software
... Read more
Computer and Communication Engineering

Third International Conference, CCCE 2023, Stockholm, Sweden, March 10–12, 2023, Revised Selected Papers

Edited by Filippo Neri, Ke-Lin Du, Vijayakumar Varadarajan, Angel-Antonio San-Blas, Zhiyu Jiang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes refereed proceedings of the Third International Conference on Computer and Communication Engineering, CCCE 2023, held in Stockholm, Sweden, in March 2023.The 18 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: image analysis and method; network model and function analysis of mobile ... Read more

$76.49 USD

This book constitutes refereed proceedings of the Third International Conference on Computer and Communication Engineering, CCCE 2023, held in Stockholm, Sweden, in March 2023.The 18 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: image analysis and method; network model and function analysis of mobile
... Read more
Knowledge Discovery, Knowledge Engineering and Knowledge Management

13th International Joint Conference, IC3K 2021, Virtual Event, October 25–27, 2021, Revised Selected Papers

Edited by Ana Fred, David Aveiro, Jan Dietz, Jorge Bernardino, Elio Masciari, Joaquim Filipe ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the extended and revised versions of a set of selected papers from the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2021, on October 25–27, 2021. The conference was held virtually due to the COVID-19 crisis.The 9 full papers included in this book were carefully reviewed and selected from 103 submissions. The ... Read more

$62.99 USD

This book constitutes the extended and revised versions of a set of selected papers from the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2021, on October 25–27, 2021. The conference was held virtually due to the COVID-19 crisis.The 9 full papers included in this book were carefully reviewed and selected from 103 submissions. The
... Read more
The Agile Mothership

by Jennifer B. McPherson ...

Scaling your Agile organization seems scary. The Scaled Agile Framework looks complicated, and training is expensive. The Agile Mothership is a light-hearted but serious, simplified outline for organizations hoping to move to the Scaled Agile Framework - with focus on the program level of SAFe. With details about what a program team has responsibility for within the agile organization, to how ... Read more

$5.99 USD or Free with Kobo Plus

Scaling your Agile organization seems scary. The Scaled Agile Framework looks complicated, and training is expensive. The Agile Mothership is a light-hearted but serious, simplified outline for organizations hoping to move to the Scaled Agile Framework - with focus on the program level of SAFe. With details about what a program team has responsibility for within the agile organization, to how
... Read more
Objektbasierte Programmierung mit Go

by Christian Maurer ...

Series series Computer Science and Engineering (German Language)
Dieses Buch erklärt das Konzept „Objektbasierung“ als wesentlichen Teil der „Objektorientierung“ und erläutert, warum Go eine Programmiersprache ist, die dieses Konzept optimal unterstützt. Anhand wesentlicher Teile des Mikrouniversums, einer großen Sammlung von Softwarekomponenten (mit Quellcode im Umfang von mehr als 53000 Programmzeilen), werden viele wichtige Datentypen mit ihren Algorithmen ... Read more

$28.49 USD

Dieses Buch erklärt das Konzept „Objektbasierung“ als wesentlichen Teil der „Objektorientierung“ und erläutert, warum Go eine Programmiersprache ist, die dieses Konzept optimal unterstützt. Anhand wesentlicher Teile des Mikrouniversums, einer großen Sammlung von Softwarekomponenten (mit Quellcode im Umfang von mehr als 53000 Programmzeilen), werden viele wichtige Datentypen mit ihren Algorithmen
... Read more
Nachhaltige MITO-Businessmodell-Transformation

Systematische Umsetzung mit dem MITO-Methoden-Tool

by Hartmut F. Binner ...

Series series Computer Science and Engineering (German Language)
Entscheidungen in Unternehmen haben Auswirkungen auf die Gesellschaft und die Umwelt. Unternehmen müssen solche Auswirkungen ernst nehmen und Nachhaltigkeitsthemen in der Organisation und den Geschäftstätigkeiten berücksichtigen sowie geeignete Maßnahmen treffen (Corporate Social Responsibility – CSR). Entsprechend geht dies mit Transformationen einher, die vielfältige Herausforderungen ... Read more

$53.99 USD

Entscheidungen in Unternehmen haben Auswirkungen auf die Gesellschaft und die Umwelt. Unternehmen müssen solche Auswirkungen ernst nehmen und Nachhaltigkeitsthemen in der Organisation und den Geschäftstätigkeiten berücksichtigen sowie geeignete Maßnahmen treffen (Corporate Social Responsibility – CSR). Entsprechend geht dies mit Transformationen einher, die vielfältige Herausforderungen
... Read more
Lean Six Sigma Yellow & Orange Belt - English version

60 Exercises and Rationals

by ir. H.C. Theisens ...

This book is intended for those who want to get started with carrying out improvement projects on the shop floor or in their own work environment. In addition, this book is intended for anyone who participates as a team member in a larger Lean or Six Sigma, Green or Black Belt project. In terms of structure, this book follows the LSSA syllabus for Lean Six Sigma Yellow Belt. All techniques ... Read more

$37.99 USD or Free with Kobo Plus

This book is intended for those who want to get started with carrying out improvement projects on the shop floor or in their own work environment. In addition, this book is intended for anyone who participates as a team member in a larger Lean or Six Sigma, Green or Black Belt project. In terms of structure, this book follows the LSSA syllabus for Lean Six Sigma Yellow Belt. All techniques
... Read more
Planning and Control Using Microsoft Project 365 and 2021

Including 2019, 2016 and 2013

by Paul E Harris ...

All scheduling software is difficult to learn for a number of reasons. None have the optimal settings when installed and templates, views and default options need to be adjusted to obtain the best possible performance. Usually the Help files do not connect the user to real life situations and do not explain the practical use of functions. Furthermore, there are many flicks and switches with ... Read more

$9.99 USD

All scheduling software is difficult to learn for a number of reasons. None have the optimal settings when installed and templates, views and default options need to be adjusted to obtain the best possible performance. Usually the Help files do not connect the user to real life situations and do not explain the practical use of functions. Furthermore, there are many flicks and switches with
... Read more
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII

Special Issue In Memory of Univ. Prof. Dr. Roland Wagner

Edited by Abdelkader Hameurlain, A Min Tjoa ...

Series series Computer Science (R0)
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing (e.g., computing resources, ... Read more

$76.49 USD

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing (e.g., computing resources,
... Read more
Code Clone Analysis

Research, Tools, and Practices

Edited by Katsuro Inoue, Chanchal K. Roy ...

Series series Computer Science (R0)
This is the first book organized around code clone analysis. To cover the broad studies of code clone analysis, this book selects past research results that are important to the progress of the field and updates them with new results and future directions.The first chapter provides an introduction for readers who are inexperienced in the foundation of code clone analysis, defines clones and ... Read more

$152.09 USD

This is the first book organized around code clone analysis. To cover the broad studies of code clone analysis, this book selects past research results that are important to the progress of the field and updates them with new results and future directions.The first chapter provides an introduction for readers who are inexperienced in the foundation of code clone analysis, defines clones and
... Read more
Dependable Software Engineering. Theories, Tools, and Applications

9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings

Edited by Holger Hermanns, Jun Sun, Lei Bu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023.The 24 full papers presented in this volume were carefully reviewed and selected from 78 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering. ... Read more

$80.99 USD

This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023.The 24 full papers presented in this volume were carefully reviewed and selected from 78 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
... Read more
Python For Beginners: The Comprehensive Guide To Learning, Understanding, And Mastering Python Programming

by Voltaire Lumiere ...

Python For Beginners: The Comprehensive Guide To Learning, Understanding, And Mastering Python ProgrammingEasily Turn into a Python Programming Expert!Python is a straightforward yet effective programming language that can help you become a programmer from the very beginning.It is highly readable, and you won't experience the anxiety that many novices experience when trying to remember obscure ... Read more

$9.99 USD or Free with Kobo Plus

Python For Beginners: The Comprehensive Guide To Learning, Understanding, And Mastering Python ProgrammingEasily Turn into a Python Programming Expert!Python is a straightforward yet effective programming language that can help you become a programmer from the very beginning.It is highly readable, and you won't experience the anxiety that many novices experience when trying to remember obscure
... Read more
Schnelleinstieg in SAP HCM

by Wolf Kanngießer ...

Dieses Buch bietet Einsteigern die wichtigsten Grundlagen der SAP-Personalwirtschaft als Ratgeber zur schnellen Anwendung des SAP-Moduls Human Capital Management (HCM). Lernen Sie, Personalmaßnahmen in HCM umzusetzen und dabei Begriffe wie Personalbereich, Abrechnungskreis und Mitarbeitergruppe innerhalb dieses SAP-Systems richtig einzuordnen. Sie werden sehen: Bereits die verständlich erläuterten ... Read more

$20.99 USD

Dieses Buch bietet Einsteigern die wichtigsten Grundlagen der SAP-Personalwirtschaft als Ratgeber zur schnellen Anwendung des SAP-Moduls Human Capital Management (HCM). Lernen Sie, Personalmaßnahmen in HCM umzusetzen und dabei Begriffe wie Personalbereich, Abrechnungskreis und Mitarbeitergruppe innerhalb dieses SAP-Systems richtig einzuordnen. Sie werden sehen: Bereits die verständlich erläuterten
... Read more

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Software Development eBooks

Show: