Results
|
341.
|
|
|
342.
|
Swarm, Evolutionary, and Memetic Computing, Part II [electronic resource] : Second International Conference, SEMCCO 2011, Visakhapatnam, India, December 19-21, 2011, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 7077
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.
|
|
343.
|
|
|
344.
|
|
|
345.
|
|
|
346.
|
|
|
347.
|
|
|
348.
|
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.
|
|
349.
|
|
|
350.
|
|
|
351.
|
|
|
352.
|
|
|
353.
|
|
|
354.
|
|
|
355.
|
|
|
356.
|
|
|
357.
|
|
|
358.
|
|
|
359.
|
|
|
360.
|
|