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

Results
	581.	Formal Aspects of Component Software [electronic resource] : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers / by Barbosa, Luis Soares [editor.] Lumpe, Markus [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6921 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)
	582.	Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings / by Hierons, Robert M [editor.] Merayo, Mercedes G [editor.] Bravetti, Mario [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8137 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)
	583.	Component-Based Software Engineering [electronic resource] : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / by Grunske, Lars [editor.] Reussner, Ralf H [editor.] Plasil, Frantisek [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6092 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)
	584.	Conceptual Modeling - ER 2008 [electronic resource] : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings / by Li, Qing [editor.] Spaccapietra, Stefano [editor.] Yu, Eric [editor.] Olivé, Antoni [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5231 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)
	585.	Inductive Logic Programming [electronic resource] : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / by Kramer, Stefan [editor.] Pfahringer, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3625 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)
	586.	Programming Languages [electronic resource] : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings / by Quintao Pereira, Fernando Magno [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8771 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)
	587.	Compiler Construction [electronic resource] : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by Franke, Björn [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9031 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)
	588.	Integrated Formal Methods [electronic resource] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings / by Méry, Dominique [editor.] Merz, Stephan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6396 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)
	589.	Advances in Grid and Pervasive Computing [electronic resource] : 6th International Conference, GPC 2011, Oulu, Finland, May 11-13, 2011. Proceedings / by Riekki, Jukka [editor.] Ylianttila, Mika [editor.] Guo, Minyi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6646 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)
	590.	Runtime Verification [electronic resource] : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers / by Sen, Koushik [editor.] Khurshid, Sarfaz [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7186 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)
	591.	Diagrammatic Representation and Inference [electronic resource] : 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings / by Stapleton, Gem [editor.] Howse, John [editor.] Lee, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5223 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)
	592.	Multiagent System Technologies [electronic resource] : Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings / by Eymann, Torsten [editor.] Klügl, Franziska [editor.] Lamersdorf, Winfried [editor.] Klusch, Matthias [editor.] Huhns, Michael N [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3550 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)
	593.	Advances in Smalltalk [electronic resource] : 14th International Smaltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers / by De Meuter, Wolfgang [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4406 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)
	594.	Distributed Computing and Internet Technology [electronic resource] : 5th International Conference, ICDCIT 2008 New Delhi, India, December 10 - 12, 2008 Proceedings / by Parashar, Manish [editor.] Aggarwal, Sanjeev K [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5375 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)
	595.	Principles and Practice of Constraint Programming - CP 2010 [electronic resource] : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings / by Cohen, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6308 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)
	596.	SOFSEM 2010: Theory and Practice of Computer Science [electronic resource] : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings / by van Leeuwen, Jan [editor.] Muscholl, Anca [editor.] Peleg, David [editor.] Pokorny, Jaroslav [editor.] Rumpe, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5901 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)
	597.	Theoretical Aspects of Computing - ICTAC 2009 [electronic resource] : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings / by Leucker, Martin [editor.] Morgan, Charles Carroll [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5684 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)
	598.	Implementation and Application of Functional Languages [electronic resource] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / by Scholz, Sven-Bodo [editor.] Chitil, Olaf [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5836 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)
	599.	Computer Architecture [electronic resource] : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers / by Varbanescu, Ana Lucia [editor.] Molnos, Anca [editor.] van Nieuwpoort, Rob [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6161 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)
	600.	FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings / by Misra, Jayadev [editor.] Nipkow, Tobias [editor.] Sekerinski, Emil [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4085 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 967 results.