Rakuten Kobo

Skip side bar filters

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

6th International Conference, RSSRail 2025, Pisa, Italy, November 26–28, 2025, Proceedings

Edición de Maurice H. ter Beek, Simon Collart-Dutilleul, Thierry Lecomte ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025.The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4 extended abstracts of journal-first papers presented here were carefully reviewed and selected from 35 submissions.They were focused on the following topical sections:Invited Presentations; AI & ... Leer más

$58.99 USD

This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025.The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4 extended abstracts of journal-first papers presented here were carefully reviewed and selected from 35 submissions.They were focused on the following topical sections:Invited Presentations; AI &
... Leer más
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings

Edición de Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022.The 16 full papers presented in this book were carefully reviewed and selected from numerous submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling ... Leer más

$62.99 USD

This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022.The 16 full papers presented in this book were carefully reviewed and selected from numerous submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling
... Leer más
Hépato-gastro-entérologie - Chirurgie digestive

Réussir les ECNi

de CDU-HGE, Armand Abergel, Thomas Baumert, Philippe Seksik, Christine Silvain, Laurent Siproudhis, Iradj Sobhani, Philippe Sogni, Harry Sokol, Jean-Christophe Souquet, Julien Taieb, Dominique Thabut, Thierry Thevenot, Laurent Beaugerie, Gérard Thiéfin, David Tougeron, Albert Tran, Xavier Treton, Dominique Valla, Véronique Vitton, Jean-Pierre Zarski, Frank Zerbib, Fabien Zoulim, Stéphane Schneider, Laurent Bedenne, Catherine Buffet, Yves Panis, Stéphane Bretagne, Anne Lavergne Slove, Christophe Hézode, Vincent Leroy, Patrice Valleur, Philippe Soyer, Barbara Bournet, Thomas Walter, Robert BENAMOUZIG, Thierry Lecomte, Jean-Paul Bernard, Philippe Grandval, Jérôme Dumortier, Jean-Frédéric Blanc, Guillaume Bouguen, Franck Carbonnel, Aziz Zaanan, Pierre Blanc, Bruno Bonaz, Danielle Botta, Laure Beyer-Berjot, Mourad Boudiaf, Olivier Bouche, Anthony Buisson, Matthieu Allez, Yoram Bouhnik, Rodolphe Anty, Jérôme Boursier, Driffa Moussata, Pierre Brissot, Laurence Serfati, Moana Gelu-Simeon, Jean-Pierre Bronowicki, Thomas Decäens, Henri Duboc, Audrey Coilly, Jérémie Jacques, Massimo Levrero, Pierre-Emmanuel Rautou, Stanislas Bruley des Varannes, Laurent Poincloux, Mathurin Fumery, Zaher Lakkis, Sylvain Kirzin, Anne Berger, Marine Camus, Louis Buscail, Maximilien Barret, Jean-Michel Gonzalez, Côme Lepage, Anthony Lopez, Jean-Charles Nault, Guillaume Cadiot, Paul Cales, Jérémie Lefèvre, Jean-Marc Phelip, Yvon Calmus, François-Xavier Caroli-Bosc, Aurélien Amiot, Christophe Cellier, Stanislas Chaussade, Olivier Chazouilleres, Benoît Coffin, Romain Coriat, Emmanuel Coron, Laetitia Dahan, Thông Dao, Michel Dapoigny, Victor Deledinghen, Thomas Aparicio, Pierre Desreumaux, Yves Deugnier, Sébastien Dharancy, Vincent Di Martino, Xavier Dray, Bernard Duclos, Jean-Charles Duclos-Vallée, François Durand, Christophe Duvoux, Cyrille Feray, Tarik Asselah, Bernard Flourié, Nathalie Ganne Carrie, René Gerolami, Jean-Charles Grimaud, Dominique Guyader, Pascal Hammel, David Laharie, Dominique Lamarque, Philippe Lévy, Astrid Lievre, Eric Assenat, Véronique Loustaud-Ratti, Alexandre Louvet, Georgia Malamut, Ariane Mallat, Vincent Mallet, Patrick Marcellin, Philippe Marteau, Philippe Mathurin, Tamara Matysiakbudnik, Philippe Merle, Jean-Baptiste Bachet, Pierre Michel, Romain Moirand, Pierre Nahon, Stéphane Nancey, Eric Nguyen-Khac, Jean-Baptiste Nousbaum, Georges-Philippe Pageaux, Benjamin Pariente, Gilles Pelletier, Gabriel Perlemuter, Edouard Bardou-Jaquet, Laurent Peyrin-Biroulet, Thierry Piche, Stanislas Pol, Thierry Ponchon, Philippe Pouderoux, Frédéric Prat, Jean-Marie Péron, Vlad Ratziu, Vinciane Rebours, Jean-Marie Reimund, Marc Barthet, Michel Robaszkiewicz, Olivier Rosmorduc, Dominique Roulot, Philippe Ruszniewski, Jean-Marc Sabate, Didier Samuel, Jean-Christophe Saurin, Denis Sautereau, Guillaume Savoye, Jean-François Seitz ...

En parfaite cohérence avec le programme de DFASM et les ECNi, cet ouvrage rassemble les connaissances fondamentales en Hépato-gastroentérologie - Chirurgie digestive. Il aborde tous les items relevant de cette spécialité avec des objectifs pédagogiques clairement définis et comporte deux parties : • une partie Connaissances composée de 35 chapitres consacrés chacun à un item. Chaque chapitre ... Leer más

$39.99 USD

En parfaite cohérence avec le programme de DFASM et les ECNi, cet ouvrage rassemble les connaissances fondamentales en Hépato-gastroentérologie - Chirurgie digestive. Il aborde tous les items relevant de cette spécialité avec des objectifs pédagogiques clairement définis et comporte deux parties : • une partie Connaissances composée de 35 chapitres consacrés chacun à un item. Chaque chapitre
... Leer más
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings

Edición de Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided ... Leer más

$62.99 USD

This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided
... Leer más
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Edición de Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and ... Leer más

$58.99 USD

This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and
... Leer más
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Edición de Thierry Lecomte, Ralf Pinger, Alexander Romanovsky ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016.The 15 revised full papers presented were carefully reviewed andselected from 36 initial submissions. The papers cover a wide range oftopics including failure analysis, interlocking verification, formalsystem ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016.The 15 revised full papers presented were carefully reviewed andselected from 36 initial submissions. The papers cover a wide range oftopics including failure analysis, interlocking verification, formalsystem
... Leer más
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Edición de Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017.The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and ... Leer más

$49.99 USD

This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017.The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and
... Leer más
Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Edición de Thierry Lecomte, Leila Ribeiro ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking. ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
... Leer más

Software Technologies

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

Edición de Jorge Cardoso, Pascal Lorenz, Leszek A. Maciaszek, Marten van Sinderen ...

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

$49.99 USD

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;
... Leer más
Evaluation of Novel Approaches to Software Engineering

11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers

Edición de Leszek A. Maciaszek, Joaquim Filipe ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, held in Rome, Italy, in April 2016.The 11 full papers presented were carefully reviewed and selected from 79 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT ... Leer más

$49.99 USD

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, held in Rome, Italy, in April 2016.The 11 full papers presented were carefully reviewed and selected from 79 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT
... Leer más
ICT Innovations 2017

Data-Driven Innovation. 9th International Conference, ICT Innovations 2017, Skopje, Macedonia, September 18-23, 2017, Proceedings

Edición de Dimitar Trajanov, Verica Bakeva ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Data-Driven Innovation, ICT Innovations 2017, held in Skopje, Macedonia, in September 2017.The 26 full papers presented were carefully reviewed and selected from 90 submissions. They cover the following topics: big data analytics, cloud computing, data mining, digital signal processing, e-health, embedded systems ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 9th International Conference on Data-Driven Innovation, ICT Innovations 2017, held in Skopje, Macedonia, in September 2017.The 26 full papers presented were carefully reviewed and selected from 90 submissions. They cover the following topics: big data analytics, cloud computing, data mining, digital signal processing, e-health, embedded systems
... Leer más
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

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

Kobo Rakuten

eReaders

Aplicaciones

Accesorios

¿Qué es Kobo Super Points?

Prémiate

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

Serie m´´as popular en Estados Unidos

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

Springer Nature Proceedings Computer Science

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Hépato-gastro-entérologie - Chirurgie digestive

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Formal Methods: Foundations and Applications

La gente que leyó estos también disfrutó

Software Technologies

Evaluation of Novel Approaches to Software Engineering

ICT Innovations 2017

Computer Safety, Reliability, and Security

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

Serie m´´as popular en Estados Unidos

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

Springer Nature Proceedings Computer Science

Mostrar:

La gente que leyó estos también disfrutó