Results
|
41.
|
|
|
42.
|
|
|
43.
|
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings / by Series: Programming and Software Engineering ; 9707
Edition: 1st ed. 2016.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|
|
44.
|
|
|
45.
|
Interoperability and Open-Source Solutions for the Internet of Things [electronic resource] : Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10218
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.
|
|
46.
|
|
|
47.
|
|
|
48.
|
|
|
49.
|
Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 10981
Edition: 1st ed. 2018.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018
In:
Springer Nature eBook
Availability: No items available.
|
|
50.
|
|
|
51.
|
|
|
52.
|
|
|
53.
|
|
|
54.
|
|
|
55.
|
|
|
56.
|
|
|
57.
|
Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3923
Edition: 1st ed. 2006.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006
In:
Springer Nature eBook
Availability: No items available.
|
|
58.
|
|
|
59.
|
|
|
60.
|
|