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

Results
	1241.	Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / by Martí-Oliet, Narciso [editor.] Palomino, Miguel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7841 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)
	1242.	The Mathematics of Language [electronic resource] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings / by Kanazawa, Makoto [editor.] Kracht, Marcus [editor.] Seki, Hiroyuki [editor.] Kornai, András [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6878 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)
	1243.	Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / by Derrick, John [editor.] Fitzgerald, John [editor.] Gnesi, Stefania [editor.] Khurshid, Sarfraz [editor.] Leuschel, Michael [editor.] Reeves, Steve [editor.] Riccobene, Elvinia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7316 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)
	1244.	Evolving Computability [electronic resource] : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings / by Beckmann, Arnold [editor.] Mitrana, Victor [editor.] Soskova, Mariya [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9136 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)
	1245.	Towards a Service-Based Internet [electronic resource] : First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008, Proceedings / by Mähönen, Petri [editor.] Pohl, Klaus [editor.] Priol, Thierry [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5377 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)
	1246.	Mathematical Foundations of Computer Science 2009 [electronic resource] : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, Proceedings / by Královic, Rastislav [editor.] Niwinski, Damian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5734 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)
	1247.	Integrated Formal Methods [electronic resource] : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / by Polikarpova, Nadia [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10510 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)
	1248.	Theory and Applications of Satisfiability Testing -- SAT 2015 [electronic resource] : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / by Heule, Marijn [editor.] Weaver, Sean [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9340 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)
	1249.	Analysis of Social Media and Ubiquitous Data [electronic resource] : International Workshops MSM 2010, Toronto, Canada, June 13, 2010, and MUSE 2010, Barcelona, Spain, September 20, 2010, Revised Selected Papers / by Atzmueller, Martin [editor.] Hotho, Andreas [editor.] Strohmaier, Markus [editor.] Chin, Alvin [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6904 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)
	1250.	CONCUR 2009 - Concurrency Theory [electronic resource] : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings / by Bravetti, Mario [editor.] Zavattaro, Gianluigi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5710 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.	Advances in Cryptology -- ASIACRYPT 2014 [electronic resource] : 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I / by Sarkar, Palash [editor.] Iwata, Tetsu [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8873 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1252.	High Performance Computing and Communications [electronic resource] : First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings / by Dongarra, Jack [editor.] Yang, Laurence T [editor.] Rana, Omer F [editor.] Di Martino, Beniamino [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 3726 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.	Wired/Wireless Internet Communications [electronic resource] : 6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedings / by Harju, Jarmo [editor.] Heijenk, Geert [editor.] Langendörfer, Peter [editor.] Siris, Vasilios [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5031 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)
	1254.	Modelling Foundations and Applications [electronic resource] : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings / by Anjorin, Anthony [editor.] Espinoza, Huáscar [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10376 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)
	1255.	Online Communities and Social Computing [electronic resource] : Third International Conference, OCSC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings / by Ozok, A. Ant [editor.] Zaphiris, Panayiotis [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5621 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)
	1256.	Logic and Its Applications [electronic resource] : Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings / by Banerjee, Mohua [editor.] Seth, Anil [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6521 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.	Online Communities and Social Computing [electronic resource] : 4th International Conference, OCSC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings / by Ozok, A. Ant [editor.] Zaphiris, Panayiotis [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6778 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)
	1258.	Developments in Language Theory [electronic resource] : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings / by Diekert, Volker [editor.] Nowotka, Dirk [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5583 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)
	1259.	Language, Life, Limits [electronic resource] : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings / by Beckmann, Arnold [editor.] Csuhaj-Varjú, Ersébet [editor.] Meer, Klaus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8493 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)
	1260.	Entertainment Computing - ICEC 2012 [electronic resource] : 11th International Conference, ICEC 2012, Bremen, Germany, September 26-29, 2012, Proceedings / by Herrlich, Marc [editor.] Malaka, Rainer [editor.] Masuch, Maic [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7522 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 1700 results.