Rakuten Kobo

Advances in Computational Collective Intelligence

13th International Conference, ICCCI 2021, Kallithea, Rhodes, Greece, September 29 – October 1, 2021, Proceedings

Edited by Krystian Wojtkiewicz, Jan Treur, Elias Pimenidis, Marcin Maleszka ...

Series series Springer Nature Proceedings Computer Science
This book constitutes refereed proceedings of the 13th International Conference on International Conference on Computational Collective Intelligence, ICCCI 2021, held in Kallithea, Rhodes, Greece, in October - November 2021. Due to the the COVID-19 pandemic the conference was held online.The 44 full papers and 14 short papers were thoroughly reviewed and selected from231 submissions. The papers ... Read more

$107.09 USD

This book constitutes refereed proceedings of the 13th International Conference on International Conference on Computational Collective Intelligence, ICCCI 2021, held in Kallithea, Rhodes, Greece, in October - November 2021. Due to the the COVID-19 pandemic the conference was held online.The 44 full papers and 14 short papers were thoroughly reviewed and selected from231 submissions. The papers
... Read more
Algorithms for Computational Biology

7th International Conference, AlCoB 2020, Missoula, MT, USA, April 13–15, 2020, Proceedings

Edited by Carlos Martín-Vide, Miguel A. Vega-Rodríguez, Travis Wheeler ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 7th International Conference on Algorithms for Computational Biology, AlCoB 2020, was planned to be held in Missoula, MT, USA in April 2020. Due to the corona pandemic the conference was postponed to be held together with AlCoB 2021.The 15 full papers included in this volume were carefully reviewed and selected from 24 submissions. They were organized ... Read more

$49.49 USD

This book constitutes the proceedings of the 7th International Conference on Algorithms for Computational Biology, AlCoB 2020, was planned to be held in Missoula, MT, USA in April 2020. Due to the corona pandemic the conference was postponed to be held together with AlCoB 2021.The 15 full papers included in this volume were carefully reviewed and selected from 24 submissions. They were organized
... Read more
Design Thinking in Software and AI Projects

Proving Ideas Through Rapid Prototyping

by Robert Stackowiak, Tracey Kelly ...

Series series Business and Management (R0)
Learn the fundamentals of Design Thinking and how to apply Design Thinking techniques in defining software development and AI solutions. Design Thinking is an approach to innovation which identifies problems and generates solution ideas that can be rapidly proven through prototyping.This book provides a brief history of Design Thinking and an overview of the process. It then drills down into more ... Read more

$44.99 USD

Learn the fundamentals of Design Thinking and how to apply Design Thinking techniques in defining software development and AI solutions. Design Thinking is an approach to innovation which identifies problems and generates solution ideas that can be rapidly proven through prototyping.This book provides a brief history of Design Thinking and an overview of the process. It then drills down into more
... Read more
HCI International 2021 - Late Breaking Papers: Design and User Experience

23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings

Edited by Constantine Stephanidis, Marcelo M. Soares, Elizabeth Rosenzweig, Aaron Marcus, Sakae Yamamoto, Hirohiko Mori, Pei-Luen Patrick Rau, Gabriele Meiselwitz, Xiaowen Fang, Abbas Moallem ...

Series series Springer Nature Proceedings Computer Science
This book constitutes late breaking papers from the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held in July 2021. The conference was planned to take place in Washington DC, USA but had to change to a virtual conference mode due to the COVID-19 pandemic.A total of 5222 individuals from academia, research institutes, industry, and governmental agencies from 81 ... Read more

$80.09 USD

This book constitutes late breaking papers from the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held in July 2021. The conference was planned to take place in Washington DC, USA but had to change to a virtual conference mode due to the COVID-19 pandemic.A total of 5222 individuals from academia, research institutes, industry, and governmental agencies from 81
... Read more
Business Modeling and Software Design

12th International Symposium, BMSD 2022, Fribourg, Switzerland, June 27–29, 2022, Proceedings

Edited by Boris Shishkov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12h International Symposium on Business Modeling and Software Design, BMSD 2022, which took place in Fribourg, Switzerland, in June 2022.The 12 full and 9 short papers included in this book were carefully reviewed and selected from a total of 56 submissions.BMSD is a leading international forum that brings together researchers and practitioners ... Read more

$80.99 USD

This book constitutes the refereed proceedings of the 12h International Symposium on Business Modeling and Software Design, BMSD 2022, which took place in Fribourg, Switzerland, in June 2022.The 12 full and 9 short papers included in this book were carefully reviewed and selected from a total of 56 submissions.BMSD is a leading international forum that brings together researchers and practitioners
... Read more
The Practice of Enterprise Modeling

16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 – December 1, 2023, Proceedings

Edited by João Paulo A. Almeida, Monika Kaczmarek-Heß, Agnes Koschmider, Henderik A. Proper ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th IFIP Working Conference on the Practice of Enterprise Modeling, PoEM 2023, which took place in Vienna, Austria, during November 28 - December 1, 2023.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 ... Read more

$58.49 USD

This book constitutes the proceedings of the 16th IFIP Working Conference on the Practice of Enterprise Modeling, PoEM 2023, which took place in Vienna, Austria, during November 28 - December 1, 2023.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
... Read more
Automated Reasoning with Analytic Tableaux and Related Methods

32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

Edited by Revantha Ramanayake, Josef Urban ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023.The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 ... Read more

Free

This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023.The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43
... Read more
Beginning Scala 3

A Functional and Object-Oriented Java Language

by David Pollak, Vishal Layka, Andres Sacco ...

Series series Professional and Applied Computing (R0)
Learn the latest version of Scala through simple, practical examples. This book introduces you to the Scala programming language, its object-oriented and functional programming characteristics, and then guides you through Scala constructs and libraries that allow you to assemble small components into high-performance, scalable systems.Beginning Scala 3 explores new Scala 3 language features such ... Read more

$58.49 USD

Learn the latest version of Scala through simple, practical examples. This book introduces you to the Scala programming language, its object-oriented and functional programming characteristics, and then guides you through Scala constructs and libraries that allow you to assemble small components into high-performance, scalable systems.Beginning Scala 3 explores new Scala 3 language features such
... Read more
Security and Trust Management

19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings

Edited by Ruben Rios, Joachim Posegga ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Workshop on Security and Trust Management, STM 2023, co-located with the 28th European Symposium on Research in Computer Security, ESORICS 2023, held in The Hague, The Netherlands, during September 28th, 2023The 5 full papers together with 4 short papers included in this volume were carefully reviewed and selected from 15 submissions. ... Read more

$53.99 USD

This book constitutes the proceedings of the 19th International Workshop on Security and Trust Management, STM 2023, co-located with the 28th European Symposium on Research in Computer Security, ESORICS 2023, held in The Hague, The Netherlands, during September 28th, 2023The 5 full papers together with 4 short papers included in this volume were carefully reviewed and selected from 15 submissions.
... Read more
The Practice of Enterprise Modeling

13th IFIP Working Conference, PoEM 2020, Riga, Latvia, November 25–27, 2020, Proceedings

Edited by Jānis Grabis, Dominik Bork ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings papers of the 13th IFIP Working Conference on the Practice of Enterprise Modeling, held in Riga, Latvia, in November 2020.Due to the COVID-19 pandemic the conference took place virtually.The 19 full papers presented together with 7 short and 2 invited papers in this volume were carefully reviewed and selected from a total of 58 submissions to the main ... Read more

$49.49 USD

This book constitutes the proceedings papers of the 13th IFIP Working Conference on the Practice of Enterprise Modeling, held in Riga, Latvia, in November 2020.Due to the COVID-19 pandemic the conference took place virtually.The 19 full papers presented together with 7 short and 2 invited papers in this volume were carefully reviewed and selected from a total of 58 submissions to the main
... Read more
HCI in Mobility, Transport, and Automotive Systems

5th International Conference, MobiTAS 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I

Edited by Heidi Krömker ...

Series Book 1 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2023, held as part of the 25th International Conference, HCI International 2023, held in Copenhagen, Denmark, in July 2023.The total of 1578 papers and 396 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 7472 ... Read more

$80.99 USD

This book constitutes the refereed proceedings of the 5th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2023, held as part of the 25th International Conference, HCI International 2023, held in Copenhagen, Denmark, in July 2023.The total of 1578 papers and 396 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 7472
... Read more
Cross-Cultural Design

15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part III

Edited by Pei-Luen Patrick Rau ...

Series Book 3 - Springer Nature Proceedings Computer Science
This three-volume set of CCD 2023, constitutes the refereed proceedings of the 25th International Conference on Cross-Cultural Design, CCD 2023, held as Part of the 24th International Conference, HCI International 2023, which took place in July 2023 in Copenhagen, Denmark.The total of 1578 papers and 396 posters included in the HCII 2023 proceedings volumes was carefully reviewed and selected from ... Read more

$152.09 USD

This three-volume set of CCD 2023, constitutes the refereed proceedings of the 25th International Conference on Cross-Cultural Design, CCD 2023, held as Part of the 24th International Conference, HCI International 2023, which took place in July 2023 in Copenhagen, Denmark.The total of 1578 papers and 396 posters included in the HCII 2023 proceedings volumes was carefully reviewed and selected from
... Read more
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

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

Edited by Tiziana Margaria, Bernhard Steffen ...

Series Book 4 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 12476 - 12479 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 ... Read more

$49.49 USD

The four-volume set LNCS 12476 - 12479 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
... 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 I

Edited by Hana Chockler, Georg Weissenbacher ...

Series Book 1 - 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
Language, Logic, and Computation

13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers

Edited by Aybüke Özgün, Yulia Zinova ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019.The volume contains 17 full revised papers presented at the conference from 17 submissions. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops.The symposium offered ... Read more

$76.49 USD

This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019.The volume contains 17 full revised papers presented at the conference from 17 submissions. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops.The symposium offered
... Read more
Architekturen Verteilter Softwaresysteme

SOA & Microservices - Mehrschichtenarchitekturen - Anwendungsintegration

by Hansruedi Tremp ...

Series series Computer Science and Engineering (German Language)
Das Lehrbuch führt schrittweise in die faszinierende Welt der modernen verteilten Softwaresysteme ein.Dabei beginnt die Reise mit Überlegungen zu den Tätigkeiten des Softwarearchitekten. Weiter geht es zur Modellierung von serviceorientierten Mehrschichtenarchitekturen sowie deren technischer Umsetzung in den einzelnen Schichten. Dabei beschäftigt sich das Buch mit aktuellen Technologien wie z. B. ... Read more

$35.99 USD

Das Lehrbuch führt schrittweise in die faszinierende Welt der modernen verteilten Softwaresysteme ein.Dabei beginnt die Reise mit Überlegungen zu den Tätigkeiten des Softwarearchitekten. Weiter geht es zur Modellierung von serviceorientierten Mehrschichtenarchitekturen sowie deren technischer Umsetzung in den einzelnen Schichten. Dabei beschäftigt sich das Buch mit aktuellen Technologien wie z. B.
... Read more
Agile objektorientierte Software-Entwicklung

Schritt für Schritt vom Geschäftsprozess zum Java-Programm

by Karl-Heinz Rau, Thomas Schuster ...

Series series Computer Science and Engineering (German Language)
Dieses Lehrbuch zeigt anhand eines durchgängigen Fallbeispiels wie Anwendungssoftware zur Optimierung von Geschäftsprozessen agil entwickelt werden kann. Auf der Basis eines agilen Vorgehensmodells werden Geschäftsprozesse modelliert, Anwendungsfälle und User Stories abgeleitet sowie in iterativer Weise die Softwarelösung methodisch entworfen und auf der Jakarta EE Plattform beispielhaft ... Read more

$28.49 USD

Dieses Lehrbuch zeigt anhand eines durchgängigen Fallbeispiels wie Anwendungssoftware zur Optimierung von Geschäftsprozessen agil entwickelt werden kann. Auf der Basis eines agilen Vorgehensmodells werden Geschäftsprozesse modelliert, Anwendungsfälle und User Stories abgeleitet sowie in iterativer Weise die Softwarelösung methodisch entworfen und auf der Jakarta EE Plattform beispielhaft
... Read more
Rules and Reasoning

4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings

Edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2020, held in Oslo, Norway, during June-July 2020*. This is the 4th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 7 full research papers presented together ... Read more

$49.49 USD

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2020, held in Oslo, Norway, during June-July 2020*. This is the 4th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 7 full research papers presented together
... Read more
Search-Based Software Engineering

13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings

Edited by Una-May O'Reilly, Xavier Devroey ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Symposium on Search-Based Software Engineering, SSBSE 2021, which was held in Bari, Italy, during October 11-12, 2021.The 9 full and 2 short papers included in this volume were carefully reviewed and selected from 19 submissions. The papers deal with novel ideas and applications of search-based software engineering, focusing on ... Read more

$53.99 USD

This book constitutes the proceedings of the 13th International Symposium on Search-Based Software Engineering, SSBSE 2021, which was held in Bari, Italy, during October 11-12, 2021.The 9 full and 2 short papers included in this volume were carefully reviewed and selected from 19 submissions. The papers deal with novel ideas and applications of search-based software engineering, focusing on
... Read more
Functional and Logic Programming

15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings

Edited by Keisuke Nakano, Konstantinos Sagonas ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020.The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on ... Read more

$49.49 USD

This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020.The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on
... Read more
Algorithms and Architectures for Parallel Processing

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

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

Series Book 2 - 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
Computer Security – ESORICS 2020

25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II

Edited by Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format.The total of 72 full papers included in these proceedings was carefully reviewed and ... Read more

$49.49 USD

The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format.The total of 72 full papers included in these proceedings was carefully reviewed and
... Read more
Learn to Program with Assembly

Foundational Learning for New Programmers

by Jonathan Bartlett ...

Series series Professional and Applied Computing (R0)
Many programmers have limited effectiveness because they don't have a deep understanding of how their computer actually works under the hood. In Learn to Program with Assembly, you will learn to program in assembly language - the language of the computer itself.Assembly language is often thought of as a difficult and arcane subject. However, author Jonathan Bartlett presents the material in a way ... Read more

$58.49 USD

Many programmers have limited effectiveness because they don't have a deep understanding of how their computer actually works under the hood. In Learn to Program with Assembly, you will learn to program in assembly language - the language of the computer itself.Assembly language is often thought of as a difficult and arcane subject. However, author Jonathan Bartlett presents the material in a way
... Read more
Digital Health Transformation, Smart Ageing, and Managing Disability

20th International Conference, ICOST 2023, Wonju, South Korea, July 7–8, 2023, Proceedings

Edited by Kim Jongbae, Mounir Mokhtari, Hamdi Aloulou, Bessam Abdulrazak, Lee Seungbok ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the refereed proceedings of the 20th International Conference on Digital Health Transformation and Smart Ageing, ICOST 2023, held in Wonju, South Korea, during July 7–8, 2023.The 18 full papers and 16 short papers included in this book were carefully reviewed and selected from 41 submissions. They were organized in topical sections as follows: IoT and AI Solutions ... Read more

Free

This open access book constitutes the refereed proceedings of the 20th International Conference on Digital Health Transformation and Smart Ageing, ICOST 2023, held in Wonju, South Korea, during July 7–8, 2023.The 18 full papers and 16 short papers included in this book were carefully reviewed and selected from 41 submissions. They were organized in topical sections as follows: IoT and AI Solutions
... 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: