Results
|
|
61.
|
|
|
|
62.
|
|
|
|
63.
|
|
|
|
64.
|
|
|
|
65.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 11427
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.
|
|
|
66.
|
|
|
|
67.
|
|
|
|
68.
|
|
|
|
69.
|
|
|
|
70.
|
Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 16th International Conference, NEW2AN 2016, and 9th Conference, ruSMART 2016, St. Petersburg, Russia, September 26-28, 2016, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 9870
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.
|
|
|
71.
|
|
|
|
72.
|
|
|
|
73.
|
|
|
|
74.
|
|
|
|
75.
|
|
|
|
76.
|
|
|
|
77.
|
|
|
|
78.
|
Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28–30, 2017, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 10531
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.
|
|
|
79.
|
|
|
|
80.
|
|
