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

Results
	421.	Scheduling and Reconfiguration of Real-Time Systems [electronic resource] : A Supervisory Control Approach / by Wang, Xi [author.] Li, ZhiWu [author.] SpringerLink (Online service) 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)
	422.	Mobile Entity Localization and Tracking in GPS-less Environnments [electronic resource] : Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009, Proceedings / by Fuller, Richard [editor.] Koutsoukos, Xenofon D [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5801 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)
	423.	Biomimetic and Biohybrid Systems [electronic resource] : First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012, Proceedings / by Prescott, Tony T [editor.] Lepora, Nathan F [editor.] Mura, Anna [editor.] Verschure, Paul F.M.J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7375 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)
	424.	Business Process Management: Blockchain and Robotic Process Automation Forum [electronic resource] : BPM 2021 Blockchain and RPA Forum, Rome, Italy, September 6–10, 2021, Proceedings / by González Enríquez, José [editor.] Debois, Søren [editor.] Fettke, Peter [editor.] Plebani, Pierluigi [editor.] van de Weerd, Inge [editor.] Weber, Ingo [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 428 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)
	425.	RoboCup 2003: Robot Soccer World Cup VII [electronic resource] / by Polani, Daniel [editor.] Browning, Brett [editor.] Bonarini, Andrea [editor.] Yoshida, Kazuo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3020 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)
	426.	Engineering of Computer-Based Systems [electronic resource] : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings / by Kofroň, Jan [editor.] Margaria, Tiziana [editor.] Seceleanu, Cristina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14390 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	427.	Product-Focused Software Process Improvement [electronic resource] : 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings / by Kuhrmann, Marco [editor.] Schneider, Kurt [editor.] Pfahl, Dietmar [editor.] Amasaki, Sousuke [editor.] Ciolkowski, Marcus [editor.] Hebig, Regina [editor.] Tell, Paolo [editor.] Klünder, Jil [editor.] Küpper, Steffen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11271 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)
	428.	Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13703 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)
	429.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II / by Groote, Jan Friso [editor.] Larsen, Kim Guldstrand [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12652 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)
	430.	Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13701 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)
	431.	Discovering Hidden Gems in Foreign Languages [electronic resource] / by Miller, M.D [author.] SpringerLink (Online service) Series: Terrorism, Security, and Computation 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)
	432.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II / by Dimitrova, Rayna [editor.] Lahav, Ori [editor.] Wolff, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14500 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	433.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I / by Dimitrova, Rayna [editor.] Lahav, Ori [editor.] Wolff, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14499 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	434.	Fault-Tolerant Cooperative Control of Unmanned Aerial Vehicles [electronic resource] / by Yu, Ziquan [author.] Zhang, Youmin [author.] Jiang, Bin [author.] Su, Chun-Yi [author.] SpringerLink (Online service) Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	435.	Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [electronic resource] : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers / by Cerone, Antonio [editor.] Autili, Marco [editor.] Bucaioni, Alessio [editor.] Gomes, Cláudio [editor.] Graziani, Pierluigi [editor.] Palmieri, Maurizio [editor.] Temperini, Marco [editor.] Venture, Gentiane [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13230 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)
	436.	Business Process Management: Blockchain, Robotic Process Automation and Educators Forum [electronic resource] : BPM 2023 Blockchain, RPA and Educators Forum, Utrecht, The Netherlands, September 11–15, 2023, Proceedings / by Köpke, Julius [editor.] López-Pintado, Orlenys [editor.] Plattfaut, Ralf [editor.] Rehse, Jana-Rebecca [editor.] Gdowska, Katarzyna [editor.] Gonzalez-Lopez, Fernanda [editor.] Munoz-Gama, Jorge [editor.] Smit, Koen [editor.] van der Werf, Jan Martijn E. M [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 491 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)
	437.	Network-Based Analysis of Dynamical Systems [electronic resource] : Methods for Controllability and Observability Analysis, and Optimal Sensor Placement / by Leitold, Dániel [author.] Vathy-Fogarassy, Ágnes [author.] Abonyi, János [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science 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)
	438.	VLSI-SoC: Design Trends [electronic resource] : 28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, Salt Lake City, UT, USA, October 6–9, 2020, Revised and Extended Selected Papers / by Calimera, Andrea [editor.] Gaillardon, Pierre-Emmanuel [editor.] Korgaonkar, Kunal [editor.] Kvatinsky, Shahar [editor.] Reis, Ricardo [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 621 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)
	439.	Cyberspace, Cyberterrorism and the International Security in the Fourth Industrial Revolution [electronic resource] : Threats, Assessment and Responses / by Montasari, Reza [author.] SpringerLink (Online service) Series: Advanced Sciences and Technologies for Security Applications Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	440.	Active Object Languages: Current Research Trends [electronic resource] / by de Boer, Frank [editor.] Damiani, Ferruccio [editor.] Hähnle, Reiner [editor.] Broch Johnsen, Einar [editor.] Kamburjan, Eduard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14360 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 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.