Rakuten Kobo

Reuse in Emerging Software Engineering Practices

19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings

Edited by Sihem Ben Sassi, Stéphane Ducasse, Hafedh Mili ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Software and Systems Reuse, ICSR 2020, held in Hammamet, Tunesia in December 2020. Due to COVID-19 pandemic the Conference was held virtually.The 16 full papers and 2 short papers included in this book were carefully reviewed and selected from 60 submissions. The papers were organized in topical sections named: modelling ... Read more

$49.49 USD

This book constitutes the proceedings of the 19th International Conference on Software and Systems Reuse, ICSR 2020, held in Hammamet, Tunesia in December 2020. Due to COVID-19 pandemic the Conference was held virtually.The 16 full papers and 2 short papers included in this book were carefully reviewed and selected from 60 submissions. The papers were organized in topical sections named: modelling
... Read more
Lesion Segmentation in Surgical and Diagnostic Applications

MICCAI 2022 Challenges, CuRIOUS 2022, KiPA 2022 and MELA 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18–22, 2022, Proceedings

Edited by Yiming Xiao, Guanyu Yang, Shuang Song ...

Series series Springer Nature Proceedings Computer Science
This book constitutes three challenges that were held in conjunction with the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022, which took place in Singapore in September 2022.The peer-reviewed 10 papers included in this volume stem from the following three challenges:Kidney Parsing Challenge 2022: Multi-Structure Segmentation for Renal ... Read more

$53.99 USD

This book constitutes three challenges that were held in conjunction with the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022, which took place in Singapore in September 2022.The peer-reviewed 10 papers included in this volume stem from the following three challenges:Kidney Parsing Challenge 2022: Multi-Structure Segmentation for Renal
... Read more
Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II

Edited by Constantin Enea, Akash Lal ...

Series Book 2 - Springer Nature Proceedings Computer Science
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata ... Read more

Free

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata
... Read more
Quantitative Evaluation of Systems

18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings

Edited by Alessandro Abate, Andrea Marin ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and ... Read more

$80.09 USD

This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and
... Read more
Product-Focused Software Process Improvement

19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

Edited by Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski, Regina Hebig, Paolo Tell, Jil Klünder, Steffen Küpper ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Product-Focused Software Process Improvement, PROFES 2018, held in Wolfsburg, Germany, in November 2018.The 16 revised full papers and 8 short papers presented together with 10 workshop papers and 2 industry talks were carefully reviewed and selected from 65 submissions. The papers are organized in the following ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 19th International Conference on Product-Focused Software Process Improvement, PROFES 2018, held in Wolfsburg, Germany, in November 2018.The 16 revised full papers and 8 short papers presented together with 10 workshop papers and 2 industry talks were carefully reviewed and selected from 65 submissions. The papers are organized in the following
... Read more
Static Analysis

28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings

Edited by Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page summaries of the three invited talks. The papers cover topics such as static program analysis, abstract ... Read more

$80.99 USD

This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page summaries of the three invited talks. The papers cover topics such as static program analysis, abstract
... Read more
Advances in Soft Computing

20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25–30, 2021, Proceedings, Part II

Edited by Ildar Batyrshin, Alexander Gelbukh, Grigori Sidorov ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 13067 and 13068 constitutes the proceedings of the 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, held in Mexico City, Mexico, in October 2021.The total of 58 papers presented in these two volumes was carefully reviewed and selected from 129 submissions.The first volume, Advances in Computational Intelligence, contains 30 papers structuredinto ... Read more

$98.09 USD

The two-volume set LNAI 13067 and 13068 constitutes the proceedings of the 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, held in Mexico City, Mexico, in October 2021.The total of 58 papers presented in these two volumes was carefully reviewed and selected from 129 submissions.The first volume, Advances in Computational Intelligence, contains 30 papers structuredinto
... Read more
Advances in Computational Intelligence

20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25–30, 2021, Proceedings, Part I

Edited by Ildar Batyrshin, Alexander Gelbukh, Grigori Sidorov ...

Series Book 1 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 13067 and 13068 constitutes the proceedings of the 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, held in Mexico City, Mexico, in October 2021.The total of 58 papers presented in these two volumes was carefully reviewed and selected from 129 submissions.The first volume, Advances in Computational Intelligence, contains 30 papers structuredinto ... Read more

$80.99 USD

The two-volume set LNAI 13067 and 13068 constitutes the proceedings of the 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, held in Mexico City, Mexico, in October 2021.The total of 58 papers presented in these two volumes was carefully reviewed and selected from 129 submissions.The first volume, Advances in Computational Intelligence, contains 30 papers structuredinto
... Read more
Networked Systems

8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings

Edited by Chryssis Georgiou, Rupak Majumdar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.*The 18 revised full papers and 4 short papers presented together with 3 invited papers were carefully reviewed and selected from 46 submissions. The papers cover all aspects related to the design and the development of these systems, ... Read more

$49.49 USD

This book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.*The 18 revised full papers and 4 short papers presented together with 3 invited papers were carefully reviewed and selected from 46 submissions. The papers cover all aspects related to the design and the development of these systems,
... Read more
Web Information Systems Engineering – WISE 2015

16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part I

Edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two volume set LNCS 9418 and LNCS 9419 constitutes the proceedings of the 16th International Conference on Web Information Systems Engineering, WISE 2015, held in Miami, FL, USA, in November 2015.The 53 full papers, 17 short and 14 special sessions and invited papers, presented in these proceedings were carefully reviewed and selected from 189 submissions. The papers cover the areas of big ... Read more

$49.49 USD

This two volume set LNCS 9418 and LNCS 9419 constitutes the proceedings of the 16th International Conference on Web Information Systems Engineering, WISE 2015, held in Miami, FL, USA, in November 2015.The 53 full papers, 17 short and 14 special sessions and invited papers, presented in these proceedings were carefully reviewed and selected from 189 submissions. The papers cover the areas of big
... Read more
Algorithms and Architectures for Parallel Processing

15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III

Edited by Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li ...

Series Book 3 - Springer Nature Proceedings Computer Science
This four volume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedings of the 15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.The 219 revised full papers presented together with 77 workshop papers in these four volumes were carefully reviewed and selected from 807 submissions (602 ... Read more

$49.49 USD

This four volume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedings of the 15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.The 219 revised full papers presented together with 77 workshop papers in these four volumes were carefully reviewed and selected from 807 submissions (602
... Read more
Cryptology and Network Security

20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021, Proceedings

Edited by Mauro Conti, Marc Stevens, Stephan Krenn ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Cryptology and Network Security, CANS 2021, which was held during December 13-15, 2021. The conference was originally planned to take place in Vienna, Austria, and changed to an online event due to the COVID-19 pandemic.The 25 full and 3 short papers presented in these proceedings were carefully reviewed and ... Read more

$89.09 USD

This book constitutes the refereed proceedings of the 20th International Conference on Cryptology and Network Security, CANS 2021, which was held during December 13-15, 2021. The conference was originally planned to take place in Vienna, Austria, and changed to an online event due to the COVID-19 pandemic.The 25 full and 3 short papers presented in these proceedings were carefully reviewed and
... Read more
Artificial General Intelligence

14th International Conference, AGI 2021, Palo Alto, CA, USA, October 15–18, 2021, Proceedings

Edited by Ben Goertzel, Matthew Iklé, Alexey Potapov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Artificial General Intelligence, AGI 2021, held as a hybrid event in San Francisco, CA, USA, in October 2021.The 36 full papers presented in this book were carefully reviewed and selected from 50 submissions. The papers cover topics from foundations of AGI, to AGI approaches and AGI ethics, to the roles of ... Read more

$80.09 USD

This book constitutes the refereed proceedings of the 14th International Conference on Artificial General Intelligence, AGI 2021, held as a hybrid event in San Francisco, CA, USA, in October 2021.The 36 full papers presented in this book were carefully reviewed and selected from 50 submissions. The papers cover topics from foundations of AGI, to AGI approaches and AGI ethics, to the roles of
... Read more
Functional Safety and Proof of Compliance

by Thor Myklebust, Tor Stålhane ...

Series series Computer Science (R0)
This book aims to facilitate and improve development work related to all documents and information required by functional safety standards.Proof of Compliance (PoC) is important for the assessor and certification bodies when called up to confirm that the manufacturer has developed a software system according to the required safety standards. While PoC documents add functionality to the product ... Read more

$76.49 USD

This book aims to facilitate and improve development work related to all documents and information required by functional safety standards.Proof of Compliance (PoC) is important for the assessor and certification bodies when called up to confirm that the manufacturer has developed a software system according to the required safety standards. While PoC documents add functionality to the product
... Read more
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings

Edited by Zied Bouraoui, Srdjan Vesic ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2023, held in Arras, France, in September 2023.The 35 full papers presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in topical sections about Complexity and Database Theory; Formal ... Read more

$89.09 USD

This book constitutes the refereed proceedings of the 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2023, held in Arras, France, in September 2023.The 35 full papers presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in topical sections about Complexity and Database Theory; Formal
... Read more
Evolution of STEM-Driven Computer Science Education

The Perspective of Big Concepts

by Vytautas Štuikys, Renata Burbaitė ...

Series series Computer Science (R0)
The book discusses the evolution of STEM-driven Computer Science (CS) Education based on three categories of Big Concepts, Smart Education (Pedagogy), Technology (tools and adequate processes) and Content that relates to IoT, Data Science and AI.For developing, designing, testing, delivering and assessing learning outcomes for K-12 students (9-12 classes), the multi-dimensional modelling ... Read more

$224.09 USD

The book discusses the evolution of STEM-driven Computer Science (CS) Education based on three categories of Big Concepts, Smart Education (Pedagogy), Technology (tools and adequate processes) and Content that relates to IoT, Data Science and AI.For developing, designing, testing, delivering and assessing learning outcomes for K-12 students (9-12 classes), the multi-dimensional modelling
... Read more
Testing Software and Systems

33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings

Edited by David Clark, Hector Menendez, Ana Rosa Cavalli ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic.The 10 regular papers and 7 short papers presented were carefully reviewed and selected from 36 submissions. Additionally, the volume includes 6 project reports. ... Read more

$80.09 USD

This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic.The 10 regular papers and 7 short papers presented were carefully reviewed and selected from 36 submissions. Additionally, the volume includes 6 project reports.
... Read more
Artificial General Intelligence

15th International Conference, AGI 2022, Seattle, WA, USA, August 19–22, 2022, Proceedings

Edited by Ben Goertzel, Matt Iklé, Alexey Potapov, Denis Ponomaryov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Artificial General Intelligence, AGI 2022, held as a hybrid event in Seattle, WA, USA, in August 2022.The 31 full papers presented in this book were carefully reviewed and selected from 61 submissions. The papers cover topics from foundations of AGI, to AGI approaches and AGI ethics, to the roles of systems ... Read more

$80.09 USD

This book constitutes the refereed proceedings of the 15th International Conference on Artificial General Intelligence, AGI 2022, held as a hybrid event in Seattle, WA, USA, in August 2022.The 31 full papers presented in this book were carefully reviewed and selected from 61 submissions. The papers cover topics from foundations of AGI, to AGI approaches and AGI ethics, to the roles of systems
... Read more
Model Checking, Synthesis, and Learning

Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Edited by Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi ...

Series series Computer Science (R0)
This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both ... Read more

$62.99 USD

This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both
... Read more
Coordination Models and Languages

24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

Edited by Maurice H. ter Beek, Marjan Sirjani ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 11 regular papers and one short paper presented in this book were carefully reviewed and selected from ... Read more

$107.09 USD

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 11 regular papers and one short paper presented in this book were carefully reviewed and selected from
... Read more
Design, User Experience, and Usability: UX Research, Design, and Assessment

11th International Conference, DUXU 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I

Edited by Marcelo M. Soares, Elizabeth Rosenzweig, Aaron Marcus ...

Series Book 1 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Design, User Experience, and Usability, DUXU 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022.The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions.The ... Read more

$116.09 USD

This book constitutes the refereed proceedings of the 11th International Conference on Design, User Experience, and Usability, DUXU 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022.The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions.The
... Read more
Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Edited by Hana Chockler, Georg Weissenbacher ...

Series Book 2 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... Read more

Free

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and
... Read more
Advances in Visual Informatics

7th International Visual Informatics Conference, IVIC 2021, Kajang, Malaysia, November 23–25, 2021, Proceedings

Edited by Halimah Badioze Zaman, Alan F. Smeaton, Timothy K. Shih, Sergio Velastin, Tada Terutoshi, Bo Nørregaard Jørgensen, Hazleen Aris, Nazrita Ibrahim ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on Advances in Visual Informatics, IVIC 2021, held in Selangor, Malaysia in November 2021.The 59 papers presented were carefully reviewed and selected from 114 submissions. The papers are organized into the following topics: Visualization and Digital Innovation; Engineering and Digital Innovation; Cyber Security and ... Read more

$98.09 USD

This book constitutes the refereed proceedings of the 7th International Conference on Advances in Visual Informatics, IVIC 2021, held in Selangor, Malaysia in November 2021.The 59 papers presented were carefully reviewed and selected from 114 submissions. The papers are organized into the following topics: Visualization and Digital Innovation; Engineering and Digital Innovation; Cyber Security and
... Read more
Artificial Intelligence in Music, Sound, Art and Design

11th International Conference, EvoMUSART 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings

Edited by Tiago Martins, Nereida Rodríguez-Fernández, Sérgio M. Rebelo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2022, held as part of Evo* 2022, in April 2022, co-located with the Evo* 2022 events, EvoCOP, EvoApplications, and EuroGP.The 20 full papers and 6 short papers presented in this book were carefully reviewed and selected from 66 submissions. They cover ... Read more

$116.09 USD

This book constitutes the refereed proceedings of the 10th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2022, held as part of Evo* 2022, in April 2022, co-located with the Evo* 2022 events, EvoCOP, EvoApplications, and EuroGP.The 20 full papers and 6 short papers presented in this book were carefully reviewed and selected from 66 submissions. They cover
... 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: