Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Control' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	61.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings / by Das, Anupam [editor.] Negri, Sara [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12842 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)
	62.	Parallel Computing Technologies [electronic resource] : 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12942 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)
	63.	Logic Synthesis for VLSI-Based Combined Finite State Machines [electronic resource] : Synthesis Targeting ASICs, CPLDs and FPGAs / by Barkalov, Alexander [author.] Titarenko, Larysa [author.] Mielcarek, Kamil [author.] Mazurkiewicz, Małgorzata [author.] Kawecka, Elżbieta [author.] SpringerLink (Online service) Series: Lecture Notes in Electrical Engineering ; 922 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)
	64.	Digital Transformation in Policing: The Promise, Perils and Solutions [electronic resource] / by Montasari, Reza [editor.] Carpenter, Victoria [editor.] Masys, Anthony J [editor.] 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)
	65.	Network and Parallel Computing [electronic resource] : 19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24–25, 2022, Proceedings / by Liu, Shaoshan [editor.] Wei, Xiaohui [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13615 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)
	66.	Supercomputing [electronic resource] : 8th Russian Supercomputing Days, RuSCDays 2022, Moscow, Russia, September 26–27, 2022, Revised Selected Papers / by Voevodin, Vladimir [editor.] Sobolev, Sergey [editor.] Yakobovskiy, Mikhail [editor.] Shagaliev, Rashit [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13708 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)
	67.	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)
	68.	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)
	69.	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)
	70.	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)
	71.	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)
	72.	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)
	73.	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)
	74.	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)
	75.	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)
	76.	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)
	77.	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)
	78.	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)
	79.	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)
	80.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 340 results.