Rakuten Kobo

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Edición de Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and
... Leer más
Service-Oriented Computing

15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13–17, 2021, Proceedings

Edición de Johanna Barzen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2021, held in September 2021. Due to the COVID-19 pandemic the conference was held online.The 9 full and 2 short papers were carefully reviewed and selected from 24 submissions. The papers are organized in topical secions on quantum computing; advanced application ... Leer más

$62.99 USD

This book constitutes the refereed proceedings of the 15th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2021, held in September 2021. Due to the COVID-19 pandemic the conference was held online.The 9 full and 2 short papers were carefully reviewed and selected from 24 submissions. The papers are organized in topical secions on quantum computing; advanced application
... Leer más
Advances in Computational Collective Intelligence

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

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

$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
... Leer más
Algorithms for Computational Biology

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

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

$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
... Leer más
Design Thinking in Software and AI Projects

Proving Ideas Through Rapid Prototyping

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

$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
... Leer más
HCI International 2021 - Late Breaking Papers: Design and User Experience

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

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

$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
... Leer más
Business Modeling and Software Design

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

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

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

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

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

$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
... Leer más
Automated Reasoning with Analytic Tableaux and Related Methods

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

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

Gratis

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
... Leer más
Beginning Scala 3

A Functional and Object-Oriented Java Language

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

$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
... Leer más
Security and Trust Management

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

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

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

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

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

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

Edición de Heidi Krömker ...

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

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

Edición de Pei-Luen Patrick Rau ...

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

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

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

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

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

Edición de Hana Chockler, Georg Weissenbacher ...

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

Gratis

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
... Leer más
Language, Logic, and Computation

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

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

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

SOA & Microservices - Mehrschichtenarchitekturen - Anwendungsintegration

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

$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.
... Leer más
Agile objektorientierte Software-Entwicklung

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

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

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

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

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

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

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

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

$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
... Leer más
Functional and Logic Programming

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

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

$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
... Leer más
Algorithms and Architectures for Parallel Processing

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

Edición de Kenli Li, Albert Zomaya, Guojun Wang, Gregorio Martinez ...

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

$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
... Leer más
Computer Security – ESORICS 2020

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

Edición de Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider ...

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

$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
... 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: