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

Results
	981.	Multi-Agent-Based Simulation XV [electronic resource] : International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / by Grimaldo, Francisco [editor.] Norling, Emma [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9002 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)
	982.	Computing and Combinatorics [electronic resource] : 17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings / by Fu, Bin [editor.] Du, Ding-Zhu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6842 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)
	983.	Search Based Software Engineering [electronic resource] : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings / by Sarro, Federica [editor.] Deb, Kalyanmoy [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9962 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)
	984.	Logic and Its Applications [electronic resource] : 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings / by Lodaya, Kamal [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7750 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)
	985.	Computational Science - ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III / by Alexandrov, Vassil N [editor.] van Albada, G. Dick [editor.] Sloot, Peter M.A [editor.] Dongarra, J. J [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3993 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)
	986.	Foundations of Software Science and Computation Structures [electronic resource] : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / by Muscholl, Anca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8412 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)
	987.	Computer Mathematics [electronic resource] : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers / by Kapur, Deepak [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5081 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)
	988.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers / by Blum, Christian [editor.] Ochoa, Gabriela [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8600 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)
	989.	Advances in Cryptology -- ASIACRYPT 2014 [electronic resource] : 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II / by Sarkar, Palash [editor.] Iwata, Tetsu [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8874 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)
	990.	Frontiers of Combining Systems [electronic resource] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings / by Ghilardi, Silvio [editor.] Sebastiani, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5749 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.	Parallel Computing Technologies [electronic resource] : 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4671 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)
	992.	Practical Aspects of Declarative Languages [electronic resource] : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings / by Gill, Andy [editor.] Swift, Terrance [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5418 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)
	993.	Membrane Computing [electronic resource] : 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers / by Corne, David [editor.] Frisco, Pierluigi [editor.] Păun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5391 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)
	994.	Progress in Artificial Intelligence [electronic resource] : 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings / by Neves, José Maia [editor.] Santos, Manuel Filipe [editor.] Machado, José Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4874 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)
	995.	Transactions on Computational Science XXII [electronic resource] / by Gavrilova, Marina [editor.] Tan, C.J. Kenneth [editor.] SpringerLink (Online service) Series: Transactions on Computational Science ; 8360 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)
	996.	Hybrid Artificial Intelligent Systems [electronic resource] : 10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, Proceedings / by Onieva, Enrique [editor.] Santos, Igor [editor.] Osaba, Eneko [editor.] Quintián, Héctor [editor.] Corchado, Emilio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9121 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)
	997.	Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 8th International Symposium, ARC 2012, Hongkong, China, March 19-23, 2012, Proceedings / by Choy, Oliver [editor.] Cheung, Ray [editor.] Athanas, Peter [editor.] Sano, Kentaro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7199 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)
	998.	Distributed Computing [electronic resource] : 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings / by Dolev, Shlomi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4167 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)
	999.	Scale Space and Variational Methods in Computer Vision [electronic resource] : 4th International Conference, SSVM 2013, Schloss Seggau, Graz, Austria, June 2-6, 2013, Proceedings / by Kuijper, Arjan [editor.] Bredies, Kristian [editor.] Pock, Thomas [editor.] Bischof, Horst [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 7893 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)
	1000.	Computer Algebra in Scientific Computing [electronic resource] : 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings / by Gerdt, Vladimir P [editor.] Koepf, Wolfram [editor.] Mayr, Ernst W [editor.] Vorozhtsov, Evgenii V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6244 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2608 results.