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
	301.	Internet and Network Economics [electronic resource] : 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010, Proceedings / by Saberi, Amin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6484 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)
	302.	Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings / by Schrijvers, Tom [editor.] Thiemann, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7294 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)
	303.	Graph Transformation [electronic resource] : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings / by Echahed, Rachid [editor.] Minas, Mark [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9761 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)
	304.	Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / by Majumdar, Rupak [editor.] Kunčak, Viktor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10426 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)
	305.	Combinatorics on Words [electronic resource] : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20, 2013, Proceedings / by Karhumäki, Juhani [editor.] Lepistö, Arto [editor.] Zamboni, Luca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8079 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)
	306.	Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops [electronic resource] : ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, Proceedings / by Thulasiraman, Parimala [editor.] He, Xubin [editor.] Xu, Tony Li [editor.] Denko, Mieso [editor.] Thulasiram, Ruppa K [editor.] Yang, Laurence T [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4743 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)
	307.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings / by D'Souza, Deepak [editor.] Lal, Akash [editor.] Larsen, Kim Guldstrand [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8931 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	308.	Algorithms and Architectures for Parallel Processing, Part II [electronic resource] : 11th International Conference, ICA3PP 2011, Workshops, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II / by Xiang, Yang [editor.] Cuzzocrea, Alfredo [editor.] Hobbs, Michael [editor.] Zhou, Wanlei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7017 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)
	309.	Theoretical Aspects of Computing – ICTAC 2014 [electronic resource] : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings / by Ciobanu, Gabriel [editor.] Méry, Dominique [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8687 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)
	310.	Combinatorics on Words [electronic resource] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / by Manea, Florin [editor.] Nowotka, Dirk [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9304 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	311.	Fun with Algorithms [electronic resource] : 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings / by Crescenzi, Pierluigi [editor.] Prencipe, Giuseppe [editor.] Pucci, Geppino [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4475 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)
	312.	Computational Science – ICCS 2008 [electronic resource] : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II / by Bubak, Marian [editor.] van Albada, Geert Dick [editor.] Dongarra, Jack [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5102 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)
	313.	Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings / by Bosnacki, Dragan [editor.] Edelkamp, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4595 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)
	314.	Model Checking Software [electronic resource] : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / by Fischer, Bernd [editor.] Geldenhuys, Jaco [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9232 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	315.	Advances in Swarm Intelligence [electronic resource] : 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I / by Tan, Ying [editor.] Shi, Yuhui [editor.] Tang, Qirong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10941 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)
	316.	Model Checking Software [electronic resource] : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / by Gallardo, María del Mar [editor.] Merino, Pedro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10869 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)
	317.	Euro-Par 2006 Parallel Processing [electronic resource] : 12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, Proceedings / by Nagel, Wolfgang E [editor.] Walter, Wolfgang V [editor.] Lehner, Wolfgang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4128 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)
	318.	Structured Object-Oriented Formal Language and Method [electronic resource] : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers / by Liu, Shaoying [editor.] Duan, Zhenhua [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9559 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)
	319.	Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / by Puebla, Germán [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4407 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)
	320.	Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / by Kroening, Daniel [editor.] Păsăreanu, Corina S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9206 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 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.