Results
|
|
4241.
|
|
|
|
4242.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4905
Edition: 1st ed. 2008.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008
In:
Springer Nature eBook
Availability: No items available.
|
|
|
4243.
|
|
|
|
4244.
|
|
|
|
4245.
|
|
|
|
4246.
|
|
|
|
4247.
|
|
|
|
4248.
|
|
|
|
4249.
|
|
|
|
4250.
|
|
|
|
4251.
|
Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / by Series: Theoretical Computer Science and General Issues ; 6299
Edition: 1st ed. 2010.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
In:
Springer Nature eBook
Availability: No items available.
|
|
|
4252.
|
|
|
|
4253.
|
|
|
|
4254.
|
|
|
|
4255.
|
|
|
|
4256.
|
|
|
|
4257.
|
|
|
|
4258.
|
Distributed, Ambient and Pervasive Interactions: Technologies and Contexts [electronic resource] : 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10922
Edition: 1st ed. 2018.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018
In:
Springer Nature eBook
Availability: No items available.
|
|
|
4259.
|
|
|
|
4260.
|
|
