Results
|
|
1441.
|
|
|
|
1442.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8318
Edition: 1st ed. 2014.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1443.
|
|
|
|
1444.
|
|
|
|
1445.
|
IoT Streams for Data-Driven Predictive Maintenance and IoT, Edge, and Mobile for Embedded Machine Learning [electronic resource] : Second International Workshop, IoT Streams 2020, and First International Workshop, ITEM 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium, September 14-18, 2020, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1325
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.
|
|
|
1446.
|
|
|
|
1447.
|
|
|
|
1448.
|
|
|
|
1449.
|
|
|
|
1450.
|
|
|
|
1451.
|
|
|
|
1452.
|
|
|
|
1453.
|
|
|
|
1454.
|
|
|
|
1455.
|
|
|
|
1456.
|
|
|
|
1457.
|
|
|
|
1458.
|
|
|
|
1459.
|
|
|
|
1460.
|
Distributed, Ambient and Pervasive Interactions. Smart Environments, Ecosystems, and Cities [electronic resource] : 10th International Conference, DAPI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 13325
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.
|
