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

Results
	5261.	Formal Methods for Industrial Critical Systems [electronic resource] : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings / by Cimatti, Alessandro [editor.] Titolo, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14290 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)
	5262.	KI 2023: Advances in Artificial Intelligence [electronic resource] : 46th German Conference on AI, Berlin, Germany, September 26–29, 2023, Proceedings / by Seipel, Dietmar [editor.] Steen, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14236 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)
	5263.	Machine Learning and Knowledge Discovery in Databases: Research Track [electronic resource] : European Conference, ECML PKDD 2023, Turin, Italy, September 18–22, 2023, Proceedings, Part IV / by Koutra, Danai [editor.] Plant, Claudia [editor.] Gomez Rodriguez, Manuel [editor.] Baralis, Elena [editor.] Bonchi, Francesco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14172 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)
	5264.	Collaborative Networks in Digitalization and Society 5.0 [electronic resource] : 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27–29, 2023, Proceedings / by Camarinha-Matos, Luis M [editor.] Boucher, Xavier [editor.] Ortiz, Angel [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 688 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)
	5265.	OWL: Experiences and Directions – Reasoner Evaluation [electronic resource] : 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers / by Dragoni, Mauro [editor.] Poveda-Villalón, María [editor.] Jimenez-Ruiz, Ernesto [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10161 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)
	5266.	Formal Methods and Testing [electronic resource] : An Outcome of the FORTEST Network. Revised Selected Papers / by Hierons, Robert M [editor.] Bowen, Jonathan P [editor.] Harman, Mark [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4949 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)
	5267.	Wired/Wireless Internet Communications [electronic resource] : Second International Conference, WWIC 2004, Frankfurt/Oder, Germany, February 4-6, 2004, Proceedings / by Langendoerfer, Peter [editor.] Liu, Mingyan [editor.] Matta, Ibrahim [editor.] Tsaoussidis, Vassilis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2957 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)
	5268.	Product Focused Software Process Improvement [electronic resource] : 5th International Conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004, Proceedings / by Bomarius, Frank [editor.] Iida, Hajimu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3009 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)
	5269.	SOFSEM 2018: Theory and Practice of Computer Science [electronic resource] : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings / by Tjoa, A Min [editor.] Bellatreche, Ladjel [editor.] Biffl, Stefan [editor.] van Leeuwen, Jan [editor.] Wiedermann, Jiří [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10706 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Edizioni della Normale, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5270.	Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D [electronic resource] : 15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1–3, 2019, Proceedings, Part I / by Nielsen, Petter [editor.] Kimaro, Honest Christopher [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 551 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)
	5271.	Open Source Systems [electronic resource] : 16th IFIP WG 2.13 International Conference, OSS 2020, Innopolis, Russia, May 12–14, 2020, Proceedings / by Ivanov, Vladimir [editor.] Kruglov, Artem [editor.] Masyagin, Sergey [editor.] Sillitti, Alberto [editor.] Succi, Giancarlo [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 582 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)
	5272.	Advances in Production Management Systems. The Path to Digital Transformation and Innovation of Production Management Systems [electronic resource] : IFIP WG 5.7 International Conference, APMS 2020, Novi Sad, Serbia, August 30 – September 3, 2020, Proceedings, Part I / by Lalic, Bojan [editor.] Majstorovic, Vidosav [editor.] Marjanovic, Ugljesa [editor.] von Cieminski, Gregor [editor.] Romero, David [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 591 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)
	5273.	Ethereum Smart Contract Development in Solidity [electronic resource] / by Zheng, Gavin [author.] Gao, Longxiang [author.] Huang, Liqun [author.] Guan, Jian [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)
	5274.	Systematic Complex Problem Solving in the Age of Digitalization and Open Innovation [electronic resource] : 20th International TRIZ Future Conference, TFC 2020, Cluj-Napoca, Romania, October 14–16, 2020, Proceedings / by Cavallucci, Denis [editor.] Brad, Stelian [editor.] Livotov, Pavel [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 597 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)
	5275.	Boosting Collaborative Networks 4.0 [electronic resource] : 21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2020, Valencia, Spain, November 23–25, 2020, Proceedings / by Camarinha-Matos, Luis M [editor.] Afsarmanesh, Hamideh [editor.] Ortiz, Angel [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 598 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)
	5276.	Technological Innovation for Applied AI Systems [electronic resource] : 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, Costa de Caparica, Portugal, July 7–9, 2021, Proceedings / by Camarinha-Matos, Luis M [editor.] Ferreira, Pedro [editor.] Brito, Guilherme [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 626 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)
	5277.	Handbook of Smart Cities [electronic resource] / by Augusto, Juan Carlos [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 eReference Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5278.	Multimedia Technology and Enhanced Learning [electronic resource] : Third EAI International Conference, ICMTEL 2021, Virtual Event, April 8–9, 2021, Proceedings, Part I / by Fu, Weina [editor.] Xu, Yuan [editor.] Wang, Shui-Hua [editor.] Zhang, Yudong [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 387 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)
	5279.	Advances in Parallel & Distributed Processing, and Applications [electronic resource] : Proceedings from PDPTA'20, CSC'20, MSV'20, and GCC'20 / by Arabnia, Hamid R [editor.] Deligiannidis, Leonidas [editor.] Grimaila, Michael R [editor.] Hodson, Douglas D [editor.] Joe, Kazuki [editor.] Sekijima, Masakazu [editor.] Tinetti, Fernando G [editor.] SpringerLink (Online service) Series: Transactions on Computational Science and Computational Intelligence 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)
	5280.	Learning in the Digital Era [electronic resource] : 7th European Lean Educator Conference, ELEC 2021, Trondheim, Norway, October 25–27, 2021, Proceedings / by Powell, Daryl John [editor.] Alfnes, Erlend [editor.] Holmemo, Marte D. Q [editor.] Reke, Eivind [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 610 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 7036 results.