Results of search for 'ccl=su:{ Computer science } and su-to:Computer Communication Networks and su-to:Software Engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	201.	Networked Systems [electronic resource] : 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers / by Abdulla, Parosh Aziz [editor.] Delporte-Gallet, Carole [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 9944 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)
	202.	Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings / by Bouajjani, Ahmed [editor.] Chin, Wei-Ngan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6252 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)
	203.	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)
	204.	SDL 2013: Model Driven Dependability Engineering [electronic resource] : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings / by Khendek, Ferhat [editor.] Toeroe, Maria [editor.] Gherbi, Abdelouahed [editor.] Reed, Rick [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7916 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)
	205.	Tests and Proofs [electronic resource] : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings / by Beckert, Bernhard [editor.] Hähnle, Reiner [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4966 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)
	206.	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)
	207.	Software Engineering for Resilient Systems [electronic resource] : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings / by Gorbenko, Anatoliy [editor.] Romanovsky, Alexander [editor.] Kharchenko, Vyacheslav [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8166 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)
	208.	Intelligent Agents and Multi-Agent Systems [electronic resource] : 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers / by Barley, Michael Wayne [editor.] Kasabov, Nik [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3371 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)
	209.	Coordination, Organizations, Institutions, and Norms in Agent Systems III [electronic resource] : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 2007 COIN@MALLOW 2007, Durham, UK, September 2007 Revised Selected Papers / by Sichman, Jaime Simão [editor.] Padget, Julian [editor.] Ossowski, Sascha [editor.] Noriega, Pablo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4870 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)
	210.	Autonomic and Trusted Computing [electronic resource] : Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006 / by Yang, Laurence T [editor.] Jin, Hai [editor.] Ungerer, Theo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4158 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)
	211.	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)
	212.	Information Computing and Applications [electronic resource] : First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010, Proceedings / by Zhu, Rongbo [editor.] Zhang, Yanchun [editor.] Liu, Baoxiang [editor.] Liu, Chunfeng [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6377 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)
	213.	Software Composition [electronic resource] : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings / by Pautasso, Cesare [editor.] Tanter, Éric [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4954 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)
	214.	Algorithms for Sensor Systems [electronic resource] : 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers / by Erlebach, Thomas [editor.] Nikoletseas, Sotiris [editor.] Orponen, Pekka [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7111 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)
	215.	Agent-Oriented Software Engineering VI [electronic resource] : 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers / by Müller, Jörg [editor.] Zambonelli, Franco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3950 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)
	216.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings / by Bouajjani, Ahmed [editor.] Monniaux, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10145 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)
	217.	Software Engineering for Resilient Systems [electronic resource] : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings / by Crnkovic, Ivica [editor.] Troubitsyna, Elena [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9823 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)
	218.	Advanced Distributed Systems [electronic resource] : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers / by Ramos, Felix F [editor.] Lrios Rosillo, Victor [editor.] Unger, Herwig [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3563 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)
	219.	High Performance Computing and Applications [electronic resource] : Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers / by Zhang, Wu [editor.] Chen, Zhangxin [editor.] Douglas, Craig C [editor.] Tong, Weiqin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5938 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)
	220.	Coordination, Organizations, Institutions, and Norms in Agent Systems XI [electronic resource] : COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers / by Dignum, Virginia [editor.] Noriega, Pablo [editor.] Sensoy, Murat [editor.] Sichman, Jaime Simão [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9628 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 806 results.