Viimati ilmunud raamatud

Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 23, 2024, Proceedings

Sun, 25 Feb 2024 00:00:00 GMT

Shaoying Liu
ISBN: 9789819616206
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 25-Feb-2024
Hind: 56,11 �

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 2426, 2021, Proceedings 1st ed. 2021

Mon, 10 Aug 2020 00:00:00 GMT

Alberto Lluch Lafuente, Anastasia Mavridou
ISBN: 9783030852474
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 10-Aug-2020
Hind: 48,70 �

Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 23, 2020, Proceedings 1st ed. 2020

Thu, 29 Aug 2019 00:00:00 GMT

Maurice H. ter Beek, Dejan Nikovi
ISBN: 9783030582975
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 29-Aug-2019
Hind: 48,70 �

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 1722, 2017, Tutorial Lectures 2018 ed.

Tue, 13 Nov 2018 00:00:00 GMT

Jonathan P. Bowen, Zhiming Liu, Zili Zhang
ISBN: 9783030029272
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 13-Nov-2018
Hind: 48,70 �

Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings 2019 ed.

Wed, 05 Sep 2018 00:00:00 GMT

Radu Calinescu, Felicita Di Giandomenico
ISBN: 9783030308551
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 05-Sep-2018
Hind: 48,70 �

Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings 2018 ed.

Wed, 30 Aug 2017 00:00:00 GMT

Falk Howar, Ji� Barnat
ISBN: 9783030002435
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 30-Aug-2017
Hind: 48,70 �

Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, V�ster�s, Sweden, September 18, 2018, Proceedings 2018 ed.

Mon, 21 Aug 2017 00:00:00 GMT

Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch
ISBN: 9783319992280
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 21-Aug-2017
Hind: 78,34 �

Reliable Software Technologies Ada-Europe 2018: 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings 2018 ed.

Fri, 26 May 2017 00:00:00 GMT

Ant�nio Casimiro, Pedro M. Ferreira
ISBN: 9783319924311
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 26-May-2017
Hind: 48,70 �

Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 45, 2017, Proceedings 1st ed. 2017

Fri, 12 Aug 2016 00:00:00 GMT

Alexander Romanovsky, Elena A. Troubitsyna
ISBN: 9783319659473
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 12-Aug-2016
Hind: 48,70 �

Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 1113, 2017, Proceedings 1st ed. 2017

Tue, 02 Aug 2016 00:00:00 GMT

Marco Bozzano, Yannis Papadopoulos
ISBN: 9783319641188
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 02-Aug-2016
Hind: 48,70 �

Reliable Software Technologies Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings 1st ed. 2017

Mon, 30 May 2016 00:00:00 GMT

Johann Blieberger, Markus Bader
ISBN: 9783319605876
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 30-May-2016
Hind: 53,33 �

Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures 2016 ed.

Tue, 01 Mar 2016 00:00:00 GMT

Zhiming Liu, Zili Zhang
ISBN: 9783319296272
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 01-Mar-2016
Hind: 48,70 �

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings 1st ed. 2016

Mon, 14 Sep 2015 00:00:00 GMT

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
ISBN: 9783319459424
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 14-Sep-2015
Hind: 48,70 �

Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings 1st ed. 2016

Wed, 26 Aug 2015 00:00:00 GMT

Ivica Crnkovic, Elena Troubitsyna
ISBN: 9783319458915
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 26-Aug-2015
Hind: 48,70 �

Reliable Software Technologies Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings 1st ed. 2016

Sun, 31 May 2015 00:00:00 GMT

Marko Bertogna, Lu�s Miguel Pinho, Eduardo Qui�ones
ISBN: 9783319390826
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 31-May-2015
Hind: 48,70 �