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

Results
	661.	Transactions on Petri Nets and Other Models of Concurrency XIV [electronic resource] / by Koutny, Maciej [editor.] Pomello, Lucia [editor.] Kristensen, Lars Michael [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 11790 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)
	662.	Formal Aspects of Component Software [electronic resource] : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings / by Arbab, Farhad [editor.] Jongmans, Sung-Shik [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12018 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)
	663.	Knowledge Engineering Tools and Techniques for AI Planning [electronic resource] / by Vallati, Mauro [editor.] Kitchin, Diane [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)
	664.	Algorithmic Game Theory [electronic resource] : 13th International Symposium, SAGT 2020, Augsburg, Germany, September 16–18, 2020, Proceedings / by Harks, Tobias [editor.] Klimm, Max [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12283 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)
	665.	Security and Trust Management [electronic resource] : 16th International Workshop, STM 2020, Guildford, UK, September 17–18, 2020, Proceedings / by Markantonakis, Kostantinos [editor.] Petrocchi, Marinella [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12386 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)
	666.	Artificial Intelligence and Security [electronic resource] : 7th International Conference, ICAIS 2021, Dublin, Ireland, July 19–23, 2021, Proceedings, Part II / by Sun, Xingming [editor.] Zhang, Xiaorui [editor.] Xia, Zhihua [editor.] Bertino, Elisa [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12737 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)
	667.	Document Analysis and Recognition – ICDAR 2021 [electronic resource] : 16th International Conference, Lausanne, Switzerland, September 5–10, 2021, Proceedings, Part III / by Lladós, Josep [editor.] Lopresti, Daniel [editor.] Uchida, Seiichi [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12823 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)
	668.	Document Analysis and Recognition – ICDAR 2021 [electronic resource] : 16th International Conference, Lausanne, Switzerland, September 5–10, 2021, Proceedings, Part IV / by Lladós, Josep [editor.] Lopresti, Daniel [editor.] Uchida, Seiichi [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12824 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)
	669.	Deep Reinforcement Learning [electronic resource] / by Plaat, Aske [author.] SpringerLink (Online service) 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)
	670.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings / by Mousavi, Mohammad Reza [editor.] Philippou, Anna [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13273 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)
	671.	Responsible Data Science [electronic resource] : Select Proceedings of ICDSE 2021 / by Mathew, Jimson [editor.] Santhosh Kumar, G [editor.] P., Deepak [editor.] Jose, Joemon M [editor.] SpringerLink (Online service) Series: Lecture Notes in Electrical Engineering ; 940 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)
	672.	Coping with Selfishness in Congestion Games [electronic resource] : Analysis and Design via LP Duality / by Bilò, Vittorio [author.] Vinci, Cosimo [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS Series 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)
	673.	Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings / by Stoelinga, Mariëlle [editor.] Pinger, Ralf [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7437 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	674.	Fundamental Approaches to Software Engineering [electronic resource] : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / by Russo, Alessandra [editor.] Schürr, Andy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10802 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)
	675.	Intelligent Robotics and Applications [electronic resource] : 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II / by Chen, Zhiyong [editor.] Mendes, Alexandre [editor.] Yan, Yamin [editor.] Chen, Shifeng [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10985 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)
	676.	Static Analysis [electronic resource] : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings / by Podelski, Andreas [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11002 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)
	677.	Theoretical Aspects of Computing – ICTAC 2018 [electronic resource] : 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings / by Fischer, Bernd [editor.] Uustalu, Tarmo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11187 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)
	678.	Engineering Trustworthy Software Systems [electronic resource] : Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures / by Bowen, Jonathan P [editor.] Liu, Zhiming [editor.] Zhang, Zili [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11174 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)
	679.	Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments [electronic resource] : Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28–30, 2018, Proceedings / by Traore, Issa [editor.] Woungang, Isaac [editor.] Ahmed, Sherif Saad [editor.] Malik, Yasir [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11317 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)
	680.	Advances in Cryptology – EUROCRYPT 2019 [electronic resource] : 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III / by Ishai, Yuval [editor.] Rijmen, Vincent [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11478 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 3843 results.