Results of search for '"%s"' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	141.	Computational Science and Its Applications – ICCSA 2022 Workshops [electronic resource] : Malaga, Spain, July 4–7, 2022, Proceedings, Part V / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria A. C [editor.] Garau, Chiara [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13381 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)
	142.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I / by Sankaranarayanan, Sriram [editor.] Sharygina, Natasha [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13993 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)
	143.	Informatics in Schools. Fundamentals of Computer Science and Software Engineering [electronic resource] : 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings / by Pozdniakov, Sergei N [editor.] Dagienė, Valentina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11169 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)
	144.	Computer Simulation Validation [electronic resource] : Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives / by Beisbart, Claus [editor.] Saam, Nicole J [editor.] SpringerLink (Online service) Series: Simulation Foundations, Methods and Applications 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)
	145.	Computational Data and Social Networks [electronic resource] : 8th International Conference, CSoNet 2019, Ho Chi Minh City, Vietnam, November 18–20, 2019, Proceedings / by Tagarelli, Andrea [editor.] Tong, Hanghang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11917 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)
	146.	Information Security Practice and Experience [electronic resource] : 15th International Conference, ISPEC 2019, Kuala Lumpur, Malaysia, November 26–28, 2019, Proceedings / by Heng, Swee-Huay [editor.] Lopez, Javier [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11879 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)
	147.	Advances in Computer Graphics [electronic resource] : 39th Computer Graphics International Conference, CGI 2022, Virtual Event, September 12–16, 2022, Proceedings / by Magnenat-Thalmann, Nadia [editor.] Zhang, Jian [editor.] Kim, Jinman [editor.] Papagiannakis, George [editor.] Sheng, Bin [editor.] Thalmann, Daniel [editor.] Gavrilova, Marina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13443 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)
	148.	From Sounds to Music and Emotions [electronic resource] : 9th International Symposium CMMR 2012, London, UK, June 19-22, 2012, Revised Selected Papers / by Aramaki, Mitsuko [editor.] Barthet, Mathieu [editor.] Kronland-Martinet, Richard [editor.] Ystad, Sølvi [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7900 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	149.	Databases, Information Systems, and Peer-to-Peer Computing [electronic resource] : Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers / by Ng, Wee Siong [editor.] Ooi, Beng Chin [editor.] Ouksel, Aris [editor.] Sartori, Claudio [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3367 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	150.	Mechanisms, Symbols, and Models Underlying Cognition [electronic resource] : First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part I / by Mira, José [editor.] Álvarez, José R [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3561 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	151.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / by Abraham, Erika [editor.] Havelund, Klaus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8413 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	152.	Neural Information Processing [electronic resource] : 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part III / by Gedeon, Tom [editor.] Wong, Kok Wai [editor.] Lee, Minho [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11955 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)
	153.	Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12477 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)
	154.	Artificial Neural Networks and Machine Learning – ICANN 2021 [electronic resource] : 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14–17, 2021, Proceedings, Part II / by Farkaš, Igor [editor.] Masulli, Paolo [editor.] Otte, Sebastian [editor.] Wermter, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12892 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)
	155.	Provable Security [electronic resource] : 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings / by Baek, Joonsang [editor.] Susilo, Willy [editor.] Kim, Jongkil [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11192 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)
	156.	Engineering Adaptive Software Systems [electronic resource] : Communications of NII Shonan Meetings / by Yu, Yijun [editor.] Bandara, Arosha [editor.] Honiden, Shinichi [editor.] Hu, Zhenjiang [editor.] Tamai, Tetsuo [editor.] Muller, Hausi [editor.] Mylopoulos, John [editor.] Nuseibeh, Bashar [editor.] SpringerLink (Online service) 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)
	157.	Guide to Mobile Data Analytics in Refugee Scenarios [electronic resource] : The 'Data for Refugees Challenge' Study / by Salah, Albert Ali [editor.] Pentland, Alex [editor.] Lepri, Bruno [editor.] Letouzé, Emmanuel [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)
	158.	Real-time Linked Dataspaces [electronic resource] : Enabling Data Ecosystems for Intelligent Systems / by Curry, Edward [author.] 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)
	159.	IoT Supply Chain Security Risk Analysis and Mitigation [electronic resource] : Modeling, Computations, and Software Tools / by Kieras, Timothy [author.] Farooq, Junaid [author.] Zhu, Quanyan [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science 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)
	160.	The Role of Digital Technologies in Shaping the Post-Pandemic World [electronic resource] : 21st IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2022, Newcastle upon Tyne, UK, September 13–14, 2022, Proceedings / by Papagiannidis, Savvas [editor.] Alamanos, Eleftherios [editor.] Gupta, Suraksha [editor.] Dwivedi, Yogesh K [editor.] Mäntymäki, Matti [editor.] Pappas, Ilias O [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13454 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

Places

Topics

Your search returned 29301 results.