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

Results
	3141.	Architecture of Computing Systems - ARCS 2011 [electronic resource] : 24th International Conference, Lake Como, Italy, February 24-25, 2011. Proceedings / by Berekovic, Mladen [editor.] Fornaciari, William [editor.] Brinkschulte, Uwe [editor.] Silvano, Cristina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6566 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)
	3142.	Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 / by Sassone, Vladimiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3441 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)
	3143.	Applied Parallel and Scientific Computing [electronic resource] : 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I / by Jónasson, Kristján [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7133 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)
	3144.	Information Security and Cryptology [electronic resource] : 12th International Conference, Inscrypt 2016, Beijing, China, November 4-6, 2016, Revised Selected Papers / by Chen, Kefei [editor.] Lin, Dongdai [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10143 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)
	3145.	Foundations of Software Science and Computation Structures [electronic resource] : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by Jacobs, Bart [editor.] Löding, Christof [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9634 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3146.	Coordination Models and Languages [electronic resource] : 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings / by Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7274 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)
	3147.	Petri Nets and Other Models of Concurrency - ICATPN 2006 [electronic resource] : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings / by Donatelli, Susanna [editor.] Thiagarajan, P.S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4024 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)
	3148.	UML Modeling Languages and Applications [electronic resource] : <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / by Jardim Nunes, Nuno [editor.] Selic, Bran [editor.] Rodrigues da Silva, Alberto [editor.] Toval Alvarez, Ambrosio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3297 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)
	3149.	NETWORKING 2009 [electronic resource] : 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009, Proceedings / by Fratta, Luigi [editor.] Schulzrinne, Henning [editor.] Takahashi, Yutaka [editor.] Spaniol, Otto [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5550 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)
	3150.	Static Analysis [electronic resource] : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings / by Mine, Antoine [editor.] Schmidt, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7460 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)
	3151.	Service Availability [electronic resource] : Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers / by Malek, Miroslaw [editor.] Nett, Edgar [editor.] Suri, Neeraj [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3694 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)
	3152.	Artificial Intelligence and Computational Intelligence [electronic resource] : Second International Conference, AICIS 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I / by Deng, Hepu [editor.] Miao, Duoqian [editor.] Lei, Jingsheng [editor.] Wang, Fu Lee [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7002 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)
	3153.	Topics in Performance Evaluation, Measurement and Characterization [electronic resource] : Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29- September 3, 2011. Revised Selected Papers / by Nambiar, Raghunath [editor.] Poess, Meikel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7144 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)
	3154.	Computational Logic in Multi-Agent Systems [electronic resource] : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings / by Bulling, Nils [editor.] van der Torre, Leendert [editor.] Villata, Serena [editor.] Jamroga, Wojtek [editor.] Vasconcelos, Wamberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8624 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)
	3155.	Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II / by Abramsky, Samson [editor.] Gavoille, Cyril [editor.] Kirchner, Claude [editor.] Meyer auf der Heide, Friedhelm [editor.] Spirakis, Paul [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6199 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)
	3156.	On the Move to Meaningful Internet Systems: OTM 2010 [electronic resource] : International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA / by Meersman, Robert [editor.] Dillon, Tharam [editor.] Herrero, Pilar [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6428 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)
	3157.	Formal Techniques for Distributed Systems [electronic resource] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / by Hatcliff, John [editor.] Zucca, Elena [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6117 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)
	3158.	Software Process and Product Measurement [electronic resource] : International Conference, IWSM–MENSURA 2007, Palma de Mallorca, Spain, November 5-8, 2007, Revised Papers / by Cuadrado-Gallego, Juan J [editor.] Braungarten, René [editor.] Dumke, Reiner R [editor.] Abran, Alain [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4895 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)
	3159.	Hardware and Software: Verification and Testing [electronic resource] : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings / by Yahav, Eran [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8855 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)
	3160.	Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / by Barthe, Gilles [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6602 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4435 results.