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

Results
	801.	Parallel Problem Solving from Nature - PPSN X [electronic resource] : 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings / by Rudolph, Günter [editor.] Jansen, Thomas [editor.] Lucas, Simon M [editor.] Poloni, Carlo [editor.] Beume, Nicola [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5199 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)
	802.	Mastering Scale and Complexity in Software Reuse [electronic resource] : 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings / by Botterweck, Goetz [editor.] Werner, Claudia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10221 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)
	803.	Programming Languages and Systems [electronic resource] : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings / by Sagiv, Mooly [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3444 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)
	804.	Logic-Based Program Synthesis and Transformation [electronic resource] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / by King, Andy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4915 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)
	805.	Coordination Models and Languages [electronic resource] : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / by Jacquet, Jean-Marie [editor.] Massink, Mieke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10319 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)
	806.	Runtime Verification [electronic resource] : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings / by Lahiri, Shuvendu [editor.] Reger, Giles [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10548 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)
	807.	Static Analysis [electronic resource] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / by Hankin, Chris [editor.] Siveroni, Igor [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3672 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)
	808.	Software Engineering for Multi-Agent Systems III [electronic resource] : Research Issues and Practical Applications / by Choren, Ricardo [editor.] Garcia, Alessandro [editor.] Lucena, Carlos [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3390 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)
	809.	Conceptual Modeling - ER 2009 [electronic resource] : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009, Proceedings / by Laender, Alberto H. F [editor.] Castano, Silvana [editor.] Dayal, Umeshwar [editor.] Casati, Fabio [editor.] de Oliverira, José Palazzo M [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5829 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)
	810.	Algorithmic Aspects in Information and Management [electronic resource] : 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009, Proceedings / by Goldberg, Andrew [editor.] Zhou, Yunhong [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5564 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)
	811.	Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers / by Apt, Krzysztof R [editor.] Fages, Francois [editor.] Rossi, Francesca [editor.] Szeredi, Peter [editor.] Váncza, Josef [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3010 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)
	812.	Wireless Sensor Networks [electronic resource] : 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012, Proceedings / by Picco, Gian Pietro [editor.] Heinzelman, Wendi [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7158 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)
	813.	Formal Foundations of Reuse and Domain Engineering [electronic resource] : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings / by Edwards, Stephen H [editor.] Kulczycki, Gregory [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5791 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)
	814.	Software Composition [electronic resource] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings / by Bergel, Alexandre [editor.] Fabry, Johan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5634 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)
	815.	Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers / by Butterfield, Andrew [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5713 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)
	816.	Testing of Software and Communication Systems [electronic resource] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings / by Nunez, Manuel [editor.] Baker, Paul [editor.] Merayo, Mercedes G [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5826 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)
	817.	High-Performance Computing [electronic resource] : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers / by Labarta, Jesus [editor.] Joe, Kazuki [editor.] Sato, Toshinori [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4759 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)
	818.	Transactions on Petri Nets and Other Models of Concurrency I [electronic resource] / by van der Aalst, Wil M. P [editor.] Billington, Jonathan [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 5100 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)
	819.	Algorithms and Complexity [electronic resource] : 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings / by Diaz, Josep [editor.] Calamoneri, Tiziana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6078 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)
	820.	Fundamentals of Computation Theory [electronic resource] : 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings / by Kutylowski, Miroslaw [editor.] Gebala, Maciej [editor.] Charatonik, Witold [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5699 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 1766 results.