Results
|
861.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8931
Edition: 1st ed. 2015.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
In:
Springer Nature eBook
Availability: No items available.
|
|
862.
|
|
|
863.
|
Algorithms and Architectures for Parallel Processing, Part II [electronic resource] : 11th International Conference, ICA3PP 2011, Workshops, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 7017
Edition: 1st ed. 2011.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
In:
Springer Nature eBook
Availability: No items available.
|
|
864.
|
|
|
865.
|
|
|
866.
|
|
|
867.
|
|
|
868.
|
|
|
869.
|
|
|
870.
|
|
|
871.
|
|
|
872.
|
|
|
873.
|
|
|
874.
|
|
|
875.
|
|
|
876.
|
|
|
877.
|
|
|
878.
|
|
|
879.
|
|
|
880.
|
|