Results
|
|
341.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker. by Series: Theoretical Computer Science and General Issues ; 12078
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.
|
|
|
342.
|
|
|
|
343.
|
Multiple-Aspect Analysis of Semantic Trajectories [electronic resource] : First International Workshop, MASTER 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Proceedings / edited by Konstantinos Tserpes, Chiara Renso, Stan Matwin. by Series: Lecture Notes in Artificial Intelligence ; 11889
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.
|
|
|
344.
|
|
|
|
345.
|
|
|
|
346.
|
|
|
|
347.
|
|
|
|
348.
|
|
|
|
349.
|
|
|
|
350.
|
|
|
|
351.
|
|
|
|
352.
|
|
|
|
353.
|
|
|
|
354.
|
|
|
|
355.
|
|
|
|
356.
|
|
|
|
357.
|
|
|
|
358.
|
|
|
|
359.
|
|
|
|
360.
|
|
