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
	361.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings / by Kuncak, Viktor [editor.] Rybalchenko, Andrey [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7148 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)
	362.	Frontiers in Algorithms [electronic resource] : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, Proceedings / by Lee, D.T [editor.] Chen, Danny Z [editor.] Ying, Shi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6213 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)
	363.	ECOOP 2012 -- Object-Oriented Programming [electronic resource] : 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings / by Noble, James [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7313 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)
	364.	Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings / by Alpuente, María [editor.] Vidal-Oriola, Germán [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5079 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)
	365.	Modular Programming Languages [electronic resource] : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings / by Lightfoot, David [editor.] Szyperski, Clemens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4228 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)
	366.	Frontiers of Combining Systems [electronic resource] : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / by Lutz, Carsten [editor.] Ranise, Silvio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9322 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)
	367.	Automated Technology for Verification and Analysis [electronic resource] : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings / by Cassez, Franck [editor.] Raskin, Jean-Francois [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8837 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)
	368.	Rough Sets and Current Trends in Computing [electronic resource] : 7th International Conference, RSCTC 2010, Warsaw, Poland, June 28-30, 2010 Proceedings / by Szczuka, Marcin [editor.] Kryszkiewicz, Marzena [editor.] Jensen, Richard [editor.] Hu, Qinghua [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6086 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)
	369.	Machines, Computations, and Universality [electronic resource] : 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings / by Durand-Lose, Jérôme [editor.] Margenstern, Maurice [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4664 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)
	370.	Hybrid Metaheuristics [electronic resource] : 5th International Workshop, HM 2008, Malaga, Spain, October 8-9, 2008. Proceedings / by Blum, Christian [editor.] Cotta, Carlos [editor.] Fernández Leiva, Antonio José [editor.] Gallardo Ruiz, José E [editor.] Roli, Andrea [editor.] Sampels, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5296 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)
	371.	Advances in Computer Games [electronic resource] : 12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers / by van den Herik, H. Jaap [editor.] Spronck, Pieter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6048 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)
	372.	Advances in Information and Computer Security [electronic resource] : 5th International Worshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010, Proceedings / by Echizen, Isao [editor.] Kunihiro, Noboru [editor.] Sasaki, Ryoichi [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6434 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)
	373.	Fields of Logic and Computation [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / by Blass, Andreas [editor.] Dershowitz, Nachum [editor.] Reisig, Wolfgang [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6300 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)
	374.	Logic and the Foundations of Game and Decision Theory - LOFT 8 [electronic resource] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers / by Bonanno, Giacomo [editor.] Löwe, Benedikt [editor.] van der Hoek, Wiebe [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6006 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)
	375.	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings / by Serna, Maria [editor.] Shaltiel, Ronen [editor.] Jansen, Klaus [editor.] Rolim, José [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6302 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)
	376.	Inductive Logic Programming [electronic resource] : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers / by Zaverucha, Gerson [editor.] Santos Costa, Vítor [editor.] Paes, Aline [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8812 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)
	377.	Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / by Archibald, Margaret [editor.] Brattka, Vasco [editor.] Goranko, Valentin F [editor.] Löwe, Benedikt [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5489 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)
	378.	Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings / by Joshi, Rajeev [editor.] Müller, Peter [editor.] Podelski, Andreas [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7152 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)
	379.	Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings / by Leavens, Gary T [editor.] O'Hearn, Peter [editor.] Rajamani, Sriram K [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6217 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)
	380.	Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Second Interntional Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers / by Croitoru, Madalina [editor.] Rudolph, Sebastian [editor.] Wilson, Nic [editor.] Howse, John [editor.] Corby, Olivier [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7205 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

Topics

Your search returned 1169 results.