Rakuten Kobo

Panier

Article(s) non disponible(s) à la vente

Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.

articlesarticle

- Accès illimité aux eBooks
  
  Accès illimité aux livres audio
  
  Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
  
  Obtenez 1 crédit chaque mois pour le livre audio de votre choix
  
  Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
  
  Accès illimité aux eBooks
  
  Accès illimité aux livres audio
  
  Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
  Livre audio
  par ,
  
  Disponible:
  
  . Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions.
  
  Précommander
  1 livre audio par mois
  
  + Essai GRATUIT de 30 jours
  
  Offre spéciale
  
  Obtenez 1 crédit chaque mois pour un livre audio de votre choix
  
  * Aucun engagement. Résiliez votre abonnement à tout moment.
  
  GRATUIT

articlesarticle

Accès illimité aux eBooks

Accès illimité aux livres audio

Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions

Obtenez 1 crédit chaque mois pour le livre audio de votre choix

Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions

Accès illimité aux eBooks

Accès illimité aux livres audio

Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
Livre audio
par ,

Disponible:
. Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions.

Précommander
1 livre audio par mois

+ Essai GRATUIT de 30 jours

Offre spéciale

Obtenez 1 crédit chaque mois pour un livre audio de votre choix

* Aucun engagement. Résiliez votre abonnement à tout moment.

GRATUIT

Recommandé pour vous

Skip side bar filters

Computer Safety, Reliability, and Security

45th International Conference, SAFECOMP 2026, Valencia, Spain, September 23–25, 2026, Proceedings

Modifié par Elena Troubitsyna, David de Andrés, Friedemann Bitsch ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 45th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2026, held in Valencia, Spain, during September 23–25, 2026.The 23 full papers included in this volume were carefully reviewed and selected from 125 submissions. The papers cover the following topical sections: Fault tolerance and diagnosis; Safety Protection; ... En savoir plus

$72.99 CAD

This book constitutes the refereed proceedings of the 45th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2026, held in Valencia, Spain, during September 23–25, 2026.The 23 full papers included in this volume were carefully reviewed and selected from 125 submissions. The papers cover the following topical sections: Fault tolerance and diagnosis; Safety Protection;
... En savoir plus
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings

Modifié par Martin Törngren, Barbara Gallina, Erwin Schoitsch, Elena Troubitsyna, Friedemann Bitsch ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Workshops held in conjunction with the 44th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2025, which took place in Stockholm, Sweden, during September 2025.The 43 papers included in this book were carefully reviewed and selected from a total of 61 submissions to the following six workshops:**·**CoC3CPS 2025, Co-Design ... En savoir plus

$93.49 CAD

This book constitutes the proceedings of the Workshops held in conjunction with the 44th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2025, which took place in Stockholm, Sweden, during September 2025.The 43 papers included in this book were carefully reviewed and selected from a total of 61 submissions to the following six workshops:**·**CoC3CPS 2025, Co-Design
... En savoir plus
Integrated Formal Methods

16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Modifié par Brijesh Dongol, Elena Troubitsyna ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and
... En savoir plus
Computer Safety, Reliability, and Security

SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

Modifié par Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland.The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are ... En savoir plus

$83.99 CAD

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland.The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are
... En savoir plus
Computer Safety, Reliability, and Security

38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

Modifié par Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and ... En savoir plus

$72.99 CAD

This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and
... En savoir plus
Software Engineering for Resilient Systems

8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Modifié par Ivica Crnkovic, Elena Troubitsyna ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems; ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems;
... En savoir plus

Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Modifié par Michael Butler, Sylvain Conchon, Fatiha Zaïdi ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of
... En savoir plus
Verification, Model Checking, and Abstract Interpretation

18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

Modifié par Ahmed Bouajjani, David Monniaux ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017.The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017.The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract
... En savoir plus
Formal Aspects of Component Software

12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Modifié par Christiano Braga, Peter Csaba Ölveczky ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults, ... En savoir plus

$64.09 CAD

This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults,
... En savoir plus
Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Modifié par Kazuhiro Ogata, Mark Lawford, Shaoying Liu ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veriﬁcation and ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veriﬁcation and
... En savoir plus
Modelling Foundations and Applications

12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

Modifié par Andrzej Wąsowski, Henrik Lönn ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 16 papers presented in this volume were carefully reviewed and selected from 47 submissions. The committee decided to accept 16 papers, 12 papers for the Foundations Track and 4 papers for the Applications Track ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 16 papers presented in this volume were carefully reviewed and selected from 47 submissions. The committee decided to accept 16 papers, 12 papers for the Foundations Track and 4 papers for the Applications Track
... En savoir plus
Software Technologies

10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers

Modifié par Jorge Cardoso, Pascal Lorenz, Leszek A. Maciaszek, Marten van Sinderen ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015.The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management; ... En savoir plus

$64.09 CAD

This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015.The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management;
... En savoir plus

Kobo Rakuten

Liseuses

Applis

Accessoires

Qu'est ce que les Kobo Super Points ?

Faites-vous plaisir

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

Meilleures séries dans ce pays : Canada

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

Integrated Formal Methods

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

Software Engineering for Resilient Systems

Les lecteurs de ces romans ont aussi aimé

Formal Methods and Software Engineering

Verification, Model Checking, and Abstract Interpretation

Formal Aspects of Component Software

Formal Methods and Software Engineering

Modelling Foundations and Applications

Software Technologies

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

Meilleures séries dans ce pays : Canada

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Afficher :

Les lecteurs de ces romans ont aussi aimé