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

Results
	981.	Rewriting Techniques and Applications [electronic resource] : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings / by Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5117 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)
	982.	Algorithms - ESA 2007 [electronic resource] : 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings / by Arge, Lars [editor.] Hoffmann, Michael [editor.] Welzl, Emo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4698 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)
	983.	Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings / by Sharygina, Natasha [editor.] Veith, Helmut [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8044 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)
	984.	Quantitative Evaluation of Systems [electronic resource] : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / by Agha, Gul [editor.] Van Houdt, Benny [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9826 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)
	985.	Euro-Par 2006 Workshops: Parallel Processing [electronic resource] : CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers / by Lehner, Wolfgang [editor.] Meyer, Norbert [editor.] Streit, Achim [editor.] Stewart, Craig [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4375 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)
	986.	Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / by Chaudhuri, Swarat [editor.] Farzan, Azadeh [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9779 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)
	987.	Evolvable Systems: From Biology to Hardware [electronic resource] : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings / by Tempesti, Gianluca [editor.] Tyrrell, Andy [editor.] Miller, Julian F [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6274 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)
	988.	Mathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings / by Gibbons, Jeremy [editor.] Nogueira, Pablo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7342 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)
	989.	Theoretical Aspects of Computing -- ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings / by Liu, Zhiming [editor.] Woodcock, Jim [editor.] Zhu, Huibiao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8049 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)
	990.	Algebraic Informatics [electronic resource] : 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009 / by Bozapalidis, Symeon [editor.] Rahonis, George [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5725 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)
	991.	Independent Component Analysis and Signal Separation [electronic resource] : 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009, Proceedings / by Adali, Tulay [editor.] Jutten, Christian [editor.] Romano, Joao Marcos Travassos [editor.] Barros, Allan Kardec [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5441 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)
	992.	Foundations of Genetic Algorithms [electronic resource] : 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers / by Stephens, Christopher R [editor.] Toussaint, Marc [editor.] Whitley, Darrell [editor.] Stadler, Peter F [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4436 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)
	993.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / by Jhala, Ranjit [editor.] Schmidt, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6538 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)
	994.	Resource Allocation in Wireless Networks [electronic resource] : Theory and Algorithms / by Stanczak, Slawomir [author.] Wiczanowski, Marcin [author.] Boche, Holger [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4000 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)
	995.	Algorithmic Number Theory [electronic resource] : 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings / by van der Poorten, Alf J [editor.] Stein, Andreas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5011 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)
	996.	Theory and Applications of Models of Computation [electronic resource] : 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings / by Agrawal, Manindra [editor.] Cooper, Barry S [editor.] Li, Angsheng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7287 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)
	997.	Computational Linguistics and Intelligent Text Processing [electronic resource] : 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I / by Gelbukh, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9041 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)
	998.	Hybrid Learning and Education [electronic resource] : First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings / by Fong, Joseph [editor.] Kwan, Reggie [editor.] Wang, Fu Lee [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5169 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)
	999.	Models of Strategic Reasoning [electronic resource] : Logics, Games, and Communities / by van Benthem, Johan [editor.] Ghosh, Sujata [editor.] Verbrugge, Rineke [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8972 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)
	1000.	Language and Automata Theory and Applications [electronic resource] : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 / by Dediu, Adrian-Horia [editor.] Martín-Vide, Carlos [editor.] Inenaga, Shunsuke [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6638 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

Item types

Series

Topics

Your search returned 1832 results.