Your search returned 6 results.

Results
	1.	Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops [electronic resource] : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers / by Cleophas, Loek [editor.] Massink, Mieke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12524 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Biomimetic and Biohybrid Systems [electronic resource] : Second International Conference, Living Machines 2013, London, UK, July 29 -- August 2, 2013, Proceedings / by Lepora, Nathan F [editor.] Mura, Anna [editor.] Krapp, Holger G [editor.] Verschure, Paul F.M.J [editor.] Prescott, Tony J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8064 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Biomimetic and Biohybrid Systems [electronic resource] : First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012, Proceedings / by Prescott, Tony T [editor.] Lepora, Nathan F [editor.] Mura, Anna [editor.] Verschure, Paul F.M.J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7375 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [electronic resource] : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers / by Cerone, Antonio [editor.] Autili, Marco [editor.] Bucaioni, Alessio [editor.] Gomes, Cláudio [editor.] Graziani, Pierluigi [editor.] Palmieri, Maurizio [editor.] Temperini, Marco [editor.] Venture, Gentiane [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13230 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Pan-African Conference on Artificial Intelligence [electronic resource] : Second Conference, PanAfriCon AI 2023, Addis Ababa, Ethiopia, October 5–6, 2023, Revised Selected Papers, Part I / by Debelee, Taye Girma [editor.] Ibenthal, Achim [editor.] Schwenker, Friedhelm [editor.] Megersa Ayano, Yehualashet [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 2068 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Pan-African Conference on Artificial Intelligence [electronic resource] : Second Conference, PanAfriCon AI 2023, Addis Ababa, Ethiopia, October 5–6, 2023, Revised Selected Papers, Part II / by Debelee, Taye Girma [editor.] Ibenthal, Achim [editor.] Schwenker, Friedhelm [editor.] Megersa Ayano, Yehualashet [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 2069 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in