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

Results
	1241.	Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings / by Damm, Werner [editor.] Hermanns, Holger [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4590 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)
	1242.	Advances in Cryptology – ASIACRYPT 2016 [electronic resource] : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II / by Cheon, Jung Hee [editor.] Takagi, Tsuyoshi [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10032 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1243.	Learning and Intelligent Optimization [electronic resource] : 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011, Selected Papers / by Coello-Coello, Carlos A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6683 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)
	1244.	Algorithms and Complexity [electronic resource] : 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings / by Diaz, Josep [editor.] Calamoneri, Tiziana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6078 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)
	1245.	The Semantic Web [electronic resource] : Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings / by Pan, Jeff Z [editor.] Chen, Huajun [editor.] Kim, Hong-Gee [editor.] Li, Juanzi [editor.] Wu, Zhe [editor.] Horrocks, Ian [editor.] Mizoguchi, Riichiro [editor.] Wu, Zhaohui [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7185 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)
	1246.	Declarative Agent Languages and Technologies VIII [electronic resource] : 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers / by Omicini, Andrea [editor.] Sardina, Sebastian [editor.] Vasconcelos, Wamberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6619 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)
	1247.	Fundamentals of Computation Theory [electronic resource] : 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings / by Kutylowski, Miroslaw [editor.] Gebala, Maciej [editor.] Charatonik, Witold [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5699 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)
	1248.	Logic and Its Applications [electronic resource] : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / by Banerjee, Mohua [editor.] S., Krishna [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8923 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)
	1249.	Agents and Artificial Intelligence [electronic resource] : 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / by Duval, Béatrice [editor.] van den Herik, Jaap [editor.] Loiseau, Stephane [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9494 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)
	1250.	Stochastic Algorithms: Foundations and Applications [electronic resource] : 5th International Symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 Proceedings / by Watanabe, Osamu [editor.] Zeugmann, Thomas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5792 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)
	1251.	Computational Science - ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV / by Alexandrov, Vassil N [editor.] van Albada, G. Dick [editor.] Sloot, Peter M.A [editor.] Dongarra, J. J [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3994 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)
	1252.	AI 2005: Advances in Artificial Intelligence [electronic resource] : 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings / by Zhang, Shichao [editor.] Jarvis, Ray [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3809 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)
	1253.	Mathematical Modeling and Computational Science [electronic resource] : International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers / by Adam, Gheorghe [editor.] Buša, Ján [editor.] Hnatič, Michal [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7125 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)
	1254.	Learning Theory [electronic resource] : 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings / by Bshouty, Nader [editor.] Gentile, Claudio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4539 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)
	1255.	Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach [electronic resource] : First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II / by Mira, José [editor.] Álvarez, José R [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3562 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)
	1256.	Agents for Games and Simulations II [electronic resource] : Trends in Techniques, Concepts and Design / by Dignum, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6525 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)
	1257.	Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings / by Euzenat, Jérôme [editor.] Domingue, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4183 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)
	1258.	Cellular Automata and Discrete Complex Systems [electronic resource] : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings / by Dennunzio, Alberto [editor.] Formenti, Enrico [editor.] Manzoni, Luca [editor.] Porreca, Antonio E [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10248 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)
	1259.	Multiagent System Technologies [electronic resource] : 7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings / by Braubach, Lars [editor.] van der Hoek, Wiebe [editor.] Petta, Paolo [editor.] Pokahr, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5774 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)
	1260.	Artificial Neural Networks - ICANN 2010 [electronic resource] : 20th International Conference, Thessaloniki, Greece, Septmeber 15-18, 2020, Proceedings, Part II / by Diamantaras, Konstantinos [editor.] Duch, Wlodek [editor.] Iliadis, Lazaros S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6353 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2786 results.