Results of search for 'ccl=su:{Computer programming.} and su-to:Computer programming and su-to:Computer science and su-to:Computer programming' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	741.	Inductive Logic Programming [electronic resource] : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers / by Davis, Jesse [editor.] Ramon, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9046 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)
	742.	Uncertainty Reasoning for the Semantic Web I [electronic resource] : ISWC International Workshop, URSW 2005-2007, Revised Selected and Invited Papers / by Costa, Paulo Cesar G [editor.] d'Amato, Claudia [editor.] Fanizzi, Nicola [editor.] Laskey, Kathryn B [editor.] Laskey, Kenneth J [editor.] Nickles, Matthias [editor.] Pool, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5327 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)
	743.	Quantum Interaction [electronic resource] : Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009, Proceedings / by Bruza, Peter [editor.] Sofge, Donald [editor.] Lawless, William [editor.] van Rijsbergen, C.J [editor.] Klusch, Matthias [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5494 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)
	744.	Comparative Genomics [electronic resource] : International Workshop, RECOMB-CG 2010, Ottawa, Canada, October 9-11, 2010, Proceedings / by Tannier, Eric [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 6398 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)
	745.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / by Davis, Martin [editor.] Fehnker, Ansgar [editor.] McIver, Annabelle [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9450 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)
	746.	Algorithmic Learning Theory [electronic resource] : 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings / by Hutter, Marcus [editor.] Stephan, Frank [editor.] Vovk, Vladimir [editor.] Zeugmann, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6331 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)
	747.	Tests and Proofs [electronic resource] : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / by Blanchette, Jasmin Christian [editor.] Kosmatov, Nikolai [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9154 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)
	748.	Runtime Verification [electronic resource] : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / by Bonakdarpour, Borzoo [editor.] Smolka, Scott A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8734 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	749.	Distributed Applications and Interoperable Systems [electronic resource] : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by Kutvonen, Lea [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3543 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)
	750.	Metainformatics [electronic resource] : International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers / by Kock Wiil, Uffe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3511 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)
	751.	Transactions on Rough Sets XII [electronic resource] / by Slowiński, Roman [editor.] Lingras, Pawan [editor.] Miao, Duoqian [editor.] Tsumoto, Shusaku [editor.] SpringerLink (Online service) Series: Transactions on Rough Sets ; 6190 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)
	752.	Algorithms and Data Structures [electronic resource] : 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, Proceedings / by Dehne, Frank [editor.] Sack, Jörg-Rüdiger [editor.] Zeh, Norbert [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4619 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)
	753.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings / by McMillan, Ken [editor.] Middeldorp, Aart [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8312 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)
	754.	Emerging Trends in Visual Computing [electronic resource] : LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008, Revised Selected and Invited Papers / by Nielsen, Frank [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5416 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)
	755.	Formal Methods for Components and Objects [electronic resource] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey / by Bonsangue, Marcello M [editor.] Madelaine, Eric [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5751 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)
	756.	Advances in Grid Computing - EGC 2005 [electronic resource] : European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers / by Sloot, P.M.A [editor.] Hoekstra, A.G [editor.] Priol, T [editor.] Reinefeld, A [editor.] Bubak, M [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3470 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)
	757.	Multiple Classifier Systems [electronic resource] : 8th International Workshop, MCS 2009, Reykjavik, Iceland, June 10-12, 2009, Proceedings / by Benediktsson, Jón Atli [editor.] Kittler, Josef [editor.] Roli, Fabio [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5519 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)
	758.	Public Key Cryptography - PKC 2009 [electronic resource] : 12th International Conference on Practice and Theory in Public Key Cryptography Irvine, CA, USA, March 18-20, 2009, Proceedings / by Jarecki, Stanislaw [editor.] Tsudik, Gene [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5443 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)
	759.	Arithmetic of Finite Fields [electronic resource] : Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010, Proceedings / by Hasan, M. Anwar [editor.] Helleseth, Tor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6087 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)
	760.	Coordination Models and Languages [electronic resource] : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings / by Murphy, Amy L [editor.] Vitek, Jan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4467 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1169 results.