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

Results
	2661.	Concrete Abstractions [electronic resource] : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker / by Schreiner, Wolfgang [author.] SpringerLink (Online service) Series: Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria 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)
	2662.	Information Hiding [electronic resource] : 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers / by Kirchner, Matthias [editor.] Ghosal, Dipak [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7692 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)
	2663.	SOFSEM 2013: Theory and Practice of Computer Science [electronic resource] : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013, Proceedings / by van Emde Boas, Peter [editor.] Groen, Frans C.A [editor.] Italiano, Giuseppe F [editor.] Nawrocki, Jerzy [editor.] Sack, Harald [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7741 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)
	2664.	Arithmetic of Finite Fields [electronic resource] : 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers / by Duquesne, Sylvain [editor.] Petkova-Nikova, Svetla [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10064 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2665.	Advances in Computing and Data Sciences [electronic resource] : Third International Conference, ICACDS 2019, Ghaziabad, India, April 12–13, 2019, Revised Selected Papers, Part II / by Singh, Mayank [editor.] Gupta, P.K [editor.] Tyagi, Vipin [editor.] Flusser, Jan [editor.] Ören, Tuncer [editor.] Kashyap, Rekha [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1046 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)
	2666.	Analysis of Images, Social Networks and Texts [electronic resource] : 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers / by van der Aalst, Wil M. P [editor.] Batagelj, Vladimir [editor.] Ignatov, Dmitry I [editor.] Khachay, Michael [editor.] Koltsova, Olessia [editor.] Kutuzov, Andrey [editor.] Kuznetsov, Sergei O [editor.] Lomazova, Irina A [editor.] Loukachevitch, Natalia [editor.] Napoli, Amedeo [editor.] Panchenko, Alexander [editor.] Pardalos, Panos M [editor.] Pelillo, Marcello [editor.] Savchenko, Andrey V [editor.] Tutubalina, Elena [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12602 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)
	2667.	Mathematical Optimization Theory and Operations Research [electronic resource] : 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings / by Pardalos, Panos [editor.] Khachay, Michael [editor.] Kazakov, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12755 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)
	2668.	Advances of Science and Technology [electronic resource] : 8th EAI International Conference, ICAST 2020, Bahir Dar, Ethiopia, October 2-4, 2020, Proceedings, Part II / by Delele, Mulugeta Admasu [editor.] Bitew, Mekuanint Agegnehu [editor.] Beyene, Abebech Abera [editor.] Fanta, Solomon Workneh [editor.] Ali, Addisu Negash [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 385 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)
	2669.	Security and Privacy in Communication Networks [electronic resource] : 17th EAI International Conference, SecureComm 2021, Virtual Event, September 6–9, 2021, Proceedings, Part II / by Garcia-Alfaro, Joaquin [editor.] Li, Shujun [editor.] Poovendran, Radha [editor.] Debar, Hervé [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 399 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)
	2670.	Optimization and Applications [electronic resource] : 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Proceedings / by Olenev, Nicholas N [editor.] Evtushenko, Yuri G [editor.] Jaćimović, Milojica [editor.] Khachay, Michael [editor.] Malkova, Vlasta [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13078 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)
	2671.	Security and Privacy [electronic resource] : Second International Conference, ICSP 2021, Jamshedpur, India, November 16–17, 2021, Proceedings / by Stănică, Pantelimon [editor.] Mesnager, Sihem [editor.] Debnath, Sumit Kumar [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1497 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)
	2672.	Mathematical Reasoning: The History and Impact of the DReaM Group [electronic resource] / by Michaelson, Gregory [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 eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2673.	Knowledge Graphs and Semantic Web [electronic resource] : Third Iberoamerican Conference and Second Indo-American Conference, KGSWC 2021, Kingsville, Texas, USA, November 22–24, 2021, Proceedings / by Villazón-Terrazas, Boris [editor.] Ortiz-Rodríguez, Fernando [editor.] Tiwari, Sanju [editor.] Goyal, Ayush [editor.] Jabbar, MA [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1459 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)
	2674.	Performance Engineering and Stochastic Modeling [electronic resource] : 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings / by Ballarini, Paolo [editor.] Castel, Hind [editor.] Dimitriou, Ioannis [editor.] Iacono, Mauro [editor.] Phung-Duc, Tuan [editor.] Walraevens, Joris [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13104 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)
	2675.	Computer Architecture and Organization [electronic resource] : Fundamentals and Architecture Security / by Wang, Shuangbao Paul [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)
	2676.	Computer-Aided Architectural Design. Design Imperatives: The Future is Now [electronic resource] : 19th International Conference, CAAD Futures 2021, Los Angeles, CA, USA, July 16–18, 2021, Selected Papers / by Gerber, David [editor.] Pantazis, Evangelos [editor.] Bogosian, Biayna [editor.] Nahmad, Alicia [editor.] Miltiadis, Constantinos [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1465 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)
	2677.	Federated Learning [electronic resource] : Fundamentals and Advances / by Jin, Yaochu [author.] Zhu, Hangyu [author.] Xu, Jinjin [author.] Chen, Yang [author.] SpringerLink (Online service) Series: Machine Learning: Foundations, Methodologies, and Applications 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)
	2678.	Blockchain Technology and Application [electronic resource] : 5th CCF China Blockchain Conference, CBCC 2022, Wuxi, China, December 23–25, 2022, Proceedings / by Sun, Yi [editor.] Cai, Liang [editor.] Wang, Wei [editor.] Song, Xianhua [editor.] Lu, Zeguang [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1736 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)
	2679.	Artificial Life and Evolutionary Computation [electronic resource] : 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15–17, 2021, Revised Selected Papers / by Schneider, Johannes Josef [editor.] Weyland, Mathias Sebastian [editor.] Flumini, Dandolo [editor.] Füchslin, Rudolf Marcel [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1722 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)
	2680.	Neural Information Processing [electronic resource] : 29th International Conference, ICONIP 2022, Virtual Event, November 22–26, 2022, Proceedings, Part IV / by Tanveer, Mohammad [editor.] Agarwal, Sonali [editor.] Ozawa, Seiichi [editor.] Ekbal, Asif [editor.] Jatowt, Adam [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1791 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)