Results
|
|
1741.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 10205
Edition: 1st ed. 2017.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1742.
|
|
|
|
1743.
|
|
|
|
1744.
|
|
|
|
1745.
|
|
|
|
1746.
|
|
|
|
1747.
|
|
|
|
1748.
|
|
|
|
1749.
|
|
|
|
1750.
|
|
|
|
1751.
|
|
|
|
1752.
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7596
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1753.
|
|
|
|
1754.
|
|
|
|
1755.
|
|
|
|
1756.
|
|
|
|
1757.
|
|
|
|
1758.
|
|
|
|
1759.
|
|
|
|
1760.
|
Engineering Psychology and Cognitive Ergonomics: Performance, Emotion and Situation Awareness [electronic resource] : 14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I / by Series: Lecture Notes in Artificial Intelligence ; 10275
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.
|
