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

Results
	1061.	Leveraging Applications of Formal Methods, Verification and Validation. Modeling [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11244 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)
	1062.	Leveraging Applications of Formal Methods, Verification and Validation. Verification [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11245 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)
	1063.	Formal Methods: Foundations and Applications [electronic resource] : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings / by Massoni, Tiago [editor.] Mousavi, Mohammad Reza [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11254 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)
	1064.	Security and Privacy for Next-Generation Wireless Networks [electronic resource] / by Zhong, Sheng [author.] Zhong, Hong [author.] Huang, Xinyi [author.] Yang, Panlong [author.] Shi, Jin [author.] Xie, Lei [author.] Wang, Kun [author.] SpringerLink (Online service) Series: Wireless Networks 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)
	1065.	Neural Information Processing [electronic resource] : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I / by Cheng, Long [editor.] Leung, Andrew Chi Sing [editor.] Ozawa, Seiichi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11301 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)
	1066.	Neural Information Processing [electronic resource] : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII / by Cheng, Long [editor.] Leung, Andrew Chi Sing [editor.] Ozawa, Seiichi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11307 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)
	1067.	Algorithms and Architectures for Parallel Processing [electronic resource] : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III / by Vaidya, Jaideep [editor.] Li, Jin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11336 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)
	1068.	Industrial Sensors and Controls in Communication Networks [electronic resource] : From Wired Technologies to Cloud Computing and the Internet of Things / by Kim, Dong-Seong [author.] Tran-Dang, Hoa [author.] SpringerLink (Online service) Series: Computer Communications and Networks 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)
	1069.	Computer Science – CACIC 2018 [electronic resource] : 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers / by Pesado, Patricia [editor.] Aciti, Claudio [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 995 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)
	1070.	Blockchain Technology in Internet of Things [electronic resource] / by Zhu, Liehuang [author.] Gai, Keke [author.] Li, Meng [author.] 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)
	1071.	Financial Cryptography and Data Security [electronic resource] : 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers / by Meiklejohn, Sarah [editor.] Sako, Kazue [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10957 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1072.	Transactions on Computational Science XXXIV [electronic resource] / by Gavrilova, Marina L [editor.] Tan, C.J. Kenneth [editor.] SpringerLink (Online service) Series: Transactions on Computational Science ; 11820 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1073.	Software Quality: Quality Intelligence in Software and Systems Engineering [electronic resource] : 12th International Conference, SWQD 2020, Vienna, Austria, January 14–17, 2020, Proceedings / by Winkler, Dietmar [editor.] Biffl, Stefan [editor.] Mendez, Daniel [editor.] Bergsmann, Johannes [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 371 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)
	1074.	Artificial Evolution [electronic resource] : 14th International Conference, Évolution Artificielle, EA 2019, Mulhouse, France, October 29–30, 2019, Revised Selected Papers / by Idoumghar, Lhassane [editor.] Legrand, Pierrick [editor.] Liefooghe, Arnaud [editor.] Lutton, Evelyne [editor.] Monmarché, Nicolas [editor.] Schoenauer, Marc [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12052 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)
	1075.	Advances in Bioinformatics and Computational Biology [electronic resource] : 12th Brazilian Symposium on Bioinformatics, BSB 2019, Fortaleza, Brazil, October 7–10, 2019, Revised Selected Papers / by Kowada, Luis [editor.] de Oliveira, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 11347 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)
	1076.	Advances in Cryptology – CRYPTO 2020 [electronic resource] : 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020, Proceedings, Part I / by Micciancio, Daniele [editor.] Ristenpart, Thomas [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12170 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)
	1077.	Signals in the Soil [electronic resource] : Developments in Internet of Underground Things / by Salam, Abdul [author.] Raza, Usman [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)
	1078.	Euro-Par 2020: Parallel Processing [electronic resource] : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings / by Malawski, Maciej [editor.] Rzadca, Krzysztof [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12247 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)
	1079.	Bioinformatics Research and Applications [electronic resource] : 16th International Symposium, ISBRA 2020, Moscow, Russia, December 1–4, 2020, Proceedings / by Cai, Zhipeng [editor.] Mandoiu, Ion [editor.] Narasimhan, Giri [editor.] Skums, Pavel [editor.] Guo, Xuan [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 12304 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)
	1080.	Transactions on Computational Collective Intelligence XXXV [electronic resource] / by Nguyen, Ngoc Thanh [editor.] Kowalczyk, Ryszard [editor.] Mercik, Jacek [editor.] Motylska-Kuźma, Anna [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 12330 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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 7031 results.