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

Results
	2961.	Term Rewriting and Applications [electronic resource] : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings / by Pfenning, Frank [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4098 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)
	2962.	Theory and Applications of Models of Computation [electronic resource] : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings / by Gopal, T.V [editor.] Jäger, Gerhard [editor.] Steila, Silvia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10185 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)
	2963.	Computer Analysis of Images and Patterns [electronic resource] : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I / by Azzopardi, George [editor.] Petkov, Nicolai [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9256 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)
	2964.	Practical Aspects of Declarative Languages [electronic resource] : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings / by Carro, Manuel [editor.] Peña, Ricardo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5937 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)
	2965.	Artificial Intelligence and Cognitive Science [electronic resource] : 20th Irish Conference, AICS 2009, Dublin, Ireland, August 19-21, 2009, Revised Selected Papers / by Coyle, Lorcan [editor.] Freyne, Jill [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6206 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)
	2966.	Computational Methods in Systems Biology [electronic resource] : 7th International Conference, CMSB 2009 / by Degano, Pierpaolo [editor.] Gorrieri, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 5688 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)
	2967.	Membrane Computing [electronic resource] : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers / by Gheorghe, Marian [editor.] Paun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] Verlan, Sergey [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7184 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)
	2968.	Hybrid Artificial Intelligent Systems [electronic resource] : 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part I / by Corchado, Emilio [editor.] Kurzynski, Marek [editor.] Wozniak, Michal [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6678 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)
	2969.	Model-Driven Development of Reliable Automotive Services [electronic resource] : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / by Broy, Manfred [editor.] Krüger, Ingolf [editor.] Meisinger, Michael [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4922 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)
	2970.	Knowledge Management in Electronic Government [electronic resource] : 5th IFIP International Working Conference, KMGov 2004, Krems, Austria, May 17-19, 2004, Proceedings / by Wimmer, Maria A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3035 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)
	2971.	Foundations on Natural and Artificial Computation [electronic resource] : 4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I / by Ferrández, José M [editor.] Álvarez, José Ramón [editor.] de la Paz, Félix [editor.] Toledo, Fco. Javier [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6686 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)
	2972.	Artificial Intelligence and Soft Computing – ICAISC 2008 [electronic resource] : 9th International Conference Zakopane, Poland, June 22-26, 2008, Proceedings / by Rutkowski, Leszek [editor.] Tadeusiewicz, Ryszard [editor.] Zadeh, Lofti A [editor.] Zurada, Jacek M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5097 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)
	2973.	Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 16th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2017, Messina, Italy, September 20-22, 2017, Proceedings / by Puliafito, Antonio [editor.] Bruneo, Dario [editor.] Distefano, Salvatore [editor.] Longo, Francesco [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 10517 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)
	2974.	Logic-Based Program Synthesis and Transformation [electronic resource] : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / by De Schreye, Danny [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6037 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)
	2975.	Mathematical Foundations of Computer Science 2015 [electronic resource] : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II / by Italiano, Giuseppe F [editor.] Pighizzini, Giovanni [editor.] Sannella, Donald T [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9235 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)
	2976.	Symbol Grounding and Beyond [electronic resource] : Third International Workshop on the Emergence and Evolution of Linguistic Communications, EELC 2006, Rome, Italy, September 30-October 1, 2006, Proceedings / by Vogt, Paul [editor.] Sugita, Yuuya [editor.] Tuci, Elio [editor.] Nehaniv, Chrystopher [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4211 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)
	2977.	Applications of Evolutionary Computation [electronic resource] : 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers / by Esparcia-Alcázar, Anna I [editor.] Mora, Antonio M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8602 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)
	2978.	Artificial Intelligence and Soft Computing [electronic resource] : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II / by Rutkowski, Leszek [editor.] Korytkowski, Marcin [editor.] Scherer, Rafal [editor.] Tadeusiewicz, Ryszard [editor.] Zadeh, Lotfi A [editor.] Zurada, Jacek M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7895 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)
	2979.	Trusted Systems [electronic resource] : First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Proceedings / by Chen, Liqun [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6163 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)
	2980.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings / by Hermann, Miki [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4246 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.