Results
|
1041.
|
|
|
1042.
|
|
|
1043.
|
|
|
1044.
|
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.
|
|
1045.
|
|
|
1046.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5330
Edition: 1st ed. 2008.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008
In:
Springer Nature eBook
Availability: No items available.
|
|
1047.
|
|
|
1048.
|
|
|
1049.
|
|
|
1050.
|
|
|
1051.
|
|
|
1052.
|
|
|
1053.
|
|
|
1054.
|
|
|
1055.
|
|
|
1056.
|
|
|
1057.
|
|
|
1058.
|
|
|
1059.
|
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.
|
|
1060.
|
|