Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

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
artículosartículo

Recomendado para ti

Loading...


1 - 12 de 12 resultados para “stefano tonetta”
Skip side bar filters

  • Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

    ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

    Edición de Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023.The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions.- 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023)- 18th International Workshop on Dependable Smart Embedded ... Leer más

    $80.99 USD

  • Computer Safety, Reliability, and Security

    42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings

    Edición de Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023.The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and ... Leer más

    $62.99 USD

  • Verified Software. Theories, Tools and Experiments.

    14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers

    Edición de Akash Lal, Stefano Tonetta ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022.The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool ... Leer más

    $49.49 USD

  • Computer Safety, Reliability, and Security

    36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

    Edición de Erwin Schoitsch, Stefano Tonetta, Friedemann Bitsch ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and ... Leer más

    $49.99 USD

  • Computer Safety, Reliability, and Security

    SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

    Edición de Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of five workshopsco-located with SAFECOMP 2017, the 36th International Conference onComputer Safety, Reliability, and Security, held in Trento, Italy, in September 2017.The 38 revised full papers presented together with 5 introductory papers to each workshop,and three invited papers, were carefully reviewed and selected from 49 submissions.This year's ... Leer más

    $49.99 USD

La gente que leyó estos también disfrutó

  • Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops

    DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings

    Edición de Mario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann Bitsch ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022.The 23 full papers included in this volume were carefully reviewed and selected from 27 submissions.· 17th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021)· 3rd ... Leer más

    $89.09 USD

  • Computer Safety, Reliability, and Security

    35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

    Edición de Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, ... Leer más

    $49.99 USD

  • Computer Safety, Reliability, and Security

    34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

    Edición de Floor Koornneef, Coen van Gulijk ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive ... Leer más

    $49.99 USD

  • Intelligent Distributed Computing XI

    Edición de Costin Bădică, Zoran Jovanović, Mirjana Ivanović, Miloš Savić, Jürgen Dix, Michele Malgeri ...
    Series series Engineering (R0)
    This book presents a collection of contributions addressing recent advances and research in synergistic combinations of topics in the joint fields of intelligent computing and distributed computing. It focuses on the following specific topics: distributed data mining and machine learning, reasoning and decision-making in distributed environments, distributed evolutionary algorithms, trust and ... Leer más

    $89.99 USD

  • Intelligent Computing

    Proceedings of the 2022 Computing Conference, Volume 3

    Edición de Kohei Arai ...
    Series series Springer Nature Proceedings excluding Computer Science
    The book, “Intelligent Computing - Proceedings of the 2022 Computing Conference”, is a comprehensive collection of chapters focusing on the core areas of computing and their further applications in the real world.Each chapter is a paper presented at the Computing Conference 2022 held on July 14-15, 2022. Computing 2022 attracted a total of 498 submissions which underwent a double-blind peer-review ... Leer más

    $215.09 USD

  • Intelligent Software Methodologies, Tools and Techniques

    14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings

    Edición de Hamido Fujita, Guido Guizzi ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the best papers selection from the proceedings of the 14th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2015, held in Naples, Italy, in September 2015.The 47 full papers presented together with one short paper were carefully reviewed and selected from 118 submissions. The papers are organized in topical sections on embedded and ... Leer más

    $49.99 USD

  • Proceedings of the Future Technologies Conference (FTC) 2021, Volume 1

    Edición de Kohei Arai ...
    Series series Springer Nature Proceedings excluding Computer Science
    This book covers a wide range of important topics including but not limited to Technology Trends, Computing, Artificial Intelligence, Machine Vision, Communication, Security, e-Learning, and Ambient Intelligence and their applications to the real world. The sixth Future Technologies Conference 2021 was organized virtually and received a total of 531 submissions from academic pioneering researchers ... Leer más

    $260.09 USD