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

Results
	3641.	Multiple Classifier Systems [electronic resource] : 6th International Workshop, MCS 2005, Seaside, CA, USA, June 13-15, 2005, Proceedings / by Oza, Nikunj C [editor.] Polikar, Robi [editor.] Kittler, Josef [editor.] Roli, Fabio [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 3541 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)
	3642.	Machine Learning: ECML 2004 [electronic resource] : 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings / by Boulicaut, Jean-Francois [editor.] Esposito, Floriana [editor.] Giannotti, Fosca [editor.] Pedreschi, Dino [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3201 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)
	3643.	Scalable Uncertainty Management [electronic resource] : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings / by Godo, Lluis [editor.] Pugliese, Andrea [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5785 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)
	3644.	Life System Modeling and Intelligent Computing [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II / by Fei, Minrui [editor.] Jia, Li [editor.] Irwin, George W [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6329 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)
	3645.	Recent Trends in Algebraic Development Techniques [electronic resource] : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / by Fiadeiro, José Luiz [editor.] Mosses, Peter [editor.] Orejas, Fernando [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3423 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)
	3646.	Rough Sets and Knowledge Technology [electronic resource] : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009, Proceedings / by Wen, Peng [editor.] Li, Yuefeng [editor.] Polkowski, Lech [editor.] Yao, Yiyu Y [editor.] Tsumoto, Shusaku [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5589 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)
	3647.	Data Integration in the Life Sciences [electronic resource] : First International Workshop, DILS 2004, Leipzig, Germany, March 25-26, 2004, proceedings / by Rahm, Erhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 2994 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)
	3648.	Rough Sets and Knowledge Technology [electronic resource] : Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings / by Yao, JingTao [editor.] Lingras, Pawan [editor.] Wu, Wei-Zhi [editor.] Szczuka, Marcin [editor.] Cercone, Nick [editor.] Slezak, Dominik [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4481 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)
	3649.	Implementation and Application of Automata [electronic resource] : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings / by Moreira, Nelma [editor.] Reis, Rogério [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7381 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)
	3650.	Adaptive and Intelligent Systems [electronic resource] : Second International Conference, ICAIS 2011, Klagenfurt, Austria, September 6-8, 2011, Proceedings / by Bouchachia, Abdelhamid [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6943 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)
	3651.	Transactions on Petri Nets and Other Models of Concurrency II [electronic resource] : Special Issue on Concurrency in Process-Aware Information Systems / by van der Aalst, Wil M. P [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 5460 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)
	3652.	Programming Languages and Systems [electronic resource] : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings / by Kobayashi, Naoki [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4279 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)
	3653.	Socionics [electronic resource] : Scalability of Complex Social Systems / by Fischer, Klaus [editor.] Florian, Michael [editor.] Malsch, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3413 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)
	3654.	Composition of Embedded Systems. Scientific and Industrial Issues [electronic resource] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / by Kordon, Fabrice [editor.] Sokolsky, Oleg [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4888 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)
	3655.	Critical Systems: Formal Methods and Automated Verification [electronic resource] : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / by ter Beek, Maurice H [editor.] Gnesi, Stefania [editor.] Knapp, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9933 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)
	3656.	Graph Transformation [electronic resource] : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings / by Ehrig, Hartmut [editor.] Engels, Gregor [editor.] Kreowski, Hans-Jörg [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7562 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)
	3657.	Descriptional Complexity of Formal Systems [electronic resource] : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / by Shallit, Jeffrey [editor.] Okhotin, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9118 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)
	3658.	Intelligent Data Engineering and Automated Learning - IDEAL 2007 [electronic resource] : 8th International Conference, Birmingham, UK, December 16-19, 2007, Proceedings / by Yin, Hujun [editor.] Yao, Xin [editor.] Tino, Peter [editor.] Corchado, Emilio [editor.] Byrne, Will [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4881 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)
	3659.	Computer Science Logic [electronic resource] : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings / by Duparc, Jacques [editor.] Henzinger, Thomas A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4646 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)
	3660.	Public-Key Cryptography – PKC 2017 [electronic resource] : 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part II / by Fehr, Serge [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10175 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.