Results of search for 'ccl=Provider:Springer, and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	141.	Frontiers in Cyber Security [electronic resource] : Third International Conference, FCS 2020, Tianjin, China, November 15–17, 2020, Proceedings / by Xu, Guangquan [editor.] Liang, Kaitai [editor.] Su, Chunhua [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1286 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	142.	Intelligent Computing Theories and Application [electronic resource] : 18th International Conference, ICIC 2022, Xi'an, China, August 7–11, 2022, Proceedings, Part II / by Huang, De-Shuang [editor.] Jo, Kang-Hyun [editor.] Jing, Junfeng [editor.] Premaratne, Prashan [editor.] Bevilacqua, Vitoantonio [editor.] Hussain, Abir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13394 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)
	143.	Distributed Applications and Interoperable Systems [electronic resource] : 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / by Eyers, David [editor.] Voulgaris, Spyros [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13272 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)
	144.	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)
	145.	The Practice of Enterprise Modeling [electronic resource] : 15th IFIP WG 8.1 Working Conference, PoEM 2022, London, UK, November 23–25, 2022, Proceedings / by Barn, Balbir S [editor.] Sandkuhl, Kurt [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 456 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)
	146.	Transactions on Rough Sets XXIII [electronic resource] / by Peters, James F [editor.] Skowron, Andrzej [editor.] Bhaumik, Rabi Nanda [editor.] Ramanna, Sheela [editor.] SpringerLink (Online service) Series: Transactions on Rough Sets ; 13610 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	147.	Emerging Networking Architecture and Technologies [electronic resource] : First International Conference, ICENAT 2022, Shenzhen, China, November 15–17, 2022, Proceedings / by Quan, Wei [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1696 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)
	148.	Domain-Specific Languages [electronic resource] : Effective Modeling, Automation, and Reuse / by Wąsowski, Andrzej [author.] Berger, Thorsten [author.] SpringerLink (Online service) 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)
	149.	Web Information Systems Engineering – WISE 2015 [electronic resource] : 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part II / by Wang, Jianyong [editor.] Cellary, Wojciech [editor.] Wang, Dingding [editor.] Wang, Hua [editor.] Chen, Shu-Ching [editor.] Li, Tao [editor.] Zhang, Yanchun [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9419 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)
	150.	Adaptive Resource Management and Scheduling for Cloud Computing [electronic resource] : Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers / by Pop, Florin [editor.] Potop-Butucaru, Maria [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9438 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)
	151.	Ubiquitous Computing and Ambient Intelligence: Personalisation and User Adapted Services [electronic resource] : 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014, Proceedings / by Hervás, Ramón [editor.] Lee, Sungyoung [editor.] Nugent, Chris [editor.] Bravo, José [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8867 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)
	152.	Risk Assessment and Risk-Driven Testing [electronic resource] : Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers / by Seehusen, Fredrik [editor.] Felderer, Michael [editor.] Großmann, Jürgen [editor.] Wendland, Marc-Florian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9488 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)
	153.	OpenMP: Heterogenous Execution and Data Movements [electronic resource] : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings / by Terboven, Christian [editor.] de Supinski, Bronis R [editor.] Reble, Pablo [editor.] Chapman, Barbara M [editor.] Müller, Matthias S [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9342 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)
	154.	Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / by Jensen, Kurt [editor.] van der Aalst, Wil M. P [editor.] Balbo, Gianfranco [editor.] Koutny, Maciej [editor.] Wolf, Karsten [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 7480 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)
	155.	Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / by Hildebrandt, Thomas [editor.] Ravara, António [editor.] van der Werf, Jan Martijn [editor.] Weidlich, Matthias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9421 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)
	156.	Computational Science and Its Applications -- ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV / by Murgante, Beniamino [editor.] Gervasi, Osvaldo [editor.] Misra, Sanjay [editor.] Nedjah, Nadia [editor.] Rocha, Ana Maria Alves Coutinho [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7336 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)
	157.	Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / by Ida, Tetsuo [editor.] Fleuriot, Jacques [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7993 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)
	158.	Software Engineering and Formal Methods [electronic resource] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / by De Nicola, Rocco [editor.] Kühn, Eva [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9763 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)
	159.	Product-Focused Software Process Improvement [electronic resource] : 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings / by Felderer, Michael [editor.] Méndez Fernández, Daniel [editor.] Turhan, Burak [editor.] Kalinowski, Marcos [editor.] Sarro, Federica [editor.] Winkler, Dietmar [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10611 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)
	160.	Financial Cryptography and Data Security [electronic resource] : 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers / by Kiayias, Aggelos [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10322 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

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4435 results.