Rakuten Kobo

Image Analysis and Processing – ICIAP 2019

20th International Conference, Trento, Italy, September 9–13, 2019, Proceedings, Part II

Edición de Elisa Ricci, Samuel Rota Bulò, Cees Snoek, Oswald Lanz, Stefano Messelodi, Nicu Sebe ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 11751 and 11752 constitutes the refereed proceedings of the 20th International Conference on Image Analysis and Processing, ICIAP 2019, held in Trento, Italy, in September 2019.The 117 papers presented were carefully reviewed and selected from 207 submissions. The papers cover both classic and the most recent trends in image processing, computer vision, and pattern ... Leer más

Antes $98.09 USD Ahora $44.54 USD

The two-volume set LNCS 11751 and 11752 constitutes the refereed proceedings of the 20th International Conference on Image Analysis and Processing, ICIAP 2019, held in Trento, Italy, in September 2019.The 117 papers presented were carefully reviewed and selected from 207 submissions. The papers cover both classic and the most recent trends in image processing, computer vision, and pattern
... Leer más
Static Analysis

26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Edición de Bor-Yuh Evan Chang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019.The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions.The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; ... Leer más

Antes $80.99 USD Ahora $44.54 USD

This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019.The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions.The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning;
... Leer más
Automated Technology for Verification and Analysis

17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Edición de Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions.The symposium is dedicated to the promotion of research on theoretical and practical aspects of ... Leer más

Antes $80.09 USD Ahora $44.54 USD

This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions.The symposium is dedicated to the promotion of research on theoretical and practical aspects of
... Leer más
MultiMedia Modeling

26th International Conference, MMM 2020, Daejeon, South Korea, January 5–8, 2020, Proceedings, Part I

Edición de Yong Man Ro, Wen-Huang Cheng, Junmo Kim, Wei-Ta Chu, Peng Cui, Jung-Woo Choi, Min-Chun Hu, Wesley De Neve ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 11961 and 11962 constitutes the thoroughly refereed proceedings of the 25th International Conference on MultiMedia Modeling, MMM 2020, held in Daejeon, South Korea, in January 2020.Of the 171 submitted full research papers, 40 papers were selected for oral presentation and 46 for poster presentation; 28 special session papers were selected for oral presentation and 8 for ... Leer más

$96.38 USD

The two-volume set LNCS 11961 and 11962 constitutes the thoroughly refereed proceedings of the 25th International Conference on MultiMedia Modeling, MMM 2020, held in Daejeon, South Korea, in January 2020.Of the 171 submitted full research papers, 40 papers were selected for oral presentation and 46 for poster presentation; 28 special session papers were selected for oral presentation and 8 for
... Leer más
Human-Computer Interaction. Design and User Experience

Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I

Edición de Masaaki Kurosu ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 12181, 12182, and 12183 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 22nd International Conference on Human-Computer Interaction, HCII 2020, which took place in Copenhagen, Denmark, in July 2020.*A total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings from a total of 6326 ... Leer más

$80.18 USD

The three-volume set LNCS 12181, 12182, and 12183 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 22nd International Conference on Human-Computer Interaction, HCII 2020, which took place in Copenhagen, Denmark, in July 2020.*A total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings from a total of 6326
... Leer más
Universal Access in Human-Computer Interaction. Applications and Practice

14th International Conference, UAHCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II

Edición de Margherita Antona, Constantine Stephanidis ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This two-volume set of LNCS 12188 and 12189 constitutes the refereed proceedings of the 14th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic. The total of 1439 papers ... Leer más

Antes $89.09 USD Ahora $44.54 USD

This two-volume set of LNCS 12188 and 12189 constitutes the refereed proceedings of the 14th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic. The total of 1439 papers
... Leer más
HCI in Business, Government and Organizations

7th International Conference, HCIBGO 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings

Edición de Fiona Fui-Hoon Nah, Keng Siau ...

Series series Springer Nature Proceedings Computer Science
This volume LNCS 12204 constitutes the refereed proceedings of the 7th International Conference on Business, Government, and Organizations, HCIBGO 2020, which was held in July 2020 as part of HCI International 2020 in Copenhagen, Denmark.*1439 papers and 238 posters were accepted for publication after a careful reviewing process. The 42 papers presented in this volume are organized in topical ... Leer más

$72.89 USD

This volume LNCS 12204 constitutes the refereed proceedings of the 7th International Conference on Business, Government, and Organizations, HCIBGO 2020, which was held in July 2020 as part of HCI International 2020 in Copenhagen, Denmark.*1439 papers and 238 posters were accepted for publication after a careful reviewing process. The 42 papers presented in this volume are organized in topical
... Leer más
HCI for Cybersecurity, Privacy and Trust

Second International Conference, HCI-CPT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings

Edición de Abbas Moallem ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Second International Conference on HCI for Cybersecurity, Privacy and Trust, HCI-CPT 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020.The total of 1439 papers and 238 posters included in the 37 HCII 2020 proceedings volumes was carefully reviewed and selected from 6326 ... Leer más

Antes $98.09 USD Ahora $44.54 USD

This book constitutes the proceedings of the Second International Conference on HCI for Cybersecurity, Privacy and Trust, HCI-CPT 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020.The total of 1439 papers and 238 posters included in the 37 HCII 2020 proceedings volumes was carefully reviewed and selected from 6326
... Leer más
Graph Transformation

13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings

Edición de Fabio Gadducci, Timo Kehrer ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and ... Leer más

Antes $71.99 USD Ahora $44.54 USD

This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and
... Leer más
Automated Reasoning

10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Edición de Nicolas Peltier, Viorica Sofronie-Stokkermans ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP ... Leer más

Antes $80.99 USD Ahora $64.79 USD

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP
... Leer más
Learning and Collaboration Technologies: Games and Virtual Environments for Learning

8th International Conference, LCT 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II

Edición de Panayiotis Zaphiris, Andri Ioannou ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 12784 and 12785 constitutes the refereed proceedings of the 8th International Conference on Learning and Collaboration Technologies, LCT 2021, held as Part of the 23rd International Conference, HCI International 2021, which took place in July 2021. Due to COVID-19 pandemic the conference was held virtually. The total of 1276 papers and 241 posters included in the 39 HCII ... Leer más

$60.74 USD

This two-volume set LNCS 12784 and 12785 constitutes the refereed proceedings of the 8th International Conference on Learning and Collaboration Technologies, LCT 2021, held as Part of the 23rd International Conference, HCI International 2021, which took place in July 2021. Due to COVID-19 pandemic the conference was held virtually. The total of 1276 papers and 241 posters included in the 39 HCII
... Leer más
HCI in Business, Government and Organizations. Supporting Business

4th International Conference, HCIBGO 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

Edición de Fiona Fui-Hoon Nah, Chuan-Hoo Tan ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This 2-volume set constitutes the refereed proceedings of the 4th International Conference on HCI in Business, Government and Organizations, HCIBGO 2017, held as part of the 19 International Conference on Human-Computer Interaction , HCII 2017, which took place in Vancouver, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication ... Leer más

Antes $76.49 USD Ahora $44.54 USD

This 2-volume set constitutes the refereed proceedings of the 4th International Conference on HCI in Business, Government and Organizations, HCIBGO 2017, held as part of the 19 International Conference on Human-Computer Interaction , HCII 2017, which took place in Vancouver, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication
... Leer más
It's All About Coordination

Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Edición de Frank de Boer, Marcello Bonsangue, Jan Rutten ...

Series series Computer Science (R0)
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency ... Leer más

Antes $62.99 USD Ahora $44.54 USD

This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency
... Leer más
Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation

10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Edición de Jessie Y.C. Chen, Gino Fragomeni ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 10909 and 10910 constitutes the refereed proceedings of the 10th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2018, held as part of HCI International 2018 in Las Vegas, NV, USA.HCII 2018 received a total of 4346 submissions, of which 1171 papers and 160 posters were accepted for publication after a careful reviewing process.The 65 papers presented ... Leer más

Antes $76.49 USD Ahora $44.54 USD

This two-volume set LNCS 10909 and 10910 constitutes the refereed proceedings of the 10th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2018, held as part of HCI International 2018 in Las Vegas, NV, USA.HCII 2018 received a total of 4346 submissions, of which 1171 papers and 160 posters were accepted for publication after a careful reviewing process.The 65 papers presented
... Leer más
Functional and Logic Programming

14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Edición de John P. Gallagher, Martin Sulzmann ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018.The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on ... Leer más

Antes $71.99 USD Ahora $44.54 USD

This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018.The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on
... Leer más
Verified Software. Theories, Tools, and Experiments

10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Edición de Ruzica Piskac, Philipp Rümmer ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, ... Leer más

$44.54 USD

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification,
... Leer más
Trends in Functional Programming

19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

Edición de Michał Pałka, Magnus Myreen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a ... Leer más

Antes $62.99 USD Ahora $48.59 USD

This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a
... Leer más
Blended Learning: Educational Innovation for Personalized Learning

12th International Conference, ICBL 2019, Hradec Kralove, Czech Republic, July 2–4, 2019, Proceedings

Edición de Simon K. S. Cheung, Lap-Kei Lee, Ivana Simonova, Tomas Kozel, Lam-For Kwok ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Blended Learning, ICBL 2019, held in Hradec Kralove, Czech Republic, in July 2019.The 28 papers presented were carefully reviewed and selected from 80 submissions. The papers are organized in topical sections named: personalized and adaptive learning; content development for blended learning; experience in ... Leer más

$60.74 USD

This book constitutes the refereed proceedings of the 12th International Conference on Blended Learning, ICBL 2019, held in Hradec Kralove, Czech Republic, in July 2019.The 28 papers presented were carefully reviewed and selected from 80 submissions. The papers are organized in topical sections named: personalized and adaptive learning; content development for blended learning; experience in
... Leer más
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Healthcare Applications

10th International Conference, DHM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II

Edición de Vincent G. Duffy ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 11581 and 11582 constitutes the thoroughly refereed proceedings of the 10th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2019, which was held as part of the 21st HCI International Conference, HCII 2019, in Orlando, FL, USA, in July 2019.The total of 1275 papers and 209 posters included in the 35 ... Leer más

Antes $80.09 USD Ahora $44.54 USD

This two-volume set LNCS 11581 and 11582 constitutes the thoroughly refereed proceedings of the 10th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2019, which was held as part of the 21st HCI International Conference, HCII 2019, in Orlando, FL, USA, in July 2019.The total of 1275 papers and 209 posters included in the 35
... Leer más
Computational Science – ICCS 2019

19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V

Edición de João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot ...

Series Libro 5 - Springer Nature Proceedings Computer Science
The five-volume set LNCS 11536, 11537, 11538, 11539, and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.The total of 65 full papers and 168 workshop papers presented in this book set were carefully reviewed and selected from 573 submissions (228 submissions to the main track and 345 submissions to the ... Leer más

$88.28 USD

The five-volume set LNCS 11536, 11537, 11538, 11539, and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.The total of 65 full papers and 168 workshop papers presented in this book set were carefully reviewed and selected from 573 submissions (228 submissions to the main track and 345 submissions to the
... Leer más
Physiological Computing Systems

International Conferences, PhyCS 2016, Lisbon, Portugal, July 27–28, 2016, PhyCS 2017, Madrid, Spain, July 27–28, 2017, PhyCS 2018, Seville, Spain, September 19–21, 2018, Revised and Extended Selected Papers

Edición de Andreas Holzinger, Alan Pope, Hugo Plácido da Silva ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Third International Conference on Physiological Computing Systems, PhyCS 2016, held in Lisbon, Portugal, in July 2016.The 12 papers presented in this volume were carefully reviewed and selected from numerous submissions. They contribute to the understanding of relevant trends of current research on physiological computing systems, including brain ... Leer más

Antes $62.99 USD Ahora $44.54 USD

This book constitutes the proceedings of the Third International Conference on Physiological Computing Systems, PhyCS 2016, held in Lisbon, Portugal, in July 2016.The 12 papers presented in this volume were carefully reviewed and selected from numerous submissions. They contribute to the understanding of relevant trends of current research on physiological computing systems, including brain
... Leer más
Software Architecture

13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

Edición de Tomas Bures, Laurence Duchien, Paola Inverardi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th European Conference on Software Architecture, ECSA 2019, held in Paris, France, in September 2019.In the Research Track, 11 full papers presented together with 4 short papers were carefully reviewed and selected from 63 submissions. They are organized in topical sections as follows: Services and Micro-services, Software Architecture in ... Leer más

$52.64 USD

This book constitutes the refereed proceedings of the 13th European Conference on Software Architecture, ECSA 2019, held in Paris, France, in September 2019.In the Research Track, 11 full papers presented together with 4 short papers were carefully reviewed and selected from 63 submissions. They are organized in topical sections as follows: Services and Micro-services, Software Architecture in
... Leer más
Fundamentals of Software Engineering

7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

Edición de Mehdi Dastani, Marjan Sirjani ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017.The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to ... Leer más

Antes $62.99 USD Ahora $44.54 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017.The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to
... Leer más
Formal Aspects of Component Software

14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Edición de José Proença, Markus Lumpe ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software ... Leer más

Antes $62.99 USD Ahora $44.54 USD

This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software
... 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 Programación

Mostrar: