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

Results
	981.	ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / by Treharne, Helen [editor.] King, Steve [editor.] Henson, Martin [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3455 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)
	982.	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)
	983.	Computational Data and Social Networks [electronic resource] : 12th International Conference, CSoNet 2023, Hanoi, Vietnam, December 11–13, 2023, Proceedings / by Hà, Minh Hoàng [editor.] Zhu, Xingquan [editor.] Thai, My T [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14479 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)
	984.	Integrated Circuit and System Design [electronic resource] : Power and Timing Modeling, Optimization and Simulation; 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004, Proceedings / by Macii, Enrico [editor.] Paliouras, Vassilis [editor.] Koufopavlou, Odysseas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3254 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)
	985.	Simulated Evolution and Learning [electronic resource] : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings / by Li, Xiaodong [editor.] Kirley, Michael [editor.] Zhang, Mengjie [editor.] Ciesielski, Vic [editor.] Michalewicz, Zbigniew [editor.] Hendtlass, Tim [editor.] Deb, Kalyanmoy [editor.] Tan, K. C [editor.] Branke, Jürgen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5361 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)
	986.	Computational Science and Its Applications - ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV / by Gervasi, Osvaldo [editor.] Gavrilova, Marina L [editor.] Kumar, Vipin [editor.] Laganà, Antonio [editor.] Lee, Heow Pueh [editor.] Mun, Youngsong [editor.] Taniar, David [editor.] Tan, Chih Jeng Kenneth [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3483 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)
	987.	Applied Cryptography and Network Security Workshops [electronic resource] : ACNS 2022 Satellite Workshops, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Rome, Italy, June 20–23, 2022, Proceedings / by Zhou, Jianying [editor.] Adepu, Sridhar [editor.] Alcaraz, Cristina [editor.] Batina, Lejla [editor.] Casalicchio, Emiliano [editor.] Chattopadhyay, Sudipta [editor.] Jin, Chenglu [editor.] Lin, Jingqiang [editor.] Losiouk, Eleonora [editor.] Majumdar, Suryadipta [editor.] Meng, Weizhi [editor.] Picek, Stjepan [editor.] Shao, Jun [editor.] Su, Chunhua [editor.] Wang, Cong [editor.] Zhauniarovich, Yury [editor.] Zonouz, Saman [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13285 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)
	988.	Scale Space and Variational Methods in Computer Vision [electronic resource] : 9th International Conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21–25, 2023, Proceedings / by Calatroni, Luca [editor.] Donatelli, Marco [editor.] Morigi, Serena [editor.] Prato, Marco [editor.] Santacesaria, Matteo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14009 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)
	989.	Transactions on Petri Nets and Other Models of Concurrency XVII [electronic resource] / by Koutny, Maciej [editor.] Bergenthum, Robin [editor.] Ciardo, Gianfranco [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 14150 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	990.	Incentive Mechanism for Mobile Crowdsensing [electronic resource] : A Game-theoretic Approach / by Li, Youqi [author.] Li, Fan [author.] Yang, Song [author.] Zhang, Chuan [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science 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)
	991.	Big Data Analytics for Time-Critical Mobility Forecasting [electronic resource] : From Raw Data to Trajectory-Oriented Mobility Analytics in the Aviation and Maritime Domains / by Vouros, George A [editor.] Andrienko, Gennady [editor.] Doulkeridis, Christos [editor.] Pelekis, Nikolaos [editor.] Artikis, Alexander [editor.] Jousselme, Anne-Laure [editor.] Ray, Cyril [editor.] Cordero, Jose Manuel [editor.] Scarlatti, David [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)
	992.	Privacy and Identity Management. Between Data Protection and Security [electronic resource] : 16th IFIP WG 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Privacy and Identity 2021, Virtual Event, August 16–20, 2021, Revised Selected Papers / by Friedewald, Michael [editor.] Krenn, Stephan [editor.] Schiering, Ina [editor.] Schiffner, Stefan [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 644 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)
	993.	Methods and Applications for Modeling and Simulation of Complex Systems [electronic resource] : 21st Asia Simulation Conference, AsiaSim 2022, Changsha, China, December 9-11, 2022, Proceedings, Part II / by Fan, Wenhui [editor.] Zhang, Lin [editor.] Li, Ni [editor.] Song, Xiao [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1713 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	994.	An Introduction to Image Classification [electronic resource] : From Designed Models to End-to-End Learning / by Toennies, Klaus D [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)
	995.	FPGA EDA [electronic resource] : Design Principles and Implementation / by Tu, Kaihui [author.] Tang, Xifan [author.] Yu, Cunxi [author.] Josipović, Lana [author.] Chu, Zhufei [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)
	996.	Artificial Neural Networks and Machine Learning -- ICANN 2013 [electronic resource] : 23rd International Conference on Artificial Neural Networks, Sofia, Bulgaria, September 10-13, 2013, Proceedings / by Mladenov, Valeri [editor.] Koprinkova-Hristova, Petia [editor.] Palm, Günther [editor.] Villa, Alessandro [editor.] Apolloni, Bruno [editor.] Kasabov, Nikola K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8131 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)
	997.	Advances in Information Retrieval [electronic resource] : 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24–28, 2024, Proceedings, Part II / by Goharian, Nazli [editor.] Tonellotto, Nicola [editor.] He, Yulan [editor.] Lipani, Aldo [editor.] McDonald, Graham [editor.] Macdonald, Craig [editor.] Ounis, Iadh [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14609 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)
	998.	Advances in Information Retrieval [electronic resource] : 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24–28, 2024, Proceedings, Part III / by Goharian, Nazli [editor.] Tonellotto, Nicola [editor.] He, Yulan [editor.] Lipani, Aldo [editor.] McDonald, Graham [editor.] Macdonald, Craig [editor.] Ounis, Iadh [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14610 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)
	999.	Distributed Computer and Communication Networks: Control, Computation, Communications [electronic resource] : 26th International Conference, DCCN 2023, Moscow, Russia, September 25–29, 2023, Revised Selected Papers / by Vishnevskiy, Vladimir M [editor.] Samouylov, Konstantin E [editor.] Kozyrev, Dmitry V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14123 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)
	1000.	Parallel Processing and Applied Mathematics, Part I [electronic resource] : 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Karczewski, Konrad [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6067 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)