Results of search for 'ccl=su:"Computer programming." and su-geo:Computer programming' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1321.	Advanced Functional Programming [electronic resource] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / by Koopman, Pieter [editor.] Swierstra, Doaitse [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5832 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)
	1322.	Transactions on Aspect-Oriented Software Development XII [electronic resource] / by Chiba, Shigeru [editor.] Tanter, Éric [editor.] Ernst, Erik [editor.] Hirschfeld, Robert [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 8989 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)
	1323.	Transactions on Aspect-Oriented Software Development IX [electronic resource] / by Leavens, Gary T [editor.] Chiba, Shigeru [editor.] Haupt, Michael [editor.] Ostermann, Klaus [editor.] Wohlstadter, Eric [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 7271 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)
	1324.	Transactions on Aspect-Oriented Software Development VI [electronic resource] : Special Issue on Aspects and Model-Driven Engineering / by Katz, Shmuel [editor.] Ossher, Harold [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 5560 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)
	1325.	Architecting Dependable Systems VII [electronic resource] / by Casimiro, Antonio [editor.] de Lemos, Rogério [editor.] Gacek, Cristina [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6420 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)
	1326.	Recent Trends in Algebraic Development Techniques [electronic resource] : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers / by Madeira, Alexandre [editor.] Martins, Manuel A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13710 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1327.	Job Scheduling Strategies for Parallel Processing [electronic resource] : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers / by Feitelson, Dror [editor.] Rudolph, Larry [editor.] Schwiegelshohn, Uwe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3277 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)
	1328.	Software Engineering and Formal Methods [electronic resource] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / by Ferreira, Carla [editor.] Willemse, Tim A. C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14323 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1329.	Intelligent Data Engineering and Automated Learning -- IDEAL 2010 [electronic resource] : 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings / by Fyfe, Colin [editor.] Tino, Peter [editor.] Charles, Darryl [editor.] Garcia Osorio, Cesar [editor.] Yin, Hujun [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6283 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)
	1330.	Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010, Proceedings / by Min, Sang Lyul [editor.] Pettit, Robert [editor.] Ungerer, Theo [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6399 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)
	1331.	Computer Performance Engineering [electronic resource] : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, The English Lake District, October 12-13,2011, Proceedings / by Thomas, Nigel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6977 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)
	1332.	Formal Methods and Software Engineering [electronic resource] : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings / by Li, Yi [editor.] Tahar, Sofiène [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14308 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1333.	Rewriting Logic and Its Applications [electronic resource] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / by Durán, Francisco [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7571 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)
	1334.	Programming Languages and Systems [electronic resource] : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / by Shao, Zhong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8410 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1335.	Algorithmic Decision Theory [electronic resource] : Third International Conference, ADT 2013, Bruxelles, Belgium, November 13-15, 2013, Proceedings / by Perny, Patrice [editor.] Pirlot, Marc [editor.] Tsoukiàs, Alexis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8176 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)
	1336.	Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / by Yang, Hongseok [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7078 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)
	1337.	Distributed Computing and Networking [electronic resource] : 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings / by Chatterjee, Mainak [editor.] Cao, Jian-nong [editor.] Kothapalli, Kishore [editor.] Rajsbaum, Sergio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8314 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1338.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / by Calimeri, Francesco [editor.] Ianni, Giovambattista [editor.] Truszczynski, Miroslaw [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9345 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)
	1339.	Information Retrieval Technology [electronic resource] : 4th Asia Information Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008, Revised Selected Papers / by Li, Hang [editor.] Liu, Ting [editor.] Ma, Wei-Ying [editor.] Sakai, Tetsuya [editor.] Wong, Kam-Fai [editor.] Zhou, Guodong [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4993 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)
	1340.	ECOOP 2011--Object-Oriented Programming [electronic resource] : 25th European Conference. Lancaster, UK, July 25-29, 2011, Proceedings / by Mezini, Mira [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6813 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

Places

Topics

Titles

Your search returned 1766 results.