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

Results
	4001.	Pervasive Computing [electronic resource] : 7th International Conference, Pervasive 2009, Nara, Japan, May 11-14, 2009, Proceedings / by Tokuda, Hideyuki [editor.] Beigl, Michael [editor.] Friday, Adrian [editor.] Brush, A. J. Bernheim [editor.] Tobe, Yoshito [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5538 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)
	4002.	Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, Revised Selected Papers / by Svensson, Lars [editor.] Monteiro, José [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5349 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)
	4003.	Advances in Web-Age Information Management [electronic resource] : 6th International Conference, WAIM 2005, Hangzhou, China, October 11-13, 2005, Proceedings / by Fan, Wenfei [editor.] Wu, Zhaohui [editor.] Yang, Jun [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3739 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)
	4004.	IP Operations and Management [electronic resource] : 9th IEEE International Workshop, IPOM 2009, Venice, Italy, October 29-30, 2009, Proceedings / by Nunzi, Giorgio [editor.] Scoglio, Caterina [editor.] Li, Xing [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5843 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)
	4005.	Database and Expert Systems Applications [electronic resource] : 22nd International Conference, DEXA 2011, Bilbao, Spain, August 29 - September 2, 2011, Proceedings, Part II / by Hameurlain, Abdelkader [editor.] Liddle, Stephen W [editor.] Schewe, Klaus-Dieter [editor.] Zhou, Xiaofang [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6861 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)
	4006.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings / by Beck, J. Christopher [editor.] Smith, Barbara [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3990 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)
	4007.	Public Key Cryptography -- PKC 2011 [electronic resource] : 14th International Conference on Practice and Theory in Public Key Cryptography, Taormina, Italy, March 6-9, 2011, Proceedings / by Catalano, Dario [editor.] Fazio, Nelly [editor.] Gennaro, Rosario [editor.] Nicolosi, Antonio [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6571 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)
	4008.	Intelligent Robotics and Applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part III / by Su, Chun-Yi [editor.] Rakheja, Subhash [editor.] Honghai, Liu [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7508 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)
	4009.	Database and Expert Systems Applications [electronic resource] : 21st International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part I / by García Bringas, Pablo [editor.] Hameurlain, Abdelkader [editor.] Quirchmayr, Gerald [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6261 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)
	4010.	Groupware: Design, Implementation, and Use [electronic resource] : 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007, Proceedings / by Haake, Joerg M [editor.] Ochoa, Sergio F [editor.] Cechich, Alejandra [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4715 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)
	4011.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings / by Dillig, Isil [editor.] Palsberg, Jens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10747 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4012.	Formal Methods for Industrial Critical Systems [electronic resource] : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / by Howar, Falk [editor.] Barnat, Jiří [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11119 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4013.	Privacy in Statistical Databases [electronic resource] : UNESCO Chair in Data Privacy, International Conference, PSD 2018, Valencia, Spain, September 26–28, 2018, Proceedings / by Domingo-Ferrer, Josep [editor.] Montes, Francisco [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11126 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4014.	Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 [electronic resource] : 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part III / by Frangi, Alejandro F [editor.] Schnabel, Julia A [editor.] Davatzikos, Christos [editor.] Alberola-López, Carlos [editor.] Fichtinger, Gabor [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11072 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4015.	Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 [electronic resource] : 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part II / by Frangi, Alejandro F [editor.] Schnabel, Julia A [editor.] Davatzikos, Christos [editor.] Alberola-López, Carlos [editor.] Fichtinger, Gabor [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11071 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4016.	Statistical Language and Speech Processing [electronic resource] : 6th International Conference, SLSP 2018, Mons, Belgium, October 15–16, 2018, Proceedings / by Dutoit, Thierry [editor.] Martín-Vide, Carlos [editor.] Pironkov, Gueorgui [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11171 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4017.	On the Move to Meaningful Internet Systems. OTM 2018 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II / by Panetto, Hervé [editor.] Debruyne, Christophe [editor.] Proper, Henderik A [editor.] Ardagna, Claudio Agostino [editor.] Roman, Dumitru [editor.] Meersman, Robert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11230 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4018.	Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11246 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4019.	Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11247 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4020.	Membrane Computing [electronic resource] : 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers / by Hinze, Thomas [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11399 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 17441 results.