Results of search for 'ccl=Provider:Springer International Publishing :' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	301.	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)
	302.	Interactive Storytelling [electronic resource] : 13th International Conference on Interactive Digital Storytelling, ICIDS 2020, Bournemouth, UK, November 3–6, 2020, Proceedings / by Bosser, Anne-Gwenn [editor.] Millard, David E [editor.] Hargood, Charlie [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12497 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)
	303.	Algorithms for Sensor Systems [electronic resource] : 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 9–10, 2020, Revised Selected Papers / by Pinotti, Cristina M [editor.] Navarra, Alfredo [editor.] Bagchi, Amitabha [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 12503 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)
	304.	Modelling, Analysis, and Simulation of Computer and Telecommunication Systems [electronic resource] : 28th International Symposium, MASCOTS 2020, Nice, France, November 17–19, 2020, Revised Selected Papers / by Calzarossa, Maria Carla [editor.] Gelenbe, Erol [editor.] Grochla, Krysztof [editor.] Lent, Ricardo [editor.] Czachórski, Tadeusz [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 12527 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)
	305.	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)
	306.	Digital Transformation [electronic resource] : 13th PLAIS EuroSymposium on Digital Transformation, PLAIS EuroSymposium 2021, Sopot, Poland, September 23, 2021, Proceedings / by Wrycza, Stanisław [editor.] Maślankowski, Jacek [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 429 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)
	307.	Artificial Intelligence and Security [electronic resource] : 8th International Conference, ICAIS 2022, Qinghai, China, July 15–20, 2022, Proceedings, Part III / by Sun, Xingming [editor.] Zhang, Xiaorui [editor.] Xia, Zhihua [editor.] Bertino, Elisa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13340 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)
	308.	Secure and Trusted Cyber Physical Systems [electronic resource] : Recent Approaches and Future Directions / by Pal, Shantanu [editor.] Jadidi, Zahra [editor.] Foo, Ernest [editor.] SpringerLink (Online service) Series: Smart Sensors, Measurement and Instrumentation ; 43 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)
	309.	Electronic Voting [electronic resource] : 7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4–7, 2022, Proceedings / by Krimmer, Robert [editor.] Volkamer, Melanie [editor.] Duenas-Cid, David [editor.] Rønne, Peter [editor.] Germann, Micha [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13553 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)
	310.	Virtual Reality and Mixed Reality [electronic resource] : 19th EuroXR International Conference, EuroXR 2022, Stuttgart, Germany, September 14–16, 2022, Proceedings / by Zachmann, Gabriel [editor.] Alcañiz Raya, Mariano [editor.] Bourdot, Patrick [editor.] Marchal, Maud [editor.] Stefanucci, Jeanine [editor.] Yang, Xubo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13484 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)
	311.	Quality of Information and Communications Technology [electronic resource] : 15th International Conference, QUATIC 2022, Talavera de la Reina, Spain, September 12–14, 2022, Proceedings / by Vallecillo, Antonio [editor.] Visser, Joost [editor.] Pérez-Castillo, Ricardo [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1621 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)
	312.	Security and Cryptography for Networks [electronic resource] : 13th International Conference, SCN 2022, Amalfi (SA), Italy, September 12–14, 2022, Proceedings / by Galdi, Clemente [editor.] Jarecki, Stanislaw [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13409 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)
	313.	Formal Methods for Industrial Critical Systems [electronic resource] : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings / by Groote, Jan Friso [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13487 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)
	314.	Biomedical and Computational Biology [electronic resource] : Second International Symposium, BECB 2022, Virtual Event, August 13–15, 2022, Revised Selected Papers / by Wen, Shiping [editor.] Yang, Cihui [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 13637 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)
	315.	Computer Vision, Imaging and Computer Graphics Theory and Applications [electronic resource] : 16th International Joint Conference, VISIGRAPP 2021, Virtual Event, February 8–10, 2021, Revised Selected Papers / by de Sousa, A. Augusto [editor.] Havran, Vlastimil [editor.] Paljic, Alexis [editor.] Peck, Tabitha [editor.] Hurter, Christophe [editor.] Purchase, Helen [editor.] Farinella, Giovanni Maria [editor.] Radeva, Petia [editor.] Bouatouch, Kadi [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1691 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)
	316.	Research in Attacks, Intrusions and Defenses [electronic resource] : 17th International Symposium, RAID 2014, Gothenburg, Sweden, September 17-19, 2014, Proceedings / by Stavrou, Angelos [editor.] Bos, Herbert [editor.] Portokalidis, Georgios [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8688 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	317.	Progress in Artificial Intelligence [electronic resource] : 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings / by Pereira, Francisco [editor.] Machado, Penousal [editor.] Costa, Ernesto [editor.] Cardoso, Amílcar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9273 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	318.	Engineering Secure Software and Systems [electronic resource] : 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings / by Jürjens, Jan [editor.] Piessens, Frank [editor.] Bielova, Nataliia [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8364 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	319.	Database and Expert Systems Applications [electronic resource] : 25th International Conference, DEXA 2014, Munich, Germany, September 1-4, 2014. Proceedings, Part I / by Decker, Hendrik [editor.] Lhotská, Lenka [editor.] Link, Sebastian [editor.] Spies, Marcus [editor.] Wagner, Roland R [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8644 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	320.	Intelligent Computing Theories and Application [electronic resource] : 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part II / by Huang, De-Shuang [editor.] Jo, Kang-Hyun [editor.] Figueroa-García, Juan Carlos [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10362 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 6990 results.