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

Results
	1.	Designing the Digital Transformation [electronic resource] : 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings / by Maedche, Alexander [editor.] vom Brocke, Jan [editor.] Hevner, Alan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10243 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)
	2.	Software Challenges to Exascale Computing [electronic resource] : Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings / by Majumdar, Amit [editor.] Arora, Ritu [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 964 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)
	3.	Computer Safety, Reliability, and Security [electronic resource] : 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings / by Bondavalli, Andrea [editor.] Di Giandomenico, Felicita [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8666 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)
	4.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings / by Bogomolov, Sergiy [editor.] Parker, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13465 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)
	5.	Distributed Computing -- IWDC 2004 [electronic resource] : 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings / by Das, Nabanita [editor.] Sen, Arunabha [editor.] Das, Sajal K [editor.] Sinha, Bhabani P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3326 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)
	6.	Transactions on Petri Nets and Other Models of Concurrency XV [electronic resource] / by Koutny, Maciej [editor.] Kordon, Fabrice [editor.] Pomello, Lucia [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 12530 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)
	7.	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)
	8.	Provable Security [electronic resource] : 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings / by Baek, Joonsang [editor.] Susilo, Willy [editor.] Kim, Jongkil [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11192 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)
	9.	Model-Driven Engineering and Software Development [electronic resource] : 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers / by Hammoudi, Slimane [editor.] Pires, Luís Ferreira [editor.] Selic, Bran [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 991 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)
	10.	Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24–26, 2020, Proceedings / by Maurice, Clémentine [editor.] Bilge, Leyla [editor.] Stringhini, Gianluca [editor.] Neves, Nuno [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12223 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)
	11.	A Journey from Process Algebra via Timed Automata to Model Learning [electronic resource] : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday / by Jansen, Nils [editor.] Stoelinga, Mariëlle [editor.] van den Bos, Petra [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13560 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)
	12.	Applied Cryptography and Network Security [electronic resource] : 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings / by Deng, Robert H [editor.] Gauthier-Umaña, Valérie [editor.] Ochoa, Martín [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11464 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)
	13.	Advances in Cryptology – ASIACRYPT 2019 [electronic resource] : 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part I / by Galbraith, Steven D [editor.] Moriai, Shiho [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11921 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)
	14.	Quantitative Evaluation of Systems [electronic resource] : 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings / by Ábrahám, Erika [editor.] Paolieri, Marco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13479 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)
	15.	Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / by Guan, Nan [editor.] Katoen, Joost-Pieter [editor.] Sun, Jun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11951 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)
	16.	Cryptography and Coding [electronic resource] : 17th IMA International Conference, IMACC 2019, Oxford, UK, December 16–18, 2019, Proceedings / by Albrecht, Martin [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11929 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)
	17.	Integrated Formal Methods [electronic resource] : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / by Ahrendt, Wolfgang [editor.] Tapia Tarifa, Silvia Lizeth [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11918 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)
	18.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / by Gotsman, Alexey [editor.] Sokolova, Ana [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12136 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)
	19.	Testing Software and Systems [electronic resource] : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings / by Medina-Bulo, Inmaculada [editor.] Merayo, Mercedes G [editor.] Hierons, Robert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11146 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)
	20.	Euro-Par 2019: Parallel Processing [electronic resource] : 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings / by Yahyapour, Ramin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11725 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

Item types

Series

Topics

Your search returned 304 results.