Rakuten Kobo

Carrito de compra

Artículos no disponibles para compra.

Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.

artículosartículo

- Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Recibe 1 crédito cada mes para el audiolibro de tu elección
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  Audiolibro
  de ,
  
  Disponible el:
  
  . Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.
  
  Preventa
  1 audiolibro mensual
  
  + Prueba gratis de 30 días
  
  Oferta especial
  
  Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.
  
  *Sin compromiso, cancela en cualquier momento
  
  GRATIS

artículosartículo

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Recibe 1 crédito cada mes para el audiolibro de tu elección

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
Audiolibro
de ,

Disponible el:
. Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.

Preventa
1 audiolibro mensual

+ Prueba gratis de 30 días

Oferta especial

Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.

*Sin compromiso, cancela en cualquier momento

GRATIS

Recomendado para ti

Praxishandbuch Geschäftsprozessoptimierung mit ALE/EDI in SAP S/4 HANA

de Eugen Pfanzler ...

Um die Logistik entlang der Lieferketten zu automatisieren und zu optimieren, ist Electronic Data Interchange (EDI) seit vielen Jahren ein wichtiges Hilfsmittel und gewinnt laufend weiter an Bedeutung. Eine Herausforderung ist bei solchen Prozessen, dass die verschiedenen Verarbeitungsschritte oft auf unterschiedlichen ERP-Systemen laufen. Hier kommt die SAP-Technologie Application Link Enabling ... Leer más

$629 MXN

Um die Logistik entlang der Lieferketten zu automatisieren und zu optimieren, ist Electronic Data Interchange (EDI) seit vielen Jahren ein wichtiges Hilfsmittel und gewinnt laufend weiter an Bedeutung. Eine Herausforderung ist bei solchen Prozessen, dass die verschiedenen Verarbeitungsschritte oft auf unterschiedlichen ERP-Systemen laufen. Hier kommt die SAP-Technologie Application Link Enabling
... Leer más
Validation of Evolving Software

Edición de Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina ...

Series series Computer Science (R0)
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book. ... Leer más

$909 MXN

This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
... Leer más
Verified Software. Theories, Tools, and Experiments

8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

Edición de Sandrine Blazy, Marsha Chechik ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions.The goal of the VSTTE conference is to advance ... Leer más

$909 MXN

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions.The goal of the VSTTE conference is to advance
... Leer más
Frontiers in Software Engineering Education

First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers

Edición de Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer, Alexandr Naumchev, Andrey Sadovykh ...

Series series Springer Nature Proceedings Computer Science
This book constitutes invited papers from the First International Workshop on Frontiers in Software Engineering Education, FISEE 2019, which took place during November 11-13, 2019, at the Château de Villebrumier, France.The 25 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover a wide range of problems ... Leer más

$909 MXN

This book constitutes invited papers from the First International Workshop on Frontiers in Software Engineering Education, FISEE 2019, which took place during November 11-13, 2019, at the Château de Villebrumier, France.The 25 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover a wide range of problems
... Leer más
Software Engineering and Formal Methods

18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

Edición de Frank de Boer, Antonio Cerone ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including ... Leer más

$1,000 MXN

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including
... Leer más
Logic, Language, and Security

Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Edición de Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada ...

Series series Computer Science (R0)
This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday.The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning for networked systems; and foundations of information security emphasizing cryptographic protocols. ... Leer más

$1,091 MXN

This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday.The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning for networked systems; and foundations of information security emphasizing cryptographic protocols.
... Leer más
PRIMA 2020: Principles and Practice of Multi-Agent Systems

23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings

Edición de Takahiro Uchiya, Quan Bai, Iván Marsá Maestre ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020, held in Nagoya, Japan, in November 2020. The 19 full papers presented and 13 short papers were carefully reviewed and selected from 50 submissions.Due to COVID-19, the conference was held online.The conference covers a wide range of ranging from ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020, held in Nagoya, Japan, in November 2020. The 19 full papers presented and 13 short papers were carefully reviewed and selected from 50 submissions.Due to COVID-19, the conference was held online.The conference covers a wide range of ranging from
... Leer más
Genetic Programming

25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings

Edición de Eric Medvet, Gisele Pappa, Bing Xue ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th European Conference on Genetic Programming, EuroGP 2022, held as part of Evo*2021, as Virtual Event, in April 2022, co-located with the Evo*2022 events, EvoCOP, EvoMUSART, and EvoApplications. The 12 revised full papers and 7 short papers presented in this book were carefully reviewed and selected from 35 submissions. The wide range of ... Leer más

$1,182 MXN

This book constitutes the refereed proceedings of the 25th European Conference on Genetic Programming, EuroGP 2022, held as part of Evo*2021, as Virtual Event, in April 2022, co-located with the Evo*2022 events, EvoCOP, EvoMUSART, and EvoApplications. The 12 revised full papers and 7 short papers presented in this book were carefully reviewed and selected from 35 submissions. The wide range of
... Leer más
Cryptology and Network Security

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

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

$1,636 MXN

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
... Leer más
Services – SERVICES 2021

17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings

Edición de Mohamed Adel Serhani, Liang-Jie Zhang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th World Congress on Services, SERVICES 2021, held as part of the Services Conference Federation, SCF 2021, in December 2021. The conference was held virtually due to the COVID-19 pandemic. The 7 full papers and 2 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover topics in the field of ... Leer más

$1,000 MXN

This book constitutes the refereed proceedings of the 17th World Congress on Services, SERVICES 2021, held as part of the Services Conference Federation, SCF 2021, in December 2021. The conference was held virtually due to the COVID-19 pandemic. The 7 full papers and 2 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover topics in the field of
... 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

$1,454 MXN

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
Design, User Experience, and Usability

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

Edición de Aaron Marcus, Elizabeth Rosenzweig, Marcelo M. Soares ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This 5-volume HCII-DUXU 2023 book set constitutes the refereed proceedings of the 12th International Conference on Design, User Experience, and Usability, DUXU 2023, held as part of the 24th International Conference, HCI International 2023, which took place in Copenhagen, Denmark, in July 2023.A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings ... Leer más

$1,818 MXN

This 5-volume HCII-DUXU 2023 book set constitutes the refereed proceedings of the 12th International Conference on Design, User Experience, and Usability, DUXU 2023, held as part of the 24th International Conference, HCI International 2023, which took place in Copenhagen, Denmark, in July 2023.A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings
... Leer más
Computer Aided Verification

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

Edición de Constantin Enea, Akash Lal ...

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

Gratis

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
... Leer más
Machine Learning and Knowledge Discovery in Databases: Research Track

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

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

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

$1,818 MXN

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

20th IFIP WG 8.5 International Conference, EGOV 2021, Granada, Spain, September 7–9, 2021, Proceedings

Edición de Hans Jochen Scholl, J. Ramon Gil-Garcia, Marijn Janssen, Evangelos Kalampokis, Ida Lindgren, Manuel Pedro Rodríguez Bolívar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2021, held in Granada, Spain, in September 2021, in conjunction with the IFIP WG 8.5 IFIP International Conference on Electronic Participation (ePart 2021) and the International Conference for E-Democracy and Open Government Conference (CeDEM 2021).The 23 full papers presented were ... Leer más

$1,363 MXN

This book constitutes the proceedings of the 20th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2021, held in Granada, Spain, in September 2021, in conjunction with the IFIP WG 8.5 IFIP International Conference on Electronic Participation (ePart 2021) and the International Conference for E-Democracy and Open Government Conference (CeDEM 2021).The 23 full papers presented were
... Leer más
Runtime Verification

21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

Edición de Lu Feng, Dana Fisman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper.The RV conference is concerned with all aspects of monitoring and ... Leer más

$1,363 MXN

This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper.The RV conference is concerned with all aspects of monitoring and
... Leer más
Secure IT Systems

26th Nordic Conference, NordSec 2021, Virtual Event, November 29–30, 2021, Proceedings

Edición de Nicola Tuveri, Antonis Michalas, Billy Bob Brumley ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 26th Nordic Conference on Secure IT Systems, NordSec 2021, which was held online during November 2021.The 11 full papers presented in this volume were carefully reviewed and selected from 29 submissions. They were organized in topical sections named: Applied Cryptography, Security in Internet of Things, Machine Learning and Security, Network ... Leer más

$1,182 MXN

This book constitutes the refereed proceedings of the 26th Nordic Conference on Secure IT Systems, NordSec 2021, which was held online during November 2021.The 11 full papers presented in this volume were carefully reviewed and selected from 29 submissions. They were organized in topical sections named: Applied Cryptography, Security in Internet of Things, Machine Learning and Security, Network
... Leer más
Intelligent Systems

10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I

Edición de André Britto, Karina Valdivia Delgado ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 13073 and 13074 constitutes the proceedings of the 10th Brazilian Conference on Intelligent Systems, BRACIS 2021, held in São Paolo, Brazil, in November-December 2021.The total of 77 papers presented in these two volumes was carefully reviewed and selected from 192 submissions.The contributions are organized in the following topical sections: Part I: Agent and Multi-Agent ... Leer más

$1,636 MXN

The two-volume set LNAI 13073 and 13074 constitutes the proceedings of the 10th Brazilian Conference on Intelligent Systems, BRACIS 2021, held in São Paolo, Brazil, in November-December 2021.The total of 77 papers presented in these two volumes was carefully reviewed and selected from 192 submissions.The contributions are organized in the following topical sections: Part I: Agent and Multi-Agent
... Leer más
Testing Software and Systems

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

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

$1,636 MXN

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.
... Leer más
Linking Theory and Practice of Digital Libraries

26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, Padua, Italy, September 20–23, 2022, Proceedings

Edición de Gianmaria Silvello, Oscar Corcho, Paolo Manghi, Giorgio Maria Di Nunzio, Koraljka Golub, Nicola Ferro, Antonella Poggi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, which took place in Padua, Italy, in September 2022.The 18 full papers, 27 short papers and 15 accelerating innovation papers included in these proceedings were carefully reviewed and selected from 107 submissions. They focus on digital libraries and associated ... Leer más

$1,454 MXN

This book constitutes the proceedings of the 26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, which took place in Padua, Italy, in September 2022.The 18 full papers, 27 short papers and 15 accelerating innovation papers included in these proceedings were carefully reviewed and selected from 107 submissions. They focus on digital libraries and associated
... Leer más
Networked Systems

10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings

Edición de Mohammed-Amine Koulali, Mira Mezini ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design ... Leer más

$909 MXN

This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design
... Leer más
Formal Methods for Industrial Critical Systems

27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Edición de Jan Friso Groote, Marieke Huisman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and ... Leer más

$1,273 MXN

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and
... Leer más
Leveraging Applications of Formal Methods, Verification and Validation. Practice

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

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

Series Libro 4 - Springer Nature Proceedings Computer Science
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program ... Leer más

$1,182 MXN

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program
... Leer más
Software Verification and Formal Methods for ML-Enabled Autonomous Systems

5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Edición de Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the ... Leer más

$1,182 MXN

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the
... Leer más

Kobo Rakuten

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

Praxishandbuch Geschäftsprozessoptimierung mit ALE/EDI in SAP S/4 HANA

Validation of Evolving Software

Verified Software. Theories, Tools, and Experiments

Frontiers in Software Engineering Education

Software Engineering and Formal Methods

Logic, Language, and Security

PRIMA 2020: Principles and Practice of Multi-Agent Systems

Genetic Programming

Cryptology and Network Security

Services – SERVICES 2021

HCI in Mobility, Transport, and Automotive Systems

Design, User Experience, and Usability

Computer Aided Verification

Machine Learning and Knowledge Discovery in Databases: Research Track

Electronic Government

Runtime Verification

Secure IT Systems

Intelligent Systems

Testing Software and Systems

Linking Theory and Practice of Digital Libraries

Networked Systems

Formal Methods for Industrial Critical Systems

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Software Verification and Formal Methods for ML-Enabled Autonomous Systems