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

Results
	221.	Model-Based Safety and Assessment [electronic resource] : 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings / by Papadopoulos, Yiannis [editor.] Aslansefat, Koorosh [editor.] Katsaros, Panagiotis [editor.] Bozzano, Marco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11842 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)
	222.	Integrated Formal Methods [electronic resource] : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / by Dongol, Brijesh [editor.] Troubitsyna, Elena [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12546 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)
	223.	Job Scheduling Strategies for Parallel Processing [electronic resource] : 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers / by Klusáček, Dalibor [editor.] Cirne, Walfredo [editor.] Desai, Narayan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12326 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)
	224.	Cross-Layer Design for Secure and Resilient Cyber-Physical Systems [electronic resource] : A Decision and Game Theoretic Approach / by Zhu, Quanyan [author.] Xu, Zhiheng [author.] SpringerLink (Online service) Series: Advances in Information Security ; 81 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)
	225.	Microelectronic Devices, Circuits and Systems [electronic resource] : Third International Conference, ICMDCS 2022, Vellore, India, August 11–13, 2022, Revised Selected Papers / by Arunachalam, V [editor.] Sivasankaran, K [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1743 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)
	226.	High Performance Computing [electronic resource] : 9th Latin American Conference, CARLA 2022, Porto Alegre, Brazil, September 26–30, 2022, Revised Selected Papers / by Navaux, Philippe [editor.] Barrios H., Carlos J [editor.] Osthoff, Carla [editor.] Guerrero, Ginés [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1660 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)
	227.	Information Storage [electronic resource] : A Multidisciplinary Perspective / by Große, Cornelia S [editor.] Drechsler, Rolf [editor.] SpringerLink (Online service) 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)
	228.	Intelligent Systems and Applications [electronic resource] : Select Proceedings of ICISA 2022 / by Kulkarni, Anand J [editor.] Mirjalili, Seyedali [editor.] Udgata, Siba Kumar [editor.] SpringerLink (Online service) Series: Lecture Notes in Electrical Engineering ; 959 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	229.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / by Dragoi, Cezara [editor.] Emmi, Michael [editor.] Wang, Jingbo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13881 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	230.	Fundamentals of Digital Forensics [electronic resource] : Theory, Methods, and Real-Life Applications / by Kävrestad, Joakim [author.] SpringerLink (Online service) Edition: 2nd 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)
	231.	RoboCup 2014: Robot World Cup XVIII [electronic resource] / by Bianchi, Reinaldo A. C [editor.] Akin, H. Levent [editor.] Ramamoorthy, Subramanian [editor.] Sugiura, Komei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8992 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)
	232.	Automotive Systems and Software Engineering [electronic resource] : State of the Art and Future Trends / by Dajsuren, Yanja [editor.] van den Brand, Mark [editor.] SpringerLink (Online service) 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)
	233.	Computer Engineering and Technology [electronic resource] : 23rd CCF Conference, NCCET 2019, Enshi, China, August 1–2, 2019, Revised Selected Papers / by Xu, Weixia [editor.] Xiao, Liquan [editor.] Li, Jinwen [editor.] Zhu, Zhenzhen [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1146 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	234.	VLSI-SoC: New Technology Enabler [electronic resource] : 27th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2019, Cusco, Peru, October 6–9, 2019, Revised and Extended Selected Papers / by Metzler, Carolina [editor.] Gaillardon, Pierre-Emmanuel [editor.] De Micheli, Giovanni [editor.] Silva-Cardenas, Carlos [editor.] Reis, Ricardo [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 586 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)
	235.	Haptic Interfaces for Accessibility, Health, and Enhanced Quality of Life [electronic resource] / by McDaniel, Troy [editor.] Panchanathan, Sethuraman [editor.] SpringerLink (Online service) 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)
	236.	High Performance Computing [electronic resource] : 6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25–27, 2019, Revised Selected Papers / by Crespo-Mariño, Juan Luis [editor.] Meneses-Rojas, Esteban [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1087 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)
	237.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / by Biere, Armin [editor.] Parker, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12078 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)
	238.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II / by Biere, Armin [editor.] Parker, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12079 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)
	239.	Fundamental Approaches to Software Engineering [electronic resource] : 23rd International Conference, FASE 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 Wehrheim, Heike [editor.] Cabot, Jordi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12076 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)
	240.	Rigorous State-Based Methods [electronic resource] : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings / by Raschke, Alexander [editor.] Méry, Dominique [editor.] Houdek, Frank [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12071 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 496 results.