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

Results
	1601.	Intelligent Computer Mathematics [electronic resource] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / by Kohlhase, Michael [editor.] Johansson, Moa [editor.] Miller, Bruce [editor.] de Moura, Leonardo [editor.] Tompa, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9791 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)
	1602.	Machines, Computations, and Universality [electronic resource] : 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers / by Margenstern, Maurice [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3354 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)
	1603.	The Beauty of Functional Code [electronic resource] : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday / by Achten, Peter [editor.] Koopman, Pieter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8106 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)
	1604.	FM 2015: Formal Methods [electronic resource] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / by Bjørner, Nikolaj [editor.] de Boer, Frank [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9109 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)
	1605.	Programs, Proofs, Processes [electronic resource] : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings / by Ferreira, Fernando [editor.] Löwe, Benedikt [editor.] Mayordomo, Elvira [editor.] Gomes, Luís Mendes [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6158 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)
	1606.	Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings / by Dahl, Verónica [editor.] Niemelä, Ilkka [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4670 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)
	1607.	Advances in Visual Computing [electronic resource] : Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part II / by Boyle, Richard [editor.] Parvin, Bahram [editor.] Koracin, Darko [editor.] Nefian, Ara [editor.] Meenakshisundaram, Gopi [editor.] Pascucci, Valerio [editor.] Zara, Jiri [editor.] Molineros, Jose [editor.] Theisel, Holger [editor.] Malzbender, Tom [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 4292 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)
	1608.	Programming Multi-Agent-Systems [electronic resource] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / by Bordini, R.H [editor.] Dastani, M [editor.] Dix, J [editor.] El Fallah Seghrouchni, A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4411 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)
	1609.	Hybrid Artificial Intelligent Systems, Part II [electronic resource] : 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings / by Romay, Manuel Grana [editor.] Savio, Alexandre Manhaes [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6077 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)
	1610.	Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings / by Gonthier, Georges [editor.] Norrish, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8307 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1611.	Applications of Evolutionary Computing [electronic resource] : Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC / by Rothlauf, Franz [editor.] Branke, Jürgen [editor.] Cagnoni, Stefano [editor.] Corne, David W [editor.] Drechsler, Rolf [editor.] Jin, Yaochu [editor.] Machado, Penousal [editor.] Marchiori, Elena [editor.] Romero, Juan [editor.] Smith, George D [editor.] Squillero, Giovanni [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3449 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)
	1612.	Formal Methods for Dynamical Systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / by Bernardo, Marco [editor.] de Vink, Erik [editor.] Di Pierro, Alessandra [editor.] Wiklicky, Herbert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7938 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)
	1613.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings / by Brünnler, Kai [editor.] Metcalfe, George [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6793 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)
	1614.	Practical Aspects of Declarative Languages [electronic resource] : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings / by Lierler, Yuliya [editor.] Taha, Walid [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10137 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)
	1615.	Foundational and Practical Aspects of Resource Analysis [electronic resource] : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers / by Peña, Ricardo [editor.] van Eekelen, Marko [editor.] Shkaravska, Olha [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7177 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)
	1616.	Agents and Artificial Intelligence [electronic resource] : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers / by van den Herik, Jaap [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10162 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)
	1617.	Human-Computer Interaction. Interaction Design and Usability [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I / by Jacko, Julie A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4550 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)
	1618.	Developments in Language Theory [electronic resource] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings / by Gao, Yuan [editor.] Lu, Hanlin [editor.] Seki, Shinnosuke [editor.] Yu, Sheng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6224 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)
	1619.	Typed Lambda Calculi and Applications [electronic resource] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings / by Curien, Pierre-Louis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5608 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)
	1620.	Static Analysis [electronic resource] : 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings / by Yahav, Eran [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6887 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 3358 results.