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

Results
	181.	Theory and Applications of Satisfiability Testing – SAT 2021 [electronic resource] : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / by Li, Chu-Min [editor.] Manyà, Felip [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12831 Edition: 1st 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)
	182.	Software Engineering for Robotics [electronic resource] / by Cavalcanti, Ana [editor.] Dongol, Brijesh [editor.] Hierons, Rob [editor.] Timmis, Jon [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Edition: 1st 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)
	183.	Collective Behavior in Complex Networked Systems under Imperfect Communication [electronic resource] / by Lu, Jianquan [author.] Li, Lulu [author.] Ho, Daniel W.C [author.] Cao, Jinde [author.] SpringerLink (Online service) Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	184.	Proceedings of 2022 Chinese Intelligent Systems Conference [electronic resource] : Volume II / by Jia, Yingmin [editor.] Zhang, Weicun [editor.] Fu, Yongling [editor.] Zhao, Shoujun [editor.] SpringerLink (Online service) Series: Lecture Notes in Electrical Engineering ; 951 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	185.	Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / by Müller, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12075 Edition: 1st 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)
	186.	Supercomputing Frontiers [electronic resource] : 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings / by Panda, Dhabaleswar K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12082 Edition: 1st 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)
	187.	Parallel Computational Technologies [electronic resource] : 15th International Conference, PCT 2021, Volgograd, Russia, March 30 – April 1, 2021, Revised Selected Papers / by Sokolinsky, Leonid [editor.] Zymbler, Mikhail [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1437 Edition: 1st 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)
	188.	Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops [electronic resource] : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings / by Habli, Ibrahim [editor.] Sujan, Mark [editor.] Gerasimou, Simos [editor.] Schoitsch, Erwin [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12853 Edition: 1st 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)
	189.	Progress in Cryptology - AFRICACRYPT 2022 [electronic resource] : 13th International Conference on Cryptology in Africa, AFRICACRYPT 2022, Fes, Morocco, July 18–20, 2022, Proceedings / by Batina, Lejla [editor.] Daemen, Joan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13503 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	190.	Human–Robot Intimate Relationships [electronic resource] / by Cheok, Adrian David [author.] Zhang, Emma Yann [author.] SpringerLink (Online service) Series: Human–Computer Interaction Series 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)
	191.	Emotional Design in Human-Robot Interaction [electronic resource] : Theory, Methods and Applications / by Ayanoğlu, Hande [editor.] Duarte, Emília [editor.] SpringerLink (Online service) Series: Human–Computer Interaction Series 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)
	192.	Transactions on Intelligent Welding Manufacturing [electronic resource] : Volume III No. 2 2019 / by Chen, Shanben [editor.] Zhang, Yuming [editor.] Feng, Zhili [editor.] SpringerLink (Online service) Series: Transactions on Intelligent Welding Manufacturing Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	193.	Cyber-Physical Systems: A Model-Based Approach [electronic resource] / by Taha, Walid M [author.] Taha, Abd-Elhamid M [author.] Thunberg, Johan [author.] SpringerLink (Online service) Edition: 1st 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)
	194.	Computer Safety, Reliability, and Security [electronic resource] : 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings / by Habli, Ibrahim [editor.] Sujan, Mark [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12852 Edition: 1st 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)
	195.	Sensor Networks [electronic resource] : 9th International Conference, SENSORNETS 2020, Valletta, Malta, February 28–29, 2020, and 10th International Conference, SENSORNETS 2021, Virtual Event, February 9–10, 2021, Revised Selected Papers / by Ahrens, Andreas [editor.] Prasad, RangaRao Venkatesha [editor.] Benavente-Peces, César [editor.] Ansari, Nirwan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1674 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)
	196.	Leveraging Applications of Formal Methods, Verification and Validation. Practice [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13704 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	197.	The Sharing Economy for Tackling Cybercrime [electronic resource] / by Ilbiz, Ethem [author.] Kaunert, Christian [author.] SpringerLink (Online service) Series: Advanced Sciences and Technologies for Security Applications Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	198.	Benchmark Models of Control System Design for Remotely Operated Vehicles [electronic resource] / by Chin, Cheng Siong [author.] Lau, Michael Wai Shing [author.] SpringerLink (Online service) Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	199.	Software Defined Chips [electronic resource] : Volume I / by Wei, Shaojun [author.] Liu, Leibo [author.] Zhu, Jianfeng [author.] Deng, Chenchen [author.] SpringerLink (Online service) Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	200.	Fire Hazards of Electrical Cables [electronic resource] / by Martinka, Jozef [author.] SpringerLink (Online service) Series: SpringerBriefs in Fire 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 495 results.