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

Results
	1441.	Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings / by Carpin, Stefano [editor.] Noda, Itsuki [editor.] Pagello, Enrico [editor.] Reggiani, Monica [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5325 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)
	1442.	Computer Science -- Theory and Applications [electronic resource] : First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings / by Grigoriev, Dima [editor.] Harrison, John [editor.] Hirsch, Edward A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3967 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)
	1443.	Automata, Languages and Programming [electronic resource] : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II / by Albers, Susanne [editor.] Marchetti-Spaccamela, Alberto [editor.] Matias, Yossi [editor.] Nikoletseas, Sotiris [editor.] Thomas, Wolfgang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5556 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)
	1444.	Unconventional Computation [electronic resource] : 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings / by Calude, Cristian S [editor.] Dinneen, Michael J [editor.] Paun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] Stepney, Susan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4135 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)
	1445.	Statistical Learning and Data Sciences [electronic resource] : Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings / by Gammerman, Alexander [editor.] Vovk, Vladimir [editor.] Papadopoulos, Harris [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9047 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)
	1446.	Algorithms and Computation [electronic resource] : 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings / by Hong, Seok-Hee [editor.] Nagamochi, Hiroshi [editor.] Fukunaga, Takuro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5369 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)
	1447.	AI 2010: Advances in Artificial Intelligence [electronic resource] : 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings / by Li, Jiuyong [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6464 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)
	1448.	Independent Component Analysis and Blind Signal Separation [electronic resource] : Fifth International Conference, ICA 2004, Granada, Spain, September 22-24, 2004, Proceedings / by Puntonet, Carlos G [editor.] Prieto, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3195 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1449.	Coordination Models and Languages [electronic resource] : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings / by Jacquet, Jean-Marie [editor.] Picco, Gian Pietro [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3454 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)
	1450.	Recent Advances in Reinforcement Learning [electronic resource] : 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised and Selected Papers / by Sanner, Scott [editor.] Hutter, Marcus [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7188 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)
	1451.	Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I / by Wang, Jun [editor.] Yi, Zhang [editor.] Zurada, Jacek M [editor.] Lu, Bao-Liang [editor.] Hujun, Yin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3971 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)
	1452.	Reachability Problems [electronic resource] : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings / by Ouaknine, Joel [editor.] Potapov, Igor [editor.] Worrell, James [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8762 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)
	1453.	LATIN 2006: Theoretical Informatics [electronic resource] : 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings / by Correa, José R [editor.] Hevia, Alejandro [editor.] Kiwi, Marcos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3887 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)
	1454.	Transactions on Computational Science IX [electronic resource] : Special Issue on Voronoi Diagrams in Science and Engineering / by Tan, C. J. Kenneth [editor.] SpringerLink (Online service) Series: Transactions on Computational Science ; 6290 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)
	1455.	Cryptography and Coding [electronic resource] : 10th IMA International Conference, Cirencester, UK, December 19-21, 2005, Proceedings / by Smart, Nigel [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3796 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)
	1456.	Advances in Artificial Life [electronic resource] : 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007, Proceedings / by Almeida e Costa, Fernando [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4648 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)
	1457.	Foundations of Software Science and Computation Structures [electronic resource] : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / by Esparza, Javier [editor.] Murawski, Andrzej S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10203 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1458.	Mathematical Foundations of Computer Science 2006 [electronic resource] : 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings / by Královic, Rastislav [editor.] Urzyczyn, Pawel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4162 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)
	1459.	Unconventional Computation [electronic resource] : 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, Proceedings / by Calude, Christian S [editor.] da Costa, Jose Felix Gomes [editor.] Freund, Rudolf [editor.] Oswald, Marion [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5204 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)
	1460.	Computer Aided Verification [electronic resource] : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings / by Alur, Rajeev [editor.] Peled, Doron A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3114 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 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 2608 results.