Results
|
|
421.
|
|
|
|
422.
|
|
|
|
423.
|
|
|
|
424.
|
|
|
|
425.
|
|
|
|
426.
|
|
|
|
427.
|
|
|
|
428.
|
|
|
|
429.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5944
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.
|
|
|
430.
|
|
|
|
431.
|
|
|
|
432.
|
|
|
|
433.
|
|
|
|
434.
|
|
|
|
435.
|
|
|
|
436.
|
|
|
|
437.
|
|
|
|
438.
|
Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6602
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.
|
|
|
439.
|
|
|
|
440.
|
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools [electronic resource] : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings / by Series: Programming and Software Engineering ; 8356
Edition: 1st ed. 2014.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014
In:
Springer Nature eBook
Availability: No items available.
|
