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

Results
	481.	Formal Methods [electronic resource] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings / by Chechik, Marsha [editor.] Katoen, Joost-Pieter [editor.] Leucker, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14000 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)
	482.	Financial Cryptography and Data Security. FC 2021 International Workshops [electronic resource] : CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers / by Bernhard, Matthew [editor.] Bracciali, Andrea [editor.] Gudgeon, Lewis [editor.] Haines, Thomas [editor.] Klages-Mundt, Ariah [editor.] Matsuo, Shin'ichiro [editor.] Perez, Daniel [editor.] Sala, Massimiliano [editor.] Werner, Sam [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12676 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	483.	Static Analysis [electronic resource] : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings / by Drăgoi, Cezara [editor.] Mukherjee, Suvam [editor.] Namjoshi, Kedar [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12913 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)
	484.	Systems Engineering and Artificial Intelligence [electronic resource] / by Lawless, William F [editor.] Mittu, Ranjeev [editor.] Sofge, Donald A [editor.] Shortell, Thomas [editor.] McDermott, Thomas A [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)
	485.	Social Robotics [electronic resource] : 13th International Conference, ICSR 2021, Singapore, Singapore, November 10–13, 2021, Proceedings / by Li, Haizhou [editor.] Ge, Shuzhi Sam [editor.] Wu, Yan [editor.] Wykowska, Agnieszka [editor.] He, Hongsheng [editor.] Liu, Xiaorui [editor.] Li, Dongyu [editor.] Perez-Osorio, Jairo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13086 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)
	486.	Driving Scientific and Engineering Discoveries Through the Integration of Experiment, Big Data, and Modeling and Simulation [electronic resource] : 21st Smoky Mountains Computational Sciences and Engineering, SMC 2021, Virtual Event, October 18-20, 2021, Revised Selected Papers / by Nichols, Jeffrey [editor.] Maccabe, Arthur ‘Barney’ [editor.] Nutaro, James [editor.] Pophale, Swaroop [editor.] Devineni, Pravallika [editor.] Ahearn, Theresa [editor.] Verastegui, Becky [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1512 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)
	487.	Context-Aware Systems and Applications [electronic resource] : 11th EAI International Conference, ICCASA 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings / by Phan, Cong Vinh [editor.] Nguyen, Thanh Dung [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 475 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)
	488.	Structured Object-Oriented Formal Language and Method [electronic resource] : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers / by Liu, Shaoying [editor.] Duan, Zhenhua [editor.] Liu, Ai [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13854 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)
	489.	Performance Evaluation and Benchmarking [electronic resource] : 14th TPC Technology Conference, TPCTC 2022, Sydney, NSW, Australia, September 5, 2022, Revised Selected Papers / by Nambiar, Raghunath [editor.] Poess, Meikel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13860 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)
	490.	On the Move to Meaningful Internet Systems. OTM 2017 Workshops [electronic resource] : Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers / by Debruyne, Christophe [editor.] Panetto, Hervé [editor.] Weichhart, Georg [editor.] Bollen, Peter [editor.] Ciuciu, Ioana [editor.] Vidal, Maria-Esther [editor.] Meersman, Robert [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10697 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)
	491.	Risks and Security of Internet and Systems [electronic resource] : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers / by Cuppens, Nora [editor.] Cuppens, Frédéric [editor.] Lanet, Jean-Louis [editor.] Legay, Axel [editor.] Garcia-Alfaro, Joaquin [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10694 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)
	492.	Social Robotics [electronic resource] : 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018, Proceedings / by Ge, Shuzhi Sam [editor.] Cabibihan, John-John [editor.] Salichs, Miguel A [editor.] Broadbent, Elizabeth [editor.] He, Hongsheng [editor.] Wagner, Alan R [editor.] Castro-González, Álvaro [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11357 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)
	493.	Artificial Intelligence in Health [electronic resource] : First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers / by Koch, Fernando [editor.] Koster, Andrew [editor.] Riaño, David [editor.] Montagna, Sara [editor.] Schumacher, Michael [editor.] ten Teije, Annette [editor.] Guttmann, Christian [editor.] Reichert, Manfred [editor.] Bichindaritz, Isabelle [editor.] Herrero, Pau [editor.] Lenz, Richard [editor.] López, Beatriz [editor.] Marling, Cindy [editor.] Martin, Clare [editor.] Montani, Stefania [editor.] Wiratunga, Nirmalie [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11326 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)
	494.	Applied Computer Sciences in Engineering [electronic resource] : 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings / by Figueroa-García, Juan Carlos [editor.] Duarte-González, Mario [editor.] Jaramillo-Isaza, Sebastián [editor.] Orjuela-Cañon, Alvaro David [editor.] Díaz-Gutierrez, Yesid [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1052 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)
	495.	Reversible Computation: Extending Horizons of Computing [electronic resource] : Selected Results of the COST Action IC1405 / by Ulidowski, Irek [editor.] Lanese, Ivan [editor.] Schultz, Ulrik Pagh [editor.] Ferreira, Carla [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12070 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)
	496.	Telematics and Computing [electronic resource] : 9th International Congress, WITCOM 2020, Puerto Vallarta, Mexico, November 2–6, 2020, Proceedings / by Mata-Rivera, Miguel Félix [editor.] Zagal-Flores, Roberto [editor.] Barria-Huidobro, Cristian [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1280 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)
	497.	Socio-Technical Aspects in Security and Trust [electronic resource] : 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers / by Groß, Thomas [editor.] Viganò, Luca [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12812 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)
	498.	Formal Aspects of Component Software [electronic resource] : 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings / by Salaün, Gwen [editor.] Wijs, Anton [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13077 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)
	499.	Active Inference [electronic resource] : Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers / by Buckley, Christopher L [editor.] Cialfi, Daniela [editor.] Lanillos, Pablo [editor.] Ramstead, Maxwell [editor.] Sajid, Noor [editor.] Shimazaki, Hideaki [editor.] Verbelen, Tim [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1721 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)
	500.	Constructive Side-Channel Analysis and Secure Design [electronic resource] : 14th International Workshop, COSADE 2023, Munich, Germany, April 3–4, 2023, Proceedings / by Kavun, Elif Bilge [editor.] Pehl, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13979 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)