Results
|
|
1261.
|
|
|
|
1262.
|
|
|
|
1263.
|
|
|
|
1264.
|
|
|
|
1265.
|
|
|
|
1266.
|
|
|
|
1267.
|
|
|
|
1268.
|
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings / by Series: Programming and Software Engineering ; 10598
Edition: 1st ed. 2017.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1269.
|
Computational Science and Its Applications – ICCSA 2019 [electronic resource] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III / by
- Misra, Sanjay [editor.]
- Gervasi, Osvaldo [editor.]
- Murgante, Beniamino [editor.]
- Stankova, Elena [editor.]
- Korkhov, Vladimir [editor.]
- Torre, Carmelo [editor.]
- Rocha, Ana Maria A.C [editor.]
- Taniar, David [editor.]
- Apduhan, Bernady O [editor.]
- Tarantino, Eufemia [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 11621
Edition: 1st ed. 2019.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1270.
|
|
|
|
1271.
|
|
|
|
1272.
|
Mobile Computing, Applications, and Services [electronic resource] : 11th EAI International Conference, MobiCASE 2020, Shanghai, China, September 12, 2020, Proceedings / by Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 341
Edition: 1st ed. 2020.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1273.
|
|
|
|
1274.
|
|
|
|
1275.
|
|
|
|
1276.
|
|
|
|
1277.
|
|
|
|
1278.
|
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13294
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1279.
|
|
|
|
1280.
|
|
