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

Results
	3221.	KI 2013: Advances in Artificial Intelligence [electronic resource] : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013, Proceedings / by Timm, Ingo J [editor.] Thimm, Matthias [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8077 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)
	3222.	Tests and Proofs [electronic resource] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings / by Dubois, Catherine [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5668 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)
	3223.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning [electronic resource] : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday / by Balduccini, Marcello [editor.] Son, Tran Cao [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6565 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)
	3224.	Trustworthy Global Computing [electronic resource] : 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers / by Maffei, Matteo [editor.] Tuosto, Emilio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8902 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)
	3225.	Applications of Evolutionary Computing [electronic resource] : 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings / by Esparcia-Alcázar, Anna I [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7835 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)
	3226.	Transactions on Computational Systems Biology VII [electronic resource] / by Ingolfsdottir, Anna [editor.] Mishra, Bud [editor.] Nielson, Hanne Riis [editor.] SpringerLink (Online service) Series: Transactions on Computational Systems Biology ; 4230 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)
	3227.	Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I / by Slezak, Dominik [editor.] Szczuka, Marcin [editor.] Duentsch, Ivo [editor.] Yao, Yiyu [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3641 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)
	3228.	Multi-Agent Based Simulation XVI [electronic resource] : International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers / by Gaudou, Benoit [editor.] Sichman, Jaime Simao [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9568 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)
	3229.	Advances in Web-Age Information Management [electronic resource] : 7th International Conference, WAIM 2006, Hong Kong, China, June 17-19, 2006, Proceedings / by Yu, Jeffrey Xu [editor.] Kitsuregawa, Masaru [editor.] Leong, Hong Va [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4016 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)
	3230.	Mathematical Theory and Computational Practice [electronic resource] : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings / by Ambos-Spies, Klaus [editor.] Löwe, Benedikt [editor.] Merkle, Wolfgang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5635 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)
	3231.	Modelling Autonomic Communication Environments [electronic resource] : 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010, Proceedings / by Brennan, Rob [editor.] Fleck II, Joel [editor.] van der Meer, Sven [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 6473 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)
	3232.	Principles and Practice of Constraint Programming [electronic resource] : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings / by Rueher, Michel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9892 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)
	3233.	Applied Parallel Computing [electronic resource] : State of the Art in Scientific Computing / by Dongarra, Jack [editor.] Madsen, Kaj [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3732 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)
	3234.	Scientific and Statistical Database Management [electronic resource] : 21st International Conference, SSDBM 2009, New Orleans, LA, USA, June 2-4, 2009 Proceedings / by Winslett, Marianne [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5566 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)
	3235.	Implementation and Application of Automata [electronic resource] : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings / by Konstantinidis, Stavros [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7982 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)
	3236.	Neural Networks: Tricks of the Trade [electronic resource] / by Montavon, Grégoire [editor.] Orr, Geneviève [editor.] Müller, Klaus-Robert [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7700 Edition: 2nd 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)
	3237.	String Processing and Information Retrieval [electronic resource] : 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings / by Consens, Mariano [editor.] Navarro, Gonzalo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3772 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)
	3238.	Public-Key Cryptography -- PKC 2015 [electronic resource] : 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings / by Katz, Jonathan [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9020 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)
	3239.	Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part III / by Huang, Tingwen [editor.] Zeng, Zhigang [editor.] Li, Chuandong [editor.] Leung, Chi-Sing [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7665 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)
	3240.	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 III / 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 ; 3973 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.