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

Results
	3501.	Modeling and Retrieval of Context [electronic resource] : Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers / by Roth-Berghofer, Thomas R [editor.] Schulz, Stefan [editor.] Leake, David B [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3946 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)
	3502.	Formal Methods in Systems Biology [electronic resource] : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings / by Fisher, Jasmin [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 5054 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)
	3503.	Advanced Intelligent Computing [electronic resource] : 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011. Revised Selected Papers / by Huang, De-Shuang [editor.] Gan, Yong [editor.] Bevilacqua, Vitoantonio [editor.] Figueroa, Juan Carlos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6838 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)
	3504.	Research in Computational Molecular Biology [electronic resource] : 15th Annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011. Proceedings / by Bafna, Vineet [editor.] Sahinalp, S. Cenk [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 6577 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)
	3505.	Typed Lambda Calculi and Applications [electronic resource] : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings / by Urzyczyn, Pawel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3461 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)
	3506.	Formal Concept Analysis [electronic resource] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings / by Medina, Raoul [editor.] Obiedkov, Sergei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4933 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)
	3507.	Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings / by Biere, Armin [editor.] Gomes, Carla P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4121 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)
	3508.	Artificial Evolution [electronic resource] : 9th International Conference, Evolution Artificielle, EA 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers / by Collet, Pierre [editor.] Monmarché, Nicolas [editor.] Legrand, Pierrick [editor.] Schoenauer, Marc [editor.] Lutton, Evelyne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5975 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)
	3509.	Theory of Quantum Computation, Communication and Cryptography [electronic resource] : 4th Workshop, TQC 2009, Waterloo, Canada, May 11-13. Revised Selected Papers / by Childs, Andrew [editor.] Mosca, Michele [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5906 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)
	3510.	Membrane Computing [electronic resource] : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers / by Csuhaj-Varju, Erzsebet [editor.] Gheorghe, Marian [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] Vaszil, György [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7762 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)
	3511.	Swarm Robotics [electronic resource] : Second SAB 2006 International Workshop, Rome, Italy, September 30-October 1, 2006 Revised Selected Papers / by Sahin, Erol [editor.] Spears, William M [editor.] Winfield, Alan F.T [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4433 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)
	3512.	Artificial Neural Networks – ICANN 2009 [electronic resource] : 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part II / by Alippi, Cesare [editor.] Polycarpou, Marios M [editor.] Panayiotou, Christos [editor.] Ellinas, Georgios [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5769 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)
	3513.	Euro-Par 2005 Parallel Processing [electronic resource] : 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings / by Cunha, José C [editor.] Medeiros, Pedro D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3648 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)
	3514.	Artificial Neural Networks and Machine Learning -- ICANN 2012 [electronic resource] : 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I / by Villa, Alessandro [editor.] Duch, Wlodzislaw [editor.] Erdi, Peter [editor.] Masulli, Francesco [editor.] Palm, Günther [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7552 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)
	3515.	Artificial Intelligence: Theories, Models and Applications [electronic resource] : 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012, Proceedings / by Maglogiannis, Ilias [editor.] Plagianakos, Vassilis [editor.] Vlahavas, Ioannis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7297 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)
	3516.	Unveiling Dynamics and Complexity [electronic resource] : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings / by Kari, Jarkko [editor.] Manea, Florin [editor.] Petre, Ion [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10307 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)
	3517.	Advances in Information Security and Assurance [electronic resource] : Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings / by Park, James (Jong Hyuk) [editor.] Chen, Hsiao-Hwa [editor.] Atiquzzaman, Mohammed [editor.] Lee, Changhoon [editor.] Yeo, Sang-Soo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5576 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)
	3518.	Computer Safety, Reliability, and Security [electronic resource] : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings / by Harrison, Michael Douglas [editor.] Sujan, Mark-Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5219 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)
	3519.	Models of Computation in Context [electronic resource] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings / by Löwe, Benedikt [editor.] Normann, Dag [editor.] Soskov, Ivan [editor.] Soskova, Alexandra [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6735 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)
	3520.	Advances in Hybrid Information Technology [electronic resource] : First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers / by Szczuka, Marcin S [editor.] Howard, Daniel [editor.] Slezak, Dominik [editor.] Kim, Haeng-kon [editor.] Kim, Tai-hoon [editor.] Ko, Il-seok [editor.] Lee, Geuk [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4413 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.