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

Results
	621.	Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / by Parthasarathy, Madhusudan [editor.] Seshia, Sanjit A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7358 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)
	622.	Formal Methods for the Design of Real-Time Systems [electronic resource] : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures / by Bernardo, Marco [editor.] Corradini, Flavio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3185 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)
	623.	Wireless Sensor Networks [electronic resource] : 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, Proceedings / by Verdone, Roberto [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 4913 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)
	624.	Computer Vision Systems [electronic resource] : 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers / by Liu, Ming [editor.] Chen, Haoyao [editor.] Vincze, Markus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10528 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)
	625.	RoboCup 2016: Robot World Cup XX [electronic resource] / by Behnke, Sven [editor.] Sheh, Raymond [editor.] Sarıel, Sanem [editor.] Lee, Daniel D [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9776 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)
	626.	Future and Emerging Trends in Language Technology. Machine Learning and Big Data [electronic resource] : Second International Workshop, FETLT 2016, Seville, Spain, November 30 –December 2, 2016, Revised Selected Papers / by Quesada, José F [editor.] Martín Mateos, Francisco-Jesús [editor.] López Soto, Teresa [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10341 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)
	627.	Selected Areas in Cryptography – SAC 2016 [electronic resource] : 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016, Revised Selected Papers / by Avanzi, Roberto [editor.] Heys, Howard [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10532 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)
	628.	Articulated Motion and Deformable Objects [electronic resource] : 10th International Conference, AMDO 2018, Palma de Mallorca, Spain, July 12-13, 2018, Proceedings / by Perales, Francisco José [editor.] Kittler, Josef [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10945 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)
	629.	Principles of Distributed Systems [electronic resource] : 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers / by Papatriantafilou, Marina [editor.] Hunel, Philippe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3144 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)
	630.	Virtual Storytelling. Using Virtual Reality Technologies for Storytelling [electronic resource] : 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007, Proceedings / by Cavazza, Marc [editor.] Donikian, Stéphane [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4871 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)
	631.	Intelligent Robotics and Applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II / by Su, Chun-Yi [editor.] Rakheja, Subhash [editor.] Honghai, Liu [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7507 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)
	632.	Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / by Bernardo, Marco [editor.] Bogliolo, Alessandro [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3465 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)
	633.	Communication Systems and Networks [electronic resource] : 9th International Conference, COMSNETS 2017, Bengaluru, India, January 4–8, 2017, Revised Selected Papers and Invited Papers / by Sastry, Nishanth [editor.] Chakraborty, Sandip [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 10340 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)
	634.	Autonomous Agents and Multiagent Systems [electronic resource] : AAMAS 2017 Workshops, Visionary Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / by Sukthankar, Gita [editor.] Rodriguez-Aguilar, Juan A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10643 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)
	635.	Ubiquitous Convergence Technology [electronic resource] : First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers / by Stajano, Frank [editor.] Kim, Hyoung Joong [editor.] Chae, Jong-Suk [editor.] Kim, Seong-Don [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4412 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)
	636.	Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics [electronic resource] : Third International Conference, LION 2009 III, Trento, Italy, January 14-18, 2009. Selected Papers / by Stützle, Thomas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5851 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)
	637.	Data Driven Approaches in Digital Education [electronic resource] : 12th European Conference on Technology Enhanced Learning, EC-TEL 2017, Tallinn, Estonia, September 12–15, 2017, Proceedings / by Lavoué, Élise [editor.] Drachsler, Hendrik [editor.] Verbert, Katrien [editor.] Broisin, Julien [editor.] Pérez-Sanagustín, Mar [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10474 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)
	638.	Hybrid Systems: Computation and Control [electronic resource] : 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings / by Bemporad, Alberto [editor.] Buttazzo, Giorgio C [editor.] Bicchi, Antonio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4416 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)
	639.	Social Robotics [electronic resource] : 9th International Conference, ICSR 2017, Tsukuba, Japan, November 22-24, 2017, Proceedings / by Kheddar, Abderrahmane [editor.] Yoshida, Eiichi [editor.] Ge, Shuzhi Sam [editor.] Suzuki, Kenji [editor.] Cabibihan, John-John [editor.] Eyssel, Friederike [editor.] He, Hongsheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10652 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)
	640.	Intelligent Human Computer Interaction [electronic resource] : 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings / by Horain, Patrick [editor.] Achard, Catherine [editor.] Mallem, Malik [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10688 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1124 results.