Results of search for 'ccl=au:"SpringerLink (Online service)" and se:Theoretical Computer Science and General Issues and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	381.	Membrane Computing [electronic resource] : 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers / by Gheorghe, Marian [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10725 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	382.	Interactive Theorem Proving [electronic resource] : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / by Avigad, Jeremy [editor.] Mahboubi, Assia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10895 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	383.	Computational Science and Its Applications – ICCSA 2018 [electronic resource] : 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Stankova, Elena [editor.] Torre, Carmelo M [editor.] Rocha, Ana Maria A.C [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Tarantino, Eufemia [editor.] Ryu, Yeonseung [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10962 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	384.	CONCUR 2012- Concurrency Theory [electronic resource] : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings / by Koutny, Maciej [editor.] Ulidowski, Irek [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7454 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)
	385.	Computational Science and Its Applications - ICCSA 2008 [electronic resource] : International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Laganà, Antonio [editor.] Taniar, David [editor.] Mun, Youngsong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5073 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)
	386.	Wireless Algorithms, Systems, and Applications [electronic resource] : 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012, Proceedings / by Wang, Xinbing [editor.] Zheng, Rong [editor.] Jing, Tao [editor.] Xing, Kai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7405 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)
	387.	Implementation and Application of Functional Languages [electronic resource] : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers / by Morazán, Marco T [editor.] Scholz, Sven-Bodo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6041 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 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	388.	Parallel Processing and Applied Mathematics [electronic resource] : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Karczewski, Konrad [editor.] Waśniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8384 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	389.	Genetic Programming [electronic resource] : 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings / by O'Neill, Michael [editor.] Vanneschi, Leonardo [editor.] Gustafson, Steven [editor.] Esparcia Alcázar, Anna Isabel [editor.] De Falco, Ivanoe [editor.] Della Cioppa, Antonio [editor.] Tarantino, Ernesto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4971 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)
	390.	Architecture of Computing Systems -- ARCS 2013 [electronic resource] : 26th International Conference, Prague, Czech Republic, February 19-22, 2013 Proceedings / by Kubatova, Hana [editor.] Hochberger, Christian [editor.] Daněk, Martin [editor.] Sick, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7767 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)
	391.	Computational Science and Its Applications - ICCSA 2014 [electronic resource] : 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part II / by Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria Alves Coutinho [editor.] Torre, Carmelo [editor.] Rocha, Jorge Gustavo [editor.] Falcão, Maria Irene [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8580 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)
	392.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings / by Logozzo, Francesco [editor.] Peled, Doron A [editor.] Zuck, Leonore D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4905 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)
	393.	Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / by Horváth, Zoltán [editor.] Plasmeijer, Rinus [editor.] Zsók, Viktoria [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6299 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 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	394.	Advances in Grid and Pervasive Computing [electronic resource] : 5th International Conference, CPC 2010, Hualien, Taiwan, May 10-13, 2010, Proceedings / by Bellavista, Paolo [editor.] Chang, Ruay-Shiung [editor.] Chao, Han-Chieh [editor.] Lin, Shin-Feng [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6104 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 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	395.	Theory and Practice of Formal Methods [electronic resource] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / by Ábrahám, Erika [editor.] Bonsangue, Marcello [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9660 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	396.	Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings / by Arge, Lars [editor.] Cachin, Christian [editor.] Jurdzinski, Tomasz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4596 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	397.	Membrane Computing [electronic resource] : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers / by Alhazov, Artiom [editor.] Cojocaru, Svetlana [editor.] Gheorghe, Marian [editor.] Rogozhin, Yurii [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8340 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	398.	Numerical Software Verification [electronic resource] : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers / by Bogomolov, Sergiy [editor.] Martel, Matthieu [editor.] Prabhakar, Pavithra [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10152 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	399.	Computational Science and Its Applications - ICCSA 2011 [electronic resource] : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part I / by Murgante, Beniamino [editor.] Gervasi, Osvaldo [editor.] Iglesias, Andres [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6782 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)
	400.	Computational Logistics [electronic resource] : 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings / by Bektaş, Tolga [editor.] Coniglio, Stefano [editor.] Martinez-Sykora, Antonio [editor.] Voß, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10572 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 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 882 results.