Results
|
81.
|
|
|
82.
|
|
|
83.
|
|
|
84.
|
|
|
85.
|
|
|
86.
|
|
|
87.
|
|
|
88.
|
|
|
89.
|
Information in Contemporary Society [electronic resource] : 14th International Conference, iConference 2019, Washington, DC, USA, March 31–April 3, 2019, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11420
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.
|
|
90.
|
|
|
91.
|
|
|
92.
|
|
|
93.
|
|
|
94.
|
|
|
95.
|
|
|
96.
|
|
|
97.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13881
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: No items available.
|
|
98.
|
|
|
99.
|
Logic, Language, Information and Computation [electronic resource] : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4576
Edition: 1st ed. 2007.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007
In:
Springer Nature eBook
Availability: No items available.
|
|
100.
|
|