Results
|
|
3201.
|
|
|
|
3202.
|
|
|
|
3203.
|
|
|
|
3204.
|
Database and Expert Systems Applications [electronic resource] : 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part I / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9827
Edition: 1st ed. 2016.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|
|
|
3205.
|
|
|
|
3206.
|
|
|
|
3207.
|
|
|
|
3208.
|
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.
|
|
|
3209.
|
|
|
|
3210.
|
|
|
|
3211.
|
|
|
|
3212.
|
|
|
|
3213.
|
|
|
|
3214.
|
|
|
|
3215.
|
|
|
|
3216.
|
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.
|
|
|
3217.
|
|
|
|
3218.
|
|
|
|
3219.
|
|
|
|
3220.
|
|
