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

Results
	4241.	Artificial Intelligence and Computational Intelligence [electronic resource] : Second International Conference, AICIS 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I / by Deng, Hepu [editor.] Miao, Duoqian [editor.] Lei, Jingsheng [editor.] Wang, Fu Lee [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7002 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)
	4242.	Computational Logic in Multi-Agent Systems [electronic resource] : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings / by Bulling, Nils [editor.] van der Torre, Leendert [editor.] Villata, Serena [editor.] Jamroga, Wojtek [editor.] Vasconcelos, Wamberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8624 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)
	4243.	Intelligent Computer Mathematics [electronic resource] : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / by Kerber, Manfred [editor.] Carette, Jacques [editor.] Kaliszyk, Cezary [editor.] Rabe, Florian [editor.] Sorge, Volker [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9150 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)
	4244.	Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II / by Abramsky, Samson [editor.] Gavoille, Cyril [editor.] Kirchner, Claude [editor.] Meyer auf der Heide, Friedhelm [editor.] Spirakis, Paul [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6199 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)
	4245.	Advances in Neural Networks - ISNN 2005 [electronic resource] : Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part I / by Wang, Jun [editor.] Liao, Xiaofeng [editor.] Yi, Zhang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3496 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)
	4246.	Formal Techniques for Distributed Systems [electronic resource] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / by Hatcliff, John [editor.] Zucca, Elena [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6117 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)
	4247.	Combinatorial Algorithms [electronic resource] : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected Papers / by Lecroq, Thierry [editor.] Mouchard, Laurent [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8288 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)
	4248.	Hardware and Software: Verification and Testing [electronic resource] : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings / by Yahav, Eran [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8855 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)
	4249.	Artificial Neural Networks: Biological Inspirations – ICANN 2005 [electronic resource] : 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part I / by Duch, Wlodzislaw [editor.] Oja, Erkki [editor.] Zadrozny, Slawomir [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3696 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)
	4250.	Machine Learning: ECML 2006 [electronic resource] : 17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006, Proceedings / by Fürnkranz, Johannes [editor.] Scheffer, Tobias [editor.] Spiliopoulou, Myra [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4212 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)
	4251.	Computer Analysis of Images and Patterns [electronic resource] : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II / by Azzopardi, George [editor.] Petkov, Nicolai [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9257 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)
	4252.	Machine Learning: ECML 2005 [electronic resource] : 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings / by Gama, João [editor.] Camacho, Rui [editor.] Brazdil, Pavel [editor.] Jorge, Alípio [editor.] Torgo, Luís [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3720 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)
	4253.	Artificial General Intelligence [electronic resource] : 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings / by Bach, Joscha [editor.] Goertzel, Ben [editor.] Iklé, Matthew [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7716 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)
	4254.	Advances in Intelligent Computing [electronic resource] : International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II / by Huang, De-Shuang [editor.] Zhang, Xiao-Ping [editor.] Huang, Guang-Bin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3645 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)
	4255.	Swarm Intelligence [electronic resource] : 13th International Conference, ANTS 2022, Málaga, Spain, November 2–4, 2022, Proceedings / by Dorigo, Marco [editor.] Hamann, Heiko [editor.] López-Ibáñez, Manuel [editor.] García-Nieto, José [editor.] Engelbrecht, Andries [editor.] Pinciroli, Carlo [editor.] Strobel, Volker [editor.] Camacho-Villalón, Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13491 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4256.	Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV [electronic resource] : Special Issue on Consistency and Inconsistency in Data-Centric Applications / by Hameurlain, Abdelkader [editor.] Küng, Josef [editor.] Wagner, Roland [editor.] Decker, Hendrik [editor.] SpringerLink (Online service) Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 10620 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)
	4257.	Integrated Uncertainty in Knowledge Modelling and Decision Making [electronic resource] : 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings / by Seki, Hirosato [editor.] Nguyen, Canh Hao [editor.] Huynh, Van-Nam [editor.] Inuiguchi, Masahiro [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11471 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4258.	Group Decision and Negotiation: Behavior, Models, and Support [electronic resource] : 19th International Conference, GDN 2019, Loughborough, UK, June 11–15, 2019, Proceedings / by Morais, Danielle Costa [editor.] Carreras, Ashley [editor.] de Almeida, Adiel Teixeira [editor.] Vetschera, Rudolf [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 351 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4259.	Mathematics in Computing [electronic resource] : An Accessible Guide to Historical, Foundational and Application Contexts / by O’Regan, Gerard [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Edition: 2nd ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4260.	Guide to Graph Colouring [electronic resource] : Algorithms and Applications / by Lewis, R. M. R [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 2nd ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 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.