Rakuten Kobo

Computational Science and Its Applications – ICCSA 2020

20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part V

Edición de Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Chiara Garau, Ivan Blečić, David Taniar, Bernady O. Apduhan, Ana Maria A. C. Rocha, Eufemia Tarantino, Carmelo Maria Torre, Yeliz Karaca ...

Series Libro 5 - Springer Nature Proceedings Computer Science
The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020. Due to COVID-19 pandemic the conference was organized in an online event.Computational Science is the main pillar of most of the present research, industrial and commercial applications, and ... Leer más

$89.09 USD

The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020. Due to COVID-19 pandemic the conference was organized in an online event.Computational Science is the main pillar of most of the present research, industrial and commercial applications, and
... Leer más
Verified Software. Theories, Tools and Experiments.

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

Edición de 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 ... Leer más

$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
... Leer más
Data Science and Algorithms in Systems

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

Edición de 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 ... Leer más

$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
... Leer más
Computer Aided Verification

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

Edición de Sharon Shoham, Yakir Vizel ...

Series Libro 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 ... Leer más

Gratis

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
... Leer más
Dynamic Logic. New Trends and Applications

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

Edición de 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. ... Leer más

$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.
... Leer más
Search-Based Software Engineering

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

Edición de 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 ... Leer más

$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
... Leer más
The Practice of Enterprise Modeling

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

Edición de 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 ... Leer más

$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
... Leer más
Building Better Interfaces for Remote Autonomous Systems

An Introduction for Systems Engineers

de 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 ... Leer más

Gratis

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
... Leer más
Job Scheduling Strategies for Parallel Processing

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

Edición de 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 ... Leer más

$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
... Leer más
Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

Edición de 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 ... Leer más

$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
... Leer más
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

Edición de 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 ... Leer más

$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
... Leer más
Model Checking Software

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

Edición de 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 ... Leer más

$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
... Leer más
Mastering Scale and Complexity in Software Reuse

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

Edición de 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 ... Leer más

$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
... Leer más
Computer and Communication Engineering

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

Edición de 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 ... Leer más

$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
... Leer más
Knowledge Discovery, Knowledge Engineering and Knowledge Management

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

Edición de 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 ... Leer más

$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
... Leer más
The Agile Mothership

de 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 ... Leer más

$5.99 USD o gratis con 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
... Leer más
Objektbasierte Programmierung mit Go

de 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 ... Leer más

$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
... Leer más
Nachhaltige MITO-Businessmodell-Transformation

Systematische Umsetzung mit dem MITO-Methoden-Tool

de 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 ... Leer más

$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
... Leer más
Lean Six Sigma Yellow & Orange Belt - English version

60 Exercises and Rationals

de 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 ... Leer más

$37.99 USD o gratis con 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
... Leer más
Planning and Control Using Microsoft Project 365 and 2021

Including 2019, 2016 and 2013

de 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 ... Leer más

$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
... Leer más
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII

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

Edición de 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, ... Leer más

$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,
... Leer más
Code Clone Analysis

Research, Tools, and Practices

Edición de 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 ... Leer más

$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
... Leer más
Dependable Software Engineering. Theories, Tools, and Applications

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

Edición de 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. ... Leer más

$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.
... Leer más
Python For Beginners: The Comprehensive Guide To Learning, Understanding, And Mastering Python Programming

de 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 ... Leer más

$9.99 USD o gratis con 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
... Leer más

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Desarrollo de software

Mostrar: