Results of search for 'ccl=Provider:Springer, and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1941.	Computational Methods in Systems Biology [electronic resource] : International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings / by Priami, Corrado [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 4210 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)
	1942.	Self-Managed Networks, Systems, and Services [electronic resource] : Second IEEE International Workshops, SelfMan 2006, Dublin, Ireland, June 16, 2006, Proceedings / by Keller, Alexander [editor.] Martin-Flatin, Jean-Philippe [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 3996 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)
	1943.	Cyber-Physical Systems of Systems [electronic resource] : Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy / by Bondavalli, Andrea [editor.] Bouchenak, Sara [editor.] Kopetz, Hermann [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10099 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)
	1944.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I / by Legay, Axel [editor.] Margaria, Tiziana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10205 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1945.	Smart Card Research and Advanced Applications [electronic resource] : 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers / by Mangard, Stefan [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7771 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)
	1946.	Compiler Construction [electronic resource] : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / by Gupta, Rajiv [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6011 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)
	1947.	Modular Programming Languages [electronic resource] : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings / by Lightfoot, David [editor.] Szyperski, Clemens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4228 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)
	1948.	Ad-hoc Networks and Wireless [electronic resource] : ADHOC-NOW 2014 International Workshops, ETSD, MARSS, MWaoN, SecAN, SSPA, and WiSARN, Benidorm, Spain, June 22--27, 2014, Revised Selected Papers / by Garcia Pineda, Miguel [editor.] Lloret, Jaime [editor.] Papavassiliou, Symeon [editor.] Ruehrup, Stefan [editor.] Westphall, Carlos Becker [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 8629 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)
	1949.	Software Process Improvement [electronic resource] : 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings / by Richardson, Ita [editor.] Abrahamsson, Pekka [editor.] Messnarz, Richard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3792 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)
	1950.	Fundamentals of Software Engineering [electronic resource] : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers / by Arbab, Farhad [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8161 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)
	1951.	Reversible Computation [electronic resource] : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings / by Krivine, Jean [editor.] Stefani, Jean-Bernard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9138 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)
	1952.	CONCUR 2010 - Concurrency Theory [electronic resource] : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings / by Gastin, Paul [editor.] Laroussinie, Francois [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6269 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)
	1953.	Algebraic Informatics [electronic resource] : Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers / by Bozapalidis, Symeon [editor.] Rahonis, George [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4728 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)
	1954.	Automated Technology for Verification and Analysis [electronic resource] : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings / by Cassez, Franck [editor.] Raskin, Jean-Francois [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8837 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)
	1955.	Mathematics of Program Construction [electronic resource] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings / by Uustalu, Tarmo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4014 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)
	1956.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings / by Richa, Andréa W [editor.] Scheideler, Christian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7596 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)
	1957.	Intelligent Information Technology [electronic resource] : 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings / by Das, Gautam [editor.] Gulati, V.P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3356 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)
	1958.	Higher-Level Hardware Synthesis [electronic resource] / by Sharp, Richard [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2963 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)
	1959.	Web Services and Formal Methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings / by Bruni, Roberto [editor.] Wolf, Karsten [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5387 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)
	1960.	Information Networking [electronic resource] : Convergence in Broadband and Mobile Networking. International Conference, ICOIN 2005, Jeju Island, Korea, January 31 - February 2, 2005, Proceedings / by Kim, Cheeha [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 3391 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4435 results.