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

Results
	3761.	Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I / by Halldórsson, Magnús M [editor.] Iwama, Kazuo [editor.] Kobayashi, Naoki [editor.] Speckmann, Bettina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9134 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)
	3762.	Emerging Intelligent Computing Technology and Applications [electronic resource] : 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, South Korea, September 16-19, 2009 Proceedings / by Huang, De-Shuang [editor.] Jo, Kang-Hyun [editor.] Lee, Hong-Hee [editor.] Kang, Hee-Jun [editor.] Bevilacqua, Vitoantonio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5754 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)
	3763.	Genetic Programming [electronic resource] : 12th European Conference, EuroGP 2009 Tübingen, Germany, April, 15-17, 2009 Proceedings / by Vanneschi, Leonardo [editor.] Gustafson, Steven [editor.] Moraglio, Alberto [editor.] de Falco, Ivanoe [editor.] Ebner, Marc [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5481 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)
	3764.	Languages and Compilers for Parallel Computing [electronic resource] : 16th International Workshop, LCPC 2003, College Sation, TX, USA, October 2-4, 2003, Revised Papers / by Rauchwerger, Lawrence [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2958 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)
	3765.	Annotating, Extracting and Reasoning about Time and Events [electronic resource] : International Seminar, Dagstuhl Castle, Germany, April 20-15, 2005, Revised Papers / by Schilder, Frank [editor.] Katz, Graham [editor.] Pustejovsky, James [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4795 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)
	3766.	Computational Logic in Multi-Agent Systems [electronic resource] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / by Fisher, Michael [editor.] Sadri, Fariba [editor.] Thielscher, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5405 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)
	3767.	Artificial Immune Systems [electronic resource] : 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006, Proceedings / by Bersini, Hugues [editor.] Carneiro, Jorge [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4163 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)
	3768.	Formal Theories of Information [electronic resource] : From Shannon to Semantic Information Theory and General Concepts of Information / by Sommaruga, Giovanni [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5363 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)
	3769.	Information Theoretic Security [electronic resource] : 7th International Conference, ICITS 2013, Singapore, November 28-30, 2013, Proceedings / by Padró, Carles [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8317 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)
	3770.	Data Warehousing and Knowledge Discovery [electronic resource] : 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings / by Tjoa, A Min [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3589 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)
	3771.	Transactions on Petri Nets and Other Models of Concurrency III [electronic resource]. by SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 5800 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)
	3772.	Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings / by Agotnes, Thomas [editor.] Broersen, Jan M [editor.] Elgesem, Dag [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7393 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)
	3773.	Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / by Berghofer, Stefan [editor.] Nipkow, Tobias [editor.] Urban, Christian [editor.] Wenzel, Makarius [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5674 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)
	3774.	Logic Programming [electronic resource] : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / by Etalle, Sandro [editor.] Truszczynski, Miroslav [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4079 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)
	3775.	Lightweight Cryptography for Security and Privacy [electronic resource] : 5th International Workshop, LightSec 2016, Aksaray, Turkey, September 21-22, 2016, Revised Selected Papers / by Bogdanov, Andrey [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10098 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)
	3776.	MICAI 2005: Advances in Artificial Intelligence [electronic resource] : 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings / by Gelbukh, Alexander [editor.] Terashima, Hugo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3789 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)
	3777.	Research in Computational Molecular Biology [electronic resource] : 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010, Proceedings / by Berger, Bonnie [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 6044 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)
	3778.	Interactive Theorem Proving [electronic resource] : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings / by Kaufmann, Matt [editor.] Paulson, Lawrence C [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6172 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)
	3779.	Developments in Language Theory [electronic resource] : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / by Brlek, Srečko [editor.] Reutenauer, Christophe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9840 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3780.	AI*IA 2011: Artificial Intelligence Around Man and Beyond [electronic resource] : XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings / by Pirrone, Roberto [editor.] Sorbello, Filippo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6934 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

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.