|
|
Simulated Evolution and Learning [electronic resource] : 8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010, Proceedings / edited by Kalyanmoy Deb, Arnab Bhattacharya, Nirupam Chakraborti, Partha Chakroborty, Swagatam Das, Joydeep Dutta, Santosh K. Gupta, Ashu Jain, Varun Aggarwal, Juergen Branke, Sushil J. Louis, Kay Chen Tan.
by Deb, Kalyanmoy [editor.] | Bhattacharya, Arnab [editor.] | Chakraborti, Nirupam [editor.] | Chakroborty, Partha [editor.] | Das, Swagatam [editor.] | Dutta, Joydeep [editor.] | Gupta, Santosh K [editor.] | Jain, Ashu [editor.] | Aggarwal, Varun [editor.] | Branke, Juergen [editor.] | Louis, Sushil J [editor.] | Tan, Kay Chen [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers / edited by Gopal Gupta, Ricardo Peña.
by Gupta, Gopal [editor.] | Peña, Ricardo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|