|
|
1441.
|
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.
|
|
|
1442.
|
|
|
|
1443.
|
|
|
|
1444.
|
|
|
|
1445.
|
Graph-Based Representations in Pattern Recognition [electronic resource] : 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19–21, 2019, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11510
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.
|
|
|
1446.
|
|
|
|
1447.
|
Big Data – BigData 2019 [electronic resource] : 8th International Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11514
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.
|
|
|
1448.
|
|
|
|
1449.
|
|
|
|
1450.
|
|
|
|
1451.
|
|
|
|
1452.
|
|
|
|
1453.
|
|
|
|
1454.
|
|
|
|
1455.
|
|
|
|
1456.
|
|
|
|
1457.
|
|
|
|
1458.
|
|
|
|
1459.
|
|
|
|
1460.
|
|
