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

Results
	3681.	Computer Science -- Theory and Applications [electronic resource] : First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings / by Grigoriev, Dima [editor.] Harrison, John [editor.] Hirsch, Edward A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3967 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)
	3682.	Automata, Languages and Programming [electronic resource] : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II / by Albers, Susanne [editor.] Marchetti-Spaccamela, Alberto [editor.] Matias, Yossi [editor.] Nikoletseas, Sotiris [editor.] Thomas, Wolfgang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5556 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)
	3683.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings / by Abate, Alessandro [editor.] Geeraerts, Gilles [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10419 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)
	3684.	Unconventional Computation [electronic resource] : 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings / by Calude, Cristian S [editor.] Dinneen, Michael J [editor.] Paun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] Stepney, Susan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4135 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)
	3685.	Statistical Learning and Data Sciences [electronic resource] : Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings / by Gammerman, Alexander [editor.] Vovk, Vladimir [editor.] Papadopoulos, Harris [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9047 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)
	3686.	Passive and Active Measurement [electronic resource] : 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017, Proceedings / by Kaafar, Mohamed Ali [editor.] Uhlig, Steve [editor.] Amann, Johanna [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 10176 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)
	3687.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings / by Godo, Lluis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3571 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)
	3688.	Algorithms and Computation [electronic resource] : 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings / by Hong, Seok-Hee [editor.] Nagamochi, Hiroshi [editor.] Fukunaga, Takuro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5369 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)
	3689.	AI 2010: Advances in Artificial Intelligence [electronic resource] : 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings / by Li, Jiuyong [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6464 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)
	3690.	Information Security and Privacy [electronic resource] : 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings / by Batten, Lynn [editor.] Safavi-Naini, Reihaneh [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4058 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)
	3691.	Independent Component Analysis and Blind Signal Separation [electronic resource] : Fifth International Conference, ICA 2004, Granada, Spain, September 22-24, 2004, Proceedings / by Puntonet, Carlos G [editor.] Prieto, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3195 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)
	3692.	Formal Methods: Foundations and Applications [electronic resource] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / by Cornélio, Márcio [editor.] Roscoe, Bill [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9526 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)
	3693.	Coordination Models and Languages [electronic resource] : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings / by Jacquet, Jean-Marie [editor.] Picco, Gian Pietro [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3454 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)
	3694.	Recent Advances in Intrusion Detection [electronic resource] : 13th International Symposium, RAID 2010, Ottawa, Ontario, Canada, September 15-17, 2010, Proceedings / by Jha, Somesh [editor.] Sommer, Robin [editor.] Kreibich, Christian [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6307 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)
	3695.	Recent Advances in Reinforcement Learning [electronic resource] : 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised and Selected Papers / by Sanner, Scott [editor.] Hutter, Marcus [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7188 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)
	3696.	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 I / 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 ; 3971 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)
	3697.	Functional and Logic Programming [electronic resource] : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / by Kiselyov, Oleg [editor.] King, Andy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9613 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)
	3698.	Advances in Databases and Information Systems [electronic resource] : 9th East European Conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005, Proceedings / by Eder, Johann [editor.] Haav, Hele-Mai [editor.] Kalja, Ahto [editor.] Penjam, Jaan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3631 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)
	3699.	Information Security and Privacy [electronic resource] : 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings / by Boyd, Colin [editor.] González Nieto, Juan [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5594 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)
	3700.	Computer Science Logic [electronic resource] : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings / by Marcinkowski, Jerzy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3210 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.