Results of search for 'ccl=su:{Computer Science } and se:Theoretical Computer Science and General Issues and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	641.	Euro-Par 2006 Parallel Processing [electronic resource] : 12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, Proceedings / by Nagel, Wolfgang E [editor.] Walter, Wolfgang V [editor.] Lehner, Wolfgang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4128 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)
	642.	Structured Object-Oriented Formal Language and Method [electronic resource] : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers / by Liu, Shaoying [editor.] Duan, Zhenhua [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9559 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)
	643.	Algorithm Theory – SWAT 2008 [electronic resource] : 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008, Proceedings / by Gudmundsson, Joachim [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5124 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)
	644.	Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / by Puebla, Germán [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4407 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)
	645.	Advances in Intelligent Computing [electronic resource] : International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I / by Huang, De-Shuang [editor.] Zhang, Xiao-Ping [editor.] Huang, Guang-Bin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3644 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)
	646.	Advances in Computer Science, Information Security and Privacy [electronic resource] : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, Proceedings / by Datta, Anupam [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5913 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)
	647.	Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / by Kroening, Daniel [editor.] Păsăreanu, Corina S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9206 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)
	648.	Advances in Computer Science - ASIAN 2007. Computer and Network Security [electronic resource] : 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings / by Cervesato, Iliano [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4846 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)
	649.	Advances in Computer Games [electronic resource] : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / by Plaat, Aske [editor.] van den Herik, Jaap [editor.] Kosters, Walter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9525 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)
	650.	Parameterized and Exact Computation [electronic resource] : 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings / by Raman, Venkatesh [editor.] Saurabh, Saket [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6478 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)
	651.	Fundamental Approaches to Software Engineering [electronic resource] : 8th International Conference, FASE 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 Cerioli, Maura [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3442 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)
	652.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings / by Bouajjani, Ahmed [editor.] Monniaux, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10145 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)
	653.	Artificial Neural Networks - ICANN 2008 [electronic resource] : 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II / by Kurkova-Pohlova, Vera [editor.] Koutnik, Jan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5164 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)
	654.	DNA Computing and Molecular Programming [electronic resource] : 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012, Proceedings / by Stefanovic, Darko [editor.] Turberfield, Andrew [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7433 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)
	655.	Arithmetic of Finite Fields [electronic resource] : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012, Proceedings / by Özbudak, Ferruh [editor.] Rodriguez-Henriquez, Francisco [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7369 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)
	656.	Fundamentals of Computation Theory [electronic resource] : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings / by Owe, Olaf [editor.] Steffen, Martin [editor.] Telle, Jan Arne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6914 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)
	657.	High Performance Computing and Applications [electronic resource] : Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers / by Zhang, Wu [editor.] Chen, Zhangxin [editor.] Douglas, Craig C [editor.] Tong, Weiqin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5938 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)
	658.	Genetic Programming [electronic resource] : 14th European Conference, EuroGP 2011, Torino, Italy, April 27-29, 2011, Proceedings / by Silva, Sara [editor.] Foster, James A [editor.] Nicolau, Miguel [editor.] Machado, Penousal [editor.] Giacobini, Mario [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6621 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)
	659.	Unconventional Computation and Natural Computation [electronic resource] : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings / by Amos, Martyn [editor.] Condon, Anne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9726 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)
	660.	Logic, Language, Information, and Computation [electronic resource] / by Ong, Luke [editor.] de Queiroz, Ruy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7456 Edition: 2nd 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

Item types

Series

Topics

Your search returned 1832 results.