Rakuten Kobo

Multi-Agent Systems

18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers

Edición de Ariel Rosenfeld, Nimrod Talmon ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised post-conference proceedings of the 18th European Conference on Multi-Agent Systems, EUMAS 2021. The conference was held online in June, 2021. 16 full papers are presented in this volume, each of which carefully reviewed and selected from a total of 51 submissions. The papers report on both early and mature research and cover a wide range of topics in the field of ... Leer más

$49.49 USD

This book constitutes the revised post-conference proceedings of the 18th European Conference on Multi-Agent Systems, EUMAS 2021. The conference was held online in June, 2021. 16 full papers are presented in this volume, each of which carefully reviewed and selected from a total of 51 submissions. The papers report on both early and mature research and cover a wide range of topics in the field of
... Leer más
Leveraging Applications of Formal Methods, Verification and Validation: Applications

9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Edición de Tiziana Margaria, Bernhard Steffen ...

Series Libro 3 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.The papers presented were carefully reviewed and selected for inclusion in the ... Leer más

$49.49 USD

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.The papers presented were carefully reviewed and selected for inclusion in the
... Leer más
Programming Languages and Systems

18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings

Edición de Bruno C. d. S. Oliveira ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, ... Leer más

$49.49 USD

This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation,
... Leer más
Product-Focused Software Process Improvement

23rd International Conference, PROFES 2022, Jyväskylä, Finland, November 21–23, 2022, Proceedings

Edición de Davide Taibi, Marco Kuhrmann, Tommi Mikkonen, Jil Klünder, Pekka Abrahamsson ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Conference on Product-Focused Software Process Improvement, PROFES 2022, which took place in Jyväskylä, Finland in November 2022.The 24 full technical papers, 9 short papers, and 6 poster papers presented in this volume were carefully reviewed and selected from 75 submissions. The book also contains and 8 doctoral symposium ... Leer más

$89.09 USD

This book constitutes the refereed proceedings of the 23rd International Conference on Product-Focused Software Process Improvement, PROFES 2022, which took place in Jyväskylä, Finland in November 2022.The 24 full technical papers, 9 short papers, and 6 poster papers presented in this volume were carefully reviewed and selected from 75 submissions. The book also contains and 8 doctoral symposium
... Leer más
Machine Learning and Knowledge Discovery in Databases: Research Track

European Conference, ECML PKDD 2023, Turin, Italy, September 18–22, 2023, Proceedings, Part IV

Edición de Danai Koutra, Claudia Plant, Manuel Gomez Rodriguez, Elena Baralis, Francesco Bonchi ...

Series Libro 4 - Springer Nature Proceedings Computer Science
The multi-volume set LNAI 14169 until 14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.The 196 papers were selected from the 829 submissions for the Research Track, and 58 papers were selected from the 239 submissions for the Applied Data Science Track ... Leer más

$98.09 USD

The multi-volume set LNAI 14169 until 14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.The 196 papers were selected from the 829 submissions for the Research Track, and 58 papers were selected from the 239 submissions for the Applied Data Science Track
... Leer más
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings

Edición de Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022.The 16 full papers presented in this book were carefully reviewed and selected from numerous submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling ... Leer más

$62.99 USD

This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022.The 16 full papers presented in this book were carefully reviewed and selected from numerous submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling
... Leer más
Risks and Security of Internet and Systems

15th International Conference, CRiSIS 2020, Paris, France, November 4–6, 2020, Revised Selected Papers

Edición de Joaquin Garcia-Alfaro, Jean Leneutre, Nora Cuppens, Reda Yaich ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Conference on Risks and Security of Internet and Systems, CRiTIS 2020, which took place during November 4-6, 2020. The conference was originally planned to take place in Paris, France, but had to change to an online format due to the COVID-19 pandemic.The 16 full and 7 short papers included in this volume were carefully reviewed and ... Leer más

$49.49 USD

This book constitutes the proceedings of the 15th International Conference on Risks and Security of Internet and Systems, CRiTIS 2020, which took place during November 4-6, 2020. The conference was originally planned to take place in Paris, France, but had to change to an online format due to the COVID-19 pandemic.The 16 full and 7 short papers included in this volume were carefully reviewed and
... Leer más
Networked Systems

9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings

Edición de Karima Echihabi, Roland Meyer ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 9th International Conference on Networked Systems, NETYS 2021, held virtually in May 2021.The 15 revised full papers and 2 short papers presented were carefully reviewed and selected from 32 submissions. The papers are organized in the following thematic blocks: distributed systems, blockchain, and verification. ... Leer más

$71.99 USD

This book constitutes the revised selected papers of the 9th International Conference on Networked Systems, NETYS 2021, held virtually in May 2021.The 15 revised full papers and 2 short papers presented were carefully reviewed and selected from 32 submissions. The papers are organized in the following thematic blocks: distributed systems, blockchain, and verification.
... Leer más
Link Technology to Your Long-Term Business Goals

How to Use Technology to Mobilize Your People, Strategy and Operations

de Praz ...

Series series Business and Management (R0)
Link the use of technology with long-term business goals to optimize the core elements in your organization: people, strategy, and operations. This book will show you how effective planning of processes and execution of strategies with the help of technology can bring about an organization-wide increase in productivity and performance.Business environments have grown increasingly competitive. ... Leer más

$40.49 USD

Link the use of technology with long-term business goals to optimize the core elements in your organization: people, strategy, and operations. This book will show you how effective planning of processes and execution of strategies with the help of technology can bring about an organization-wide increase in productivity and performance.Business environments have grown increasingly competitive.
... Leer más
Runtime Verification

20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Edición de Jyotirmoy Deshmukh, Dejan Ničković ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic.The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic.The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial
... Leer más
Rewriting Logic and Its Applications

14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers

Edición de Kyungmin Bae ...

Series series Springer Nature Proceedings Computer Science
This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 ... Leer más

$71.99 USD

This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2
... Leer más
Intelligent Robotics and Applications

15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part I

Edición de Honghai Liu, Zhouping Yin, Lianqing Liu, Li Jiang, Guoying Gu, Xinyu Wu, Weihong Ren ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The 4-volume set LNAI 13455 - 13458 constitutes the proceedings of the 15th International Conference on Intelligent Robotics and Applications, ICIRA 2022, which took place in Harbin China, during August 2022.The 284 papers included in these proceedings were carefully reviewed and selected from 442 submissions. They were organized in topical sections as follows: Robotics, Mechatronics, Applications ... Leer más

$107.09 USD

The 4-volume set LNAI 13455 - 13458 constitutes the proceedings of the 15th International Conference on Intelligent Robotics and Applications, ICIRA 2022, which took place in Harbin China, during August 2022.The 284 papers included in these proceedings were carefully reviewed and selected from 442 submissions. They were organized in topical sections as follows: Robotics, Mechatronics, Applications
... Leer más
Software Business

12th International Conference, ICSOB 2021, Drammen, Norway, December 2–3, 2021, Proceedings

Edición de Xiaofeng Wang, Antonio Martini, Anh Nguyen-Duc, Viktoria Stray ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Software Business, ICSOB 2021, which was held during December 2-3, 2021. The conference was originally planned to take place in Drammen, Norway, but changed to an online format due to the COVID-19 pandemic. The special theme of ICSOB 2021 was software sustainability.The 13 full papers and 5 short papers ... Leer más

$62.99 USD

This book constitutes the refereed proceedings of the 12th International Conference on Software Business, ICSOB 2021, which was held during December 2-3, 2021. The conference was originally planned to take place in Drammen, Norway, but changed to an online format due to the COVID-19 pandemic. The special theme of ICSOB 2021 was software sustainability.The 13 full papers and 5 short papers
... Leer más
Attacks and Defenses for the Internet-of-Things

5th International Workshop, ADIoT 2022, Copenhagen, Denmark, September 30, 2022, Revised Selected Papers

Edición de Wenjuan Li, Steven Furnell, Weizhi Meng ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the post-conference proceedings of the 5th International Workshop on Attacks and Defenses for Internet-of-Things, ADIoT 2022, held in conjunction with ESORICS 2022, in Copenhagen, Denmark, in September 30, 2022, in hybrid mode.The 7 full papers and 3 short papers were carefully reviewed and selected from 18 submissions.This workshop focuses on IoT attacks and defenses and ... Leer más

$53.99 USD

This book constitutes the post-conference proceedings of the 5th International Workshop on Attacks and Defenses for Internet-of-Things, ADIoT 2022, held in conjunction with ESORICS 2022, in Copenhagen, Denmark, in September 30, 2022, in hybrid mode.The 7 full papers and 3 short papers were carefully reviewed and selected from 18 submissions.This workshop focuses on IoT attacks and defenses and
... Leer más
Parallel and Distributed Computing, Applications and Technologies

22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings

Edición de Hong Shen, Yingpeng Sang, Yong Zhang, Nong Xiao, Hamid R. Arabnia, Geoffrey Fox, Ajay Gupta, Manu Malek ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 22nd International Conference on Parallel and Distributed Computing, Applications, and Technologies, PDCAT 2021, which took place in Guangzhou, China, during December 17-19, 2021.The 24 full papers and 34 short papers included in this volume were carefully reviewed and selected from 97 submissions. The papers are categorized into the following topical ... Leer más

$80.09 USD

This book constitutes the proceedings of the 22nd International Conference on Parallel and Distributed Computing, Applications, and Technologies, PDCAT 2021, which took place in Guangzhou, China, during December 17-19, 2021.The 24 full papers and 34 short papers included in this volume were carefully reviewed and selected from 97 submissions. The papers are categorized into the following topical
... Leer más
Fast and Low-Resource Semi-supervised Abdominal Organ Segmentation

MICCAI 2022 Challenge, FLARE 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings

Edición de Jun Ma, Bo Wang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the MICCAI 2022 Challenge, FLARE 2022, held in Conjunction with MICCAI 2022, in Singapore, on September 22, 2022.The 28 full papers presented in this book were carefully reviewed and selected from 48 submissions. The papers present research and results for abdominal organ segmentation which has many important clinical applications, such as organ ... Leer más

$76.49 USD

This book constitutes the proceedings of the MICCAI 2022 Challenge, FLARE 2022, held in Conjunction with MICCAI 2022, in Singapore, on September 22, 2022.The 28 full papers presented in this book were carefully reviewed and selected from 48 submissions. The papers present research and results for abdominal organ segmentation which has many important clinical applications, such as organ
... Leer más
Job Scheduling Strategies for Parallel Processing

26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers

Edición de Dalibor Klusáček, Julita Corbalán, Gonzalo P. Rodrigo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2023, held in St. Petersburg, FL, USA, during May 19, 2023.The 8 full papers and one keynote paper included in this book were carefully reviewed and selected from 14 submissions. The volume contains two sections: keynote and ... Leer más

$53.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2023, held in St. Petersburg, FL, USA, during May 19, 2023.The 8 full papers and one keynote paper included in this book were carefully reviewed and selected from 14 submissions. The volume contains two sections: keynote and
... Leer más
Quantitative Evaluation of Systems

20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings

Edición de Nils Jansen, Mirco Tribastone ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, which took place in Antwerp, Belgium, in September 2023.The 23 papers included in this book were carefully reviewed and selected from 44 submissions. They deal with current topics in quantitative evaluation and verification of computer systems and networks, focusing on data ... Leer más

$76.49 USD

This book constitutes the proceedings of the 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, which took place in Antwerp, Belgium, in September 2023.The 23 papers included in this book were carefully reviewed and selected from 44 submissions. They deal with current topics in quantitative evaluation and verification of computer systems and networks, focusing on data
... Leer más
Software Engineering Methods in Systems and Network Systems

Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 1

Edición de Radek Silhavy, Petr Silhavy ...

Series series Springer Nature Proceedings excluding Computer Science
This book presents cutting-edge research and methodologies in software engineering, specifically focusing on systems and network systems. It showcases novel development approaches and network system optimizations, highlighting the field's dynamic evolution. The book is designed for experts, scholars, and professionals, offering insights and tools crucial for advancing the software engineering ... Leer más

$170.09 USD

This book presents cutting-edge research and methodologies in software engineering, specifically focusing on systems and network systems. It showcases novel development approaches and network system optimizations, highlighting the field's dynamic evolution. The book is designed for experts, scholars, and professionals, offering insights and tools crucial for advancing the software engineering
... Leer más
Hybrid Artificial Intelligent Systems

15th International Conference, HAIS 2020, Gijón, Spain, November 11-13, 2020, Proceedings

Edición de Enrique Antonio de la Cal, José Ramón Villar Flecha, Héctor Quintián, Emilio Corchado ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2020, held in Gijón, Spain, in November 2020.The 65 regular papers presented in this book were carefully reviewed and selected from 106 submissions. The papers are grouped into these topics: advanced data processing and visualization techniques; bio-inspired models and ... Leer más

$89.09 USD

This book constitutes the refereed proceedings of the 15th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2020, held in Gijón, Spain, in November 2020.The 65 regular papers presented in this book were carefully reviewed and selected from 106 submissions. The papers are grouped into these topics: advanced data processing and visualization techniques; bio-inspired models and
... Leer más
Agile Processes in Software Engineering and Extreme Programming – Workshops

XP 2022 Workshops, Copenhagen, Denmark, June 13–17, 2022, and XP 2023 Workshops, Amsterdam, The Netherlands, June 13–16, 2023, Revised Selected Papers

Edición de Philippe Kruchten, Peggy Gregory ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes papers from the research workshops presented at XP 2022 and XP 2023, respectively the 23rd and 24th International Conferences on Agile Software Development, held on June 13-17, 2022 at the IT University of Copenhagen, Denmark and June 13-16, 2023 in Amsterdam, Netherlands.XP is the premier agile software development conference combining research and practice. It ... Leer más

Gratis

This open access book constitutes papers from the research workshops presented at XP 2022 and XP 2023, respectively the 23rd and 24th International Conferences on Agile Software Development, held on June 13-17, 2022 at the IT University of Copenhagen, Denmark and June 13-16, 2023 in Amsterdam, Netherlands.XP is the premier agile software development conference combining research and practice. It
... Leer más
Software Verification

12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

Edición de Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually.The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually.The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions.
... Leer más
Requirements Engineering: Foundation for Software Quality

28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21–24, 2022, Proceedings

Edición de Vincenzo Gervasi, Andreas Vogelsang ...

Series series Springer Nature Proceedings Computer Science
This 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 short papers presented in this volume were carefully reviewed and selected from 45 submissions. They were organized in topical sections as follows: ... Leer más

$53.99 USD

This 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 short papers presented in this volume were carefully reviewed and selected from 45 submissions. They were organized in topical sections as follows:
... Leer más
SAP-Praxishandbuch ABAP Core Data Services (CDS) - 2., erweiterte Auflage

de Johannes Gerbershagen ...

ABAP Core Data Services (CDS) sind auf komplexe Datenbeschaffungsszenarien bei der Entwicklung klassischer ABAP- wie auch moderner UI-Applikationen ausgerichtet. Die vorliegende zweite Auflage des Praxishandbuchs streift kurz die Grundlagen der Core Data Services, um sich dann ausführlich den CDS-View-Entitäten – Nachfolger der klassischen CDS-Views seit ABAP-Release 7.55 – zuzuwenden. Sie ... Leer más

$20.99 USD

ABAP Core Data Services (CDS) sind auf komplexe Datenbeschaffungsszenarien bei der Entwicklung klassischer ABAP- wie auch moderner UI-Applikationen ausgerichtet. Die vorliegende zweite Auflage des Praxishandbuchs streift kurz die Grundlagen der Core Data Services, um sich dann ausführlich den CDS-View-Entitäten – Nachfolger der klassischen CDS-Views seit ABAP-Release 7.55 – zuzuwenden. Sie
... 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: