Alexander Romanovsky : rechercher sur Z-Library

Libre accès à la connaissance et à la culture.

Don't use scam websites

Livres (49)
Les plus populaires
Liste
- Liste
- Tableau

1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Springer International Publishing

Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky

Année:

2019

Langue:

english

Fichier:

PDF, 19.89 MB

0 / 0

english, 2019

2

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Springer International Publishing

Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky (eds.)

Année:

2017

Langue:

english

Fichier:

PDF, 13.72 MB

0 / 0

english, 2017

3

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 4.94 MB

0 / 0

english, 2006

4

Trustworthy Cyber-Physical Systems Engineering

Trustworthy Cyber-Physical Systems Engineering

Chapman and Hall / CRC

Alexander Romanovsky, Fuyuki Ishikawa (eds, )

Année:

2016

Langue:

english

Fichier:

PDF, 3.90 MB

0 / 0

english, 2016

5

Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications

Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications

Springer-Verlag Berlin Heidelberg

Maíra A. de C. Gatti, Gustavo R. de Carvalho, Rodrigo B. de Paes (auth.), Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 3.65 MB

0 / 0

english, 2007

6

Architecting Dependable Systems II

Architecting Dependable Systems II

Springer-Verlag Berlin Heidelberg

Michel Wermelinger, Georgios Koutsoukos, Hugo Lourenço, Richard Avillez, João Gouveia (auth.), Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)

Année:

2004

Langue:

english

Fichier:

RAR, 21.26 MB

0 / 0

english, 2004

7

Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications

Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications

Springer-Verlag Berlin Heidelberg

Brian Henderson-Sellers (auth.), Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 5.07 MB

0 / 0

english, 2005

8

Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

Springer International Publishing

Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch

Année:

2019

Langue:

english

Fichier:

PDF, 27.06 MB

0 / 0

english, 2019

9

Architecting Dependable Systems

Architecting Dependable Systems

Springer-Verlag Berlin Heidelberg

Paulo Esteves Veríssimo, Nuno Ferreira Neves, Miguel Pupo Correia (auth.), Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)

Année:

2003

Langue:

english

Fichier:

PDF, 19.45 MB

0 / 0

english, 2003

10

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Année:

2009

Langue:

english

Fichier:

PDF, 5.29 MB

0 / 0

english, 2009

11

Software Engineering for Resilient Systems: 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

Software Engineering for Resilient Systems: 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

András Pataricza, Imre Kocsis, Ágnes Salánki, László Gönczy (auth.), Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 6.86 MB

0 / 0

english, 2013

12

Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications

Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications

Springer-Verlag Berlin Heidelberg

Maíra A. de C. Gatti, Gustavo R. de Carvalho, Rodrigo B. de Paes (auth.), Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 3.10 MB

0 / 0

english, 2007

13

Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jeffrey O’Leary (auth.), Alexander Romanovsky, Tullio Vardanega (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 5.27 MB

0 / 0

english, 2011

14

Architecting Dependable Systems II

Architecting Dependable Systems II

Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky

Année:

2004

Langue:

english

Fichier:

PDF, 12.35 MB

0 / 0

english, 2004

15

COTS-Based Software Systems: Second International Conference, ICCBSS 2003 Ottawa, Canada, February 10–12, 2003 Proceedings

COTS-Based Software Systems: Second International Conference, ICCBSS 2003 Ottawa, Canada, February 10–12, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Tom Anderson, Mei Feng, Steve Riddle, Alexander Romanovsky (auth.), Hakan Erdogmus, Tao Weng (eds.)

Année:

2003

Langue:

english

Fichier:

PDF, 2.43 MB

0 / 0

english, 2003

16

Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers

Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Christo Angelov, Krzysztof Sierszecki, Nicolae Marian (auth.), Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 2.11 MB

0 / 0

english, 2005

17

Architecting Dependable Systems

Architecting Dependable Systems

Springer-Verlag Berlin Heidelberg

Paulo Esteves Veríssimo, Nuno Ferreira Neves, Miguel Pupo Correia (auth.), Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)

Année:

2003

Langue:

english

Fichier:

DJVU, 3.42 MB

0 / 0

english, 2003

18

Architecting Dependable Systems II

Architecting Dependable Systems II

Springer-Verlag Berlin Heidelberg

Michel Wermelinger, Georgios Koutsoukos, Hugo Lourenço, Richard Avillez, João Gouveia (auth.), Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 5.47 MB

0 / 0

english, 2004

19

Object-Oriented Technology. ECOOP 2003 Workshop Reader: ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003. Final Reports

Object-Oriented Technology. ECOOP 2003 Workshop Reader: ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003. Final Reports

Springer-Verlag Berlin Heidelberg

Alexander Romanovsky, Christophe Dony (auth.), Frank Buschmann, Alejandro P. Buchmann, Mariano A. Cilia (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 1.60 MB

0 / 0

english, 2004

20

Object-Oriented Technology. ECOOP 2003 Workshop Reader: ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003. Final Reports

Object-Oriented Technology. ECOOP 2003 Workshop Reader: ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003. Final Reports

Springer-Verlag Berlin Heidelberg

Alexander Romanovsky, Christophe Dony (auth.), Frank Buschmann, Alejandro P. Buchmann, Mariano A. Cilia (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 2.57 MB

0 / 0

english, 2004

21

Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers

Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Christo Angelov, Krzysztof Sierszecki, Nicolae Marian (auth.), Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 1.93 MB

0 / 0

english, 2005

22

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Année:

2009

Langue:

english

Fichier:

PDF, 7.62 MB

0 / 0

english, 2009

23

Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jeffrey O’Leary (auth.), Alexander Romanovsky, Tullio Vardanega (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 3.70 MB

0 / 0

english, 2011

24

Object-Oriented Technology. ECOOP 2003 Workshop Reader: ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003. Final Reports

Object-Oriented Technology. ECOOP 2003 Workshop Reader: ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003. Final Reports

Springer-Verlag Berlin Heidelberg

Alexander Romanovsky, Christophe Dony (auth.), Frank Buschmann, Alejandro P. Buchmann, Mariano A. Cilia (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 2.47 MB

0 / 0

english, 2004

25

Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jeffrey O’Leary (auth.), Alexander Romanovsky, Tullio Vardanega (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 4.19 MB

0 / 5.0

english, 2011

26

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Springer International Publishing

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky (eds.)

Année:

2016

Langue:

english

Fichier:

PDF, 10.87 MB

0 / 0

english, 2016

27

Trustworthy cyber-physical systems engineering

Trustworthy cyber-physical systems engineering

Chapman and Hall/CRC

Ishikawa, Fuyuki, Romanovsky, Alexander

Année:

2017

Langue:

english

Fichier:

PDF, 9.60 MB

0 / 0

english, 2017

28

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Année:

2009

Langue:

english

Fichier:

PDF, 7.64 MB

0 / 0

english, 2009

29

Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

Springer International Publishing

Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch

Année:

2019

Langue:

english

Fichier:

PDF, 34.38 MB

0 / 0

english, 2019

30

Advanced Topics in Exception Handling Techniques

Advanced Topics in Exception Handling Techniques

Springer-Verlag Berlin Heidelberg

Peter A. Buhr, Roy Krischer (auth.), Christophe Dony, Jørgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 3.23 MB

0 / 0

english, 2006

31

Advances in Exception Handling Techniques

Advances in Exception Handling Techniques

Springer-Verlag Berlin Heidelberg

J∅rgen Lindskov Knudsen (auth.), Alexander Romanovsky, Christophe Dony, Jørgen Lindskov Knudsen, Anand Tripathi (eds.)

Année:

2001

Langue:

english

Fichier:

PDF, 1.72 MB

0 / 0

english, 2001

32

Industrial Deployment of System Engineering Methods

Industrial Deployment of System Engineering Methods

Springer-Verlag Berlin Heidelberg

Alexander Romanovsky, Martyn Thomas (auth.), Alexander Romanovsky, Martyn Thomas (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 3.39 MB

0 / 0

english, 2013

33

Architecting Dependable Systems III

Architecting Dependable Systems III

Springer-Verlag Berlin Heidelberg

Nikolaos Georgantas, Sonia Ben Mokhtar, Ferda Tartanoglu, Valérie Issarny (auth.), Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 3.83 MB

0 / 0

english, 2005

34

Concurrency in Dependable Computing

Concurrency in Dependable Computing

Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny (auth.), Paul Ezhilchelvan, Alexander Romanovsky (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 17.95 MB

0 / 0

english, 2002

35

Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Romanovsky, Alexander, Troubitsyna, Elena A

Année:

2017

Langue:

english

Fichier:

PDF, 14.31 MB

0 / 0

english, 2017

36

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Année:

2009

Langue:

english

Fichier:

PDF, 5.20 MB

0 / 0

english, 2009

37

Software Engineering for Multi-Agent Systems II: Research Issues and Practical Applications

Software Engineering for Multi-Agent Systems II: Research Issues and Practical Applications

Springer-Verlag Berlin Heidelberg

Paolo Bresciani, Paolo Donzelli (auth.), Carlos Lucena, Alessandro Garcia, Alexander Romanovsky, Jaelson Castro, Paulo S. C. Alencar (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 8.81 MB

0 / 0

english, 2004

38

Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications

Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications

Springer-Verlag Berlin Heidelberg

Anand R. Tripathi, Devdatta Kulkarni, Tanvir Ahmed (auth.), Alessandro Garcia, Ricardo Choren, Carlos Lucena, Paolo Giorgini, Tom Holvoet, Alexander Romanovsky (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 3.31 MB

0 / 0

english, 2006

39

Architecting Dependable Systems IV

Architecting Dependable Systems IV

Springer-Verlag Berlin Heidelberg

Joyce L. Tokar (auth.), Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 6.34 MB

0 / 0

english, 2007

40

Advanced Topics in Exception Handling Techniques

Advanced Topics in Exception Handling Techniques

Springer-Verlag Berlin Heidelberg

Peter A. Buhr, Roy Krischer (auth.), Christophe Dony, Jørgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 2.55 MB

0 / 0

english, 2006

41

Advances in Exception Handling Techniques

Advances in Exception Handling Techniques

Springer-Verlag Berlin Heidelberg

J∅rgen Lindskov Knudsen (auth.), Alexander Romanovsky, Christophe Dony, Jørgen Lindskov Knudsen, Anand Tripathi (eds.)

Année:

2001

Langue:

english

Fichier:

PDF, 3.33 MB

0 / 0

english, 2001

42

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 4.60 MB

0 / 0

english, 2006

43

Industrial Deployment of System Engineering Methods

Industrial Deployment of System Engineering Methods

Springer-Verlag Berlin Heidelberg

Alexander Romanovsky, Martyn Thomas (auth.), Alexander Romanovsky, Martyn Thomas (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 3.91 MB

0 / 0

english, 2013

44

Architecting Dependable Systems IV

Architecting Dependable Systems IV

Springer-Verlag Berlin Heidelberg

Joyce L. Tokar (auth.), Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 13.57 MB

0 / 0

english, 2007

45

Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jeffrey O’Leary (auth.), Alexander Romanovsky, Tullio Vardanega (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 3.88 MB

0 / 0

english, 2011

46

Software Engineering for Multi-Agent Systems II. Research Issues and Practical Applications

Software Engineering for Multi-Agent Systems II. Research Issues and Practical Applications

Carlos Lucena, Alessandro Garcia, Alexander Romanovsky, Jaelson Castro, Paulo S.C. Alencar

Année:

2004

Langue:

english

Fichier:

PDF, 10.43 MB

0 / 0

english, 2004

47

Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications

Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications

Springer-Verlag Berlin Heidelberg

Maíra A. de C. Gatti, Gustavo R. de Carvalho, Rodrigo B. de Paes (auth.), Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 5.22 MB

0 / 0

english, 2007

48

Architecting Dependable Systems III

Architecting Dependable Systems III

Springer-Verlag Berlin Heidelberg

Nikolaos Georgantas, Sonia Ben Mokhtar, Ferda Tartanoglu, Valérie Issarny (auth.), Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 7.83 MB

0 / 0

english, 2005

49

COTS-Based Software Systems: Second International Conference, ICCBSS 2003 Ottawa, Canada, February 10–12, 2003 Proceedings

COTS-Based Software Systems: Second International Conference, ICCBSS 2003 Ottawa, Canada, February 10–12, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Tom Anderson, Mei Feng, Steve Riddle, Alexander Romanovsky (auth.), Hakan Erdogmus, Tao Weng (eds.)

Année:

2003

Langue:

english

Fichier:

PDF, 2.88 MB

0 / 0

english, 2003