Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Programming Techniques' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	401.	Advances in Swarm Intelligence [electronic resource] : First International Conference, ICSI 2010, Beijing, China, June 12-15, 2010, Proceedings, Part II / by TAN, KAY CHEN [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6146 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)
	402.	Verified Software: Theorie, Tools, Experiments [electronic resource] : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers / by Cohen, Ernie [editor.] Rybalchenko, Andrey [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8164 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)
	403.	Transactions on Aspect-Oriented Software Development VII [electronic resource] : A Common Case Study for Aspect-Oriented Modeling. by SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 6210 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)
	404.	Rules and Reasoning [electronic resource] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / by Costantini, Stefania [editor.] Franconi, Enrico [editor.] Van Woensel, William [editor.] Kontchakov, Roman [editor.] Sadri, Fariba [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10364 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)
	405.	International Symposium on Fundamentals of Software Engineering [electronic resource] : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings / by Arbab, Farhad [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4767 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)
	406.	New Modeling Concepts for Today's Software Processes [electronic resource] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings / by Münch, Jürgen [editor.] Yang, Ye [editor.] Schäfer, Wilhelm [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6195 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)
	407.	Computer Algebra in Scientific Computing [electronic resource] : 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009, Proceedings / by Gerdt, Vladimir P [editor.] Mayr, Ernst W [editor.] Vorozhtsov, Evgenii V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5743 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)
	408.	Time for Verification [electronic resource] : Essays in Memory of Amir Pnueli / by Manna, Zohar [editor.] Peled, Doron A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6200 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)
	409.	Generative Programming and Component Engineering [electronic resource] : Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings / by Karsai, Gabor [editor.] Visser, Eelco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3286 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	410.	25 Years of Model Checking [electronic resource] : History, Achievements, Perspectives / by Grumberg, Orna [editor.] Veith, Helmut [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5000 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)
	411.	Experimental Algorithms [electronic resource] : 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings / by Festa, Paola [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6049 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)
	412.	Logic, Language, Information, and Computation [electronic resource] : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings / by Moss, Lawrence S [editor.] de Queiroz, Ruy [editor.] Martinez, Maricarmen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10944 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	413.	ECOOP 2009 -- Object-Oriented Programming [electronic resource] : 23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings / by Drossopoulou, Sophia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5653 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)
	414.	Conceptual Modeling – ER 2010 [electronic resource] : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings / by Parsons, Jeffrey [editor.] Saeki, Motoshi [editor.] Shoval, Peretz [editor.] Woo, Carson [editor.] Wand, Yair [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6412 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)
	415.	Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings / by Butler, Michael [editor.] Hinchey, Michael G [editor.] Larrondo-Petrie, Maria M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4789 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)
	416.	Large-Scale Scientific Computing [electronic resource] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007, Revised Papers / by Lirkov, Ivan [editor.] Margenov, Svetozar D [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4818 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)
	417.	Engineering Multi-Agent Systems [electronic resource] : 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers / by Baldoni, Matteo [editor.] Müller, Jörg P [editor.] Nunes, Ingrid [editor.] Zalila-Wenkstern, Rym [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10093 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)
	418.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings / by Sossai, Claudio [editor.] Chemello, Gaetano [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5590 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)
	419.	Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / by Hill, Patricia M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3901 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)
	420.	Wireless Sensor Networks [electronic resource] : 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, Proceedings / by Verdone, Roberto [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 4913 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1611 results.