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

Results
	581.	Computational Science and Its Applications - ICCSA 2004 [electronic resource] : International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part IV / by Laganà, Antonio [editor.] Gavrilova, Marina L [editor.] Kumar, Vipin [editor.] Mun, Youngsong [editor.] Tan, C.J. Kenneth [editor.] Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3046 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)
	582.	Model Driven Engineering Languages and Systems [electronic resource] : 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II / by Petriu, Dorina C [editor.] Rouquette, Nicolas [editor.] Haugen, Oystein [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6395 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)
	583.	Research in Computational Molecular Biology [electronic resource] : 13th Annual International Conference, RECOMB 2009, Tucson, Arizona, USA, May 18-21, 2009, Proceedings / by Batzoglou, Serafim [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 5541 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)
	584.	Objects, Agents, and Features [electronic resource] : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers / by Ryan, Mark [editor.] Meyer, John-Jules Ch [editor.] Ehrich, Hans-Dieter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2975 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)
	585.	Foundational and Practical Aspects of Resource Analysis [electronic resource] : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers / by van Eekelen, Marko [editor.] Shkaravska, Olha [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6324 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)
	586.	Learning Classifier Systems [electronic resource] : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers / by Bacardit, Jaume [editor.] Bernadó-Mansilla, Ester [editor.] Butz, Martin V [editor.] Kovacs, Tim [editor.] Llorà, Xavier [editor.] Takadama, Keiki [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4998 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)
	587.	Topics in Theoretical Computer Science [electronic resource] : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings / by Mousavi, Mohammad Reza [editor.] Sgall, Jiří [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10608 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)
	588.	Graph Transformation, Specifications, and Nets [electronic resource] : In Memory of Hartmut Ehrig / by Heckel, Reiko [editor.] Taentzer, Gabriele [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10800 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)
	589.	Graphical Models for Security [electronic resource] : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers / by Liu, Peng [editor.] Mauw, Sjouke [editor.] Stolen, Ketil [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10744 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)
	590.	Model Checking and Artificial Intelligence [electronic resource] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / by van der Meyden, Ron [editor.] Smaus, Jan-Georg [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6572 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)
	591.	Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs [electronic resource] : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers / by Paech, Barbara [editor.] Martell, Craig [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5320 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)
	592.	Languages, Methodologies and Development Tools for Multi-Agent Systems [electronic resource] : First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers / by Dastani, Mehdi [editor.] El Fallah Seghrouchni, Amal [editor.] Leite, Joao [editor.] Torroni, Paolo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5118 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)
	593.	Languages, Methodologies, and Development Tools for Multi-Agent Systems [electronic resource] : Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers / by Dastani, Mehdi [editor.] El Fallah Seghrouchni, Amal [editor.] Hübner, Jomi [editor.] Leite, Joao [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6822 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)
	594.	Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings / by Van Eekelen, Marko [editor.] Geuvers, Herman [editor.] Schmaltz, Julien [editor.] Wiedijk, Freek [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6898 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)
	595.	Algorithms and Computation [electronic resource] : 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I / by Cheong, Otfried [editor.] Chwa, Kyung-Yong [editor.] Park, Kunsoo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6506 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)
	596.	Functional and Logic Programming [electronic resource] : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings / by Garrigue, Jacques [editor.] Hermenegildo, Manuel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4989 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)
	597.	High-Performance Scientific Computing [electronic resource] : First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers / by Di Napoli, Edoardo [editor.] Hermanns, Marc-André [editor.] Iliev, Hristo [editor.] Lintermann, Andreas [editor.] Peyser, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10164 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)
	598.	Computational Intelligence for Knowledge-Based System Design [electronic resource] : 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings / by Hüllermeier, Eyke [editor.] Kruse, Rudolf [editor.] Hoffmann, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6178 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)
	599.	Progress in Artificial Intelligence [electronic resource] : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings / by Bento, Carlos [editor.] Cardoso, Amilcar [editor.] Dias, Gael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3808 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)
	600.	Experimental Algorithms [electronic resource] : 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings / by Klasing, Ralf [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7276 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 1766 results.