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

Results
	3281.	Cryptology and Network Security [electronic resource] : 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings / by Foresti, Sara [editor.] Persiano, Giuseppe [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10052 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)
	3282.	Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings / by Horváth, András [editor.] Telek, Miklós [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4054 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)
	3283.	Artificial Neural Networks and Machine Learning - ICANN 2011 [electronic resource] : 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011, Proceedings, Part II / by Honkela, Timo [editor.] Duch, Włodzisław [editor.] Girolami, Mark [editor.] Kaski, Samuel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6792 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)
	3284.	Knowledge Discovery in Inductive Databases [electronic resource] : 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers / by Bonchi, Francesco [editor.] Boulicaut, Jean-Francois [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3933 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)
	3285.	Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2010, Barcelona, Spain, September 20-24, 2010. Proceedings, Part I / by Balcázar, José L [editor.] Bonchi, Francesco [editor.] Gionis, Aristides [editor.] Sebag, Michèle [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6321 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)
	3286.	General Theory of Information Transfer and Combinatorics [electronic resource] / by Ahlswede, Rudolf [editor.] Bäumer, Lars [editor.] Cai, Ning [editor.] Aydinian, Harout [editor.] Blinovsky, Vladimir [editor.] Deppe, Christian [editor.] Mashurian, Haik [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4123 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)
	3287.	Computer Aided Verification [electronic resource] : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings / by Biere, Armin [editor.] Bloem, Roderick [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8559 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)
	3288.	Unconventional Computation and Natural Computation [electronic resource] : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings / by Mauri, Giancarlo [editor.] Dennunzio, Alberto [editor.] Manzoni, Luca [editor.] Porreca, Antonio E [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7956 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)
	3289.	Language and Automata Theory and Applications [electronic resource] : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings / by Martin-Vide, Carlos [editor.] Fernau, Henning [editor.] Dediu, Adrian Horia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6031 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)
	3290.	Logic and Its Applications [electronic resource] : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings / by Ghosh, Sujata [editor.] Prasad, Sanjiva [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10119 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)
	3291.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings / by van Hoeve, Willem-Jan [editor.] Hooker, John N [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5547 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)
	3292.	Interactive Theorem Proving [electronic resource] : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings / by Blanchette, Jasmin Christian [editor.] Merz, Stephan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9807 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)
	3293.	Computational Science -- ICCS 2005 [electronic resource] : 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II / by Sunderam, V.S [editor.] Albada, G. Dick van [editor.] Sloot, Peter M.A [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3515 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)
	3294.	Arithmetic of Finite Fields [electronic resource] : Second International Workshop, WAIFI 2008, Siena, Italy, July 6-9, 2008, Proceedings / by von zur Gathen, Joachim [editor.] Imana, José Luis [editor.] Koc, Cetin Kaya [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5130 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)
	3295.	Learning and Intelligent Optimization [electronic resource] : 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers / by Hamadi, Youssef [editor.] Schoenauer, Marc [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7219 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)
	3296.	Rough Set and Knowledge Technology [electronic resource] : 6th International Conference, RSKT 2011, Banff, Canada, October 9-12, 2011, Proceedings / by Yao, JingTao [editor.] Ramanna, Sheela [editor.] Wang, Guoyin [editor.] Suraj, Zbigniew [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6954 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)
	3297.	Computer Science Logic [electronic resource] : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings / by Ong, Luke [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3634 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)
	3298.	Development in Language Theory [electronic resource] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / by Mauri, Giancarlo [editor.] Leporati, Alberto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6795 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)
	3299.	Frontiers of Combining Systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings / by Tinelli, Cesare [editor.] Sofronie-Stokkermans, Viorica [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6989 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)
	3300.	Static Analysis [electronic resource] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings / by Palsberg, Jens [editor.] Su, Zhendong [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5673 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.