Results
|
861.
|
|
|
862.
|
|
|
863.
|
|
|
864.
|
|
|
865.
|
|
|
866.
|
|
|
867.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7737
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.
|
|
868.
|
|
|
869.
|
|
|
870.
|
|
|
871.
|
|
|
872.
|
Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 7610
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
873.
|
|
|
874.
|
|
|
875.
|
|
|
876.
|
|
|
877.
|
Advances in Neural Networks - ISNN 2017 [electronic resource] : 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21–26, 2017, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 10262
Edition: 1st ed. 2017.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
878.
|
|
|
879.
|
|
|
880.
|
|