Results of search for 'ccl=su:{Programming.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1141.	Programming Languages and Systems [electronic resource] : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings / by Feng, Xinyu [editor.] Park, Sungwoo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9458 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)
	1142.	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)
	1143.	CONCUR 2005 - Concurrency Theory [electronic resource] : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings / by Abadi, Martín [editor.] de Alfaro, Luca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3653 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)
	1144.	Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / by Majumdar, Rupak [editor.] Kunčak, Viktor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10426 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)
	1145.	Euro-Par 2010 - Parallel Processing [electronic resource] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II / by D'Ambra, Pasqua [editor.] Guarracino, Mario [editor.] Talia, Domenico [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6272 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)
	1146.	Unconventional Computation [electronic resource] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings / by Calude, Cristian S [editor.] Kari, Jarkko [editor.] Petre, Ion [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6714 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)
	1147.	Methods and Tools of Parallel Programming Multicomputers [electronic resource] : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers / by Hsu, Ching-Hsien [editor.] Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6083 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)
	1148.	Principles of Distributed Systems [electronic resource] : 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings / by Abdelzaher, Tarek F [editor.] Raynal, Michel [editor.] Santoro, Nicola [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5923 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)
	1149.	Business Process Management [electronic resource] : 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012, Proceedings / by Barros, Alistair [editor.] Gal, Avigdor [editor.] Kindler, Ekkart [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7481 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)
	1150.	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)
	1151.	Implementation and Application of Automata [electronic resource] : 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers / by Holub, Jan [editor.] Ždárek, Jan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4783 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)
	1152.	Software Engineering for Multi-Agent Systems IV [electronic resource] : Research Issues and Practical Applications / by Garcia, Alessandro [editor.] Choren, Ricardo [editor.] Lucena, Carlos [editor.] Giorgini, Paolo [editor.] Holvoet, Tom [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3914 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)
	1153.	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)
	1154.	Model Checking and Artificial Intelligence [electronic resource] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / by Edelkamp, Stefan [editor.] Lomuscio, Alessio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4428 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)
	1155.	Fundamental Approaches to Software Engineering [electronic resource] : 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - april 2, 2004, Proceedings / by Wermelinger, Michel [editor.] Margaria-Steffen, Tiziana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2984 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)
	1156.	Algorithms and Data Structures [electronic resource] : 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings / by Dehne, Frank [editor.] Sack, Jörg-Rüdiger [editor.] Toth, Csaba D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5664 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)
	1157.	LATIN 2010: Theoretical Informatics [electronic resource] : 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings / by López-Ortiz, Alejandro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6034 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)
	1158.	Computer Science Logic [electronic resource] : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings / by Kaminski, Michael [editor.] Martini, Simone [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5213 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)
	1159.	Verified Software. Theories, Tools, and Experiments [electronic resource] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / by Blazy, Sandrine [editor.] Chechik, Marsha [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9971 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)
	1160.	Frontiers in Algorithmics [electronic resource] : Second International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceedings / by Preparata, Franco P [editor.] Wu, Xiaodong [editor.] Yin, Jianping [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5059 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

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 3358 results.