Results
|
1201.
|
|
|
1202.
|
|
|
1203.
|
|
|
1204.
|
|
|
1205.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3385
Edition: 1st ed. 2005.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005
In:
Springer Nature eBook
Availability: No items available.
|
|
1206.
|
Distributed Applications and Interoperable Systems [electronic resource] : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3543
Edition: 1st ed. 2005.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005
In:
Springer Nature eBook
Availability: No items available.
|
|
1207.
|
|
|
1208.
|
|
|
1209.
|
|
|
1210.
|
|
|
1211.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8312
Edition: 1st ed. 2013.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer Nature eBook
Availability: No items available.
|
|
1212.
|
|
|
1213.
|
|
|
1214.
|
|
|
1215.
|
|
|
1216.
|
|
|
1217.
|
|
|
1218.
|
|
|
1219.
|
|
|
1220.
|
Formal Grammar [electronic resource] : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9804
Edition: 1st ed. 2016.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|