Results of search for 'ccl=su:{Computation} and su-to:Software Engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	141.	SOFSEM 2008: Theory and Practice of Computer Science [electronic resource] : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings / by Geffert, Villiam [editor.] Karhumäki, Juhani [editor.] Bertoni, Alberto [editor.] Preneel, Bart [editor.] Návrat, Pavol [editor.] Bieliková, Mária [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4910 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 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	142.	Adaptive and Natural Computing Algorithms [electronic resource] : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I / by Dobnikar, Andrej [editor.] Lotric, Uroš [editor.] Šter, Branko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6593 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 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	143.	KI 2020: Advances in Artificial Intelligence [electronic resource] : 43rd German Conference on AI, Bamberg, Germany, September 21–25, 2020, Proceedings / by Schmid, Ute [editor.] Klügl, Franziska [editor.] Wolter, Diedrich [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12325 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	144.	Multi-Agent Systems [electronic resource] : 18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers / by Rosenfeld, Ariel [editor.] Talmon, Nimrod [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12802 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)
	145.	Computational Methods in Systems Biology [electronic resource] : 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings / by Mendes, Pedro [editor.] Dada, Joseph O [editor.] Smallbone, Kieran [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 8859 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 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	146.	Distributed and Parallel Computing [electronic resource] : 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings / by Hobbs, Michael [editor.] Goscinski, Andrzej [editor.] Zhou, Wanlei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3719 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	147.	Algorithmic Aspects of Cloud Computing [electronic resource] : 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers / by Brandic, Ivona [editor.] Genez, Thiago A. L [editor.] Pietri, Ilia [editor.] Sakellariou, Rizos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12041 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	148.	Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II / by Bugliesi, Michele [editor.] Preneel, Bart [editor.] Sassone, Vladimiro [editor.] Wegener, Ingo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4052 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	149.	Fundamental Approaches to Software Engineering [electronic resource] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / by Chechik, Marsha [editor.] Wirsing, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5503 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	150.	Computational Methods in Systems Biology [electronic resource] : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings / by Abate, Alessandro [editor.] Petrov, Tatjana [editor.] Wolf, Verena [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 12314 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	151.	Computational Science – ICCS 2022 [electronic resource] : 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part I / by Groen, Derek [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13350 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)
	152.	Formal Methods for Software Engineering [electronic resource] : Languages, Methods, Application Domains / by Roggenbach, Markus [author.] Cerone, Antonio [author.] Schlingloff, Bernd-Holger [author.] Schneider, Gerardo [author.] Shaikh, Siraj Ahmed [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS Series 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)
	153.	Applied Computer Sciences in Engineering [electronic resource] : 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings / by Figueroa-García, Juan Carlos [editor.] Garay-Rairán, Fabián Steven [editor.] Hernández-Pérez, Germán Jairo [editor.] Díaz-Gutierrez, Yesid [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1274 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	154.	Software Verification [electronic resource] : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers / by Christakis, Maria [editor.] Polikarpova, Nadia [editor.] Duggirala, Parasara Sridhar [editor.] Schrammel, Peter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12549 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	155.	Theoretical Computer Science [electronic resource] : 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers / by He, Kun [editor.] Zhong, Cheng [editor.] Cai, Zhiping [editor.] Yin, Yitong [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1352 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	156.	Formal Methods and Software Engineering [electronic resource] : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings / by Lin, Shang-Wei [editor.] Hou, Zhe [editor.] Mahony, Brendan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12531 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	157.	Computational Science and Its Applications - ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12. 2005, Proceedings, Part III / by Gervasi, Osvaldo [editor.] Gavrilova, Marina L [editor.] Kumar, Vipin [editor.] Laganà, Antonio [editor.] Lee, Heow Pueh [editor.] Mun, Youngson [editor.] Taniar, David [editor.] Tan, Chih Jeng Kenneth [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3482 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	158.	Advances in Computer Games [electronic resource] : 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers / by Cazenave, Tristan [editor.] van den Herik, Jaap [editor.] Saffidine, Abdallah [editor.] Wu, I-Chen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12516 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	159.	Artificial Intelligence in Music, Sound, Art and Design [electronic resource] : 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by Romero, Juan [editor.] Martins, Tiago [editor.] Rodríguez-Fernández, Nereida [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12693 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)
	160.	Computational Sciences - Modelling, Computing and Soft Computing [electronic resource] : First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers / by Awasthi, Ashish [editor.] John, Sunil Jacob [editor.] Panda, Satyananda [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1345 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 896 results.