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

Results
	1081.	Model and Data Engineering [electronic resource] : 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings / by Ait Ameur, Yamine [editor.] Bellatreche, Ladjel [editor.] Papadopoulos, George A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8748 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)
	1082.	Theoretical Aspects of Computing – ICTAC 2016 [electronic resource] : 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings / by Sampaio, Augusto [editor.] Wang, Farn [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9965 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)
	1083.	Formal Methods for Components and Objects [electronic resource] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures / by de Boer, Frank S [editor.] Bonsangue, Marcello M [editor.] Graf, Susanne [editor.] de Roever, Willem-Paul [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3657 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)
	1084.	Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I / by Aceto, Luca [editor.] Damgaard, Ivan [editor.] Goldberg, Leslie Ann [editor.] Halldorsson, Magnus M [editor.] Ingolfsdottir, Anna [editor.] Walukiewicz, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5125 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1085.	High Performance Computing – HiPC 2005 [electronic resource] : 12th International Conference, Goa, India, December 18-21, 2005, Proceedings / by Bader, David A [editor.] Parashar, Manish [editor.] Sridhar, V [editor.] Prasanna, Viktor K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3769 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)
	1086.	Combinatorial Optimization and Applications [electronic resource] : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I / by Gao, Xiaofeng [editor.] Du, Hongwei [editor.] Han, Meng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10627 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)
	1087.	Declarative Programming and Knowledge Management [electronic resource] : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers / by Seipel, Dietmar [editor.] Hanus, Michael [editor.] Abreu, Salvador [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10997 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)
	1088.	Precision Assembly in the Digital Age [electronic resource] : 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14—16, 2018, Revised Selected Papers / by Ratchev, Svetan [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 530 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)
	1089.	Human-Centered Software Engineering [electronic resource] : 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers / by Bogdan, Cristian [editor.] Kuusinen, Kati [editor.] Lárusdóttir, Marta Kristín [editor.] Palanque, Philippe [editor.] Winckler, Marco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11262 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)
	1090.	Industrial Applications of Holonic and Multi-Agent Systems [electronic resource] : 9th International Conference, HoloMAS 2019, Linz, Austria, August 26–29, 2019, Proceedings / by Mařík, Vladimír [editor.] Kadera, Petr [editor.] Rzevski, George [editor.] Zoitl, Alois [editor.] Anderst-Kotsis, Gabriele [editor.] Tjoa, A Min [editor.] Khalil, Ismail [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11710 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)
	1091.	On the Move to Meaningful Internet Systems: OTM 2019 Conferences [electronic resource] : Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings / by Panetto, Hervé [editor.] Debruyne, Christophe [editor.] Hepp, Martin [editor.] Lewis, Dave [editor.] Ardagna, Claudio Agostino [editor.] Meersman, Robert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11877 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)
	1092.	Product Lifecycle Management in the Digital Twin Era [electronic resource] : 16th IFIP WG 5.1 International Conference, PLM 2019, Moscow, Russia, July 8–12, 2019, Revised Selected Papers / by Fortin, Clement [editor.] Rivest, Louis [editor.] Bernard, Alain [editor.] Bouras, Abdelaziz [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 565 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)
	1093.	Risks and Security of Internet and Systems [electronic resource] : 15th International Conference, CRiSIS 2020, Paris, France, November 4–6, 2020, Revised Selected Papers / by Garcia-Alfaro, Joaquin [editor.] Leneutre, Jean [editor.] Cuppens, Nora [editor.] Yaich, Reda [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12528 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)
	1094.	Logic-Based Program Synthesis and Transformation [electronic resource] : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings / by Fernández, Maribel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12561 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)
	1095.	Public-Key Cryptography – PKC 2021 [electronic resource] : 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part II / by Garay, Juan A [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12711 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)
	1096.	Integer Programming and Combinatorial Optimization [electronic resource] : 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings / by Singh, Mohit [editor.] Williamson, David P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12707 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)
	1097.	Open Source Systems [electronic resource] : 17th IFIP WG 2.13 International Conference, OSS 2021, Virtual Event, May 12–13, 2021, Proceedings / by Taibi, Davide [editor.] Lenarduzzi, Valentina [editor.] Kilamo, Terhi [editor.] Zacchiroli, Stefano [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 624 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)
	1098.	Applied Computer Sciences in Engineering [electronic resource] : 8th Workshop on Engineering Applications, WEA 2021, Medellín, Colombia, October 6–8, 2021, Proceedings / by Figueroa-García, Juan Carlos [editor.] Díaz-Gutierrez, Yesid [editor.] Gaona-García, Elvis Eduardo [editor.] Orjuela-Cañón, Alvaro David [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1431 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)
	1099.	Safety and Security of Cyber-Physical Systems [electronic resource] : Engineering dependable Software using Principle-based Development / by Furrer, Frank J [author.] SpringerLink (Online service) Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1100.	Dependable Computing – EDCC 2022 Workshops [electronic resource] : SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings / by Marrone, Stefano [editor.] De Sanctis, Martina [editor.] Kocsis, Imre [editor.] Adler, Rasmus [editor.] Hawkins, Richard [editor.] Schleiß, Philipp [editor.] Marrone, Stefano [editor.] Nardone, Roberto [editor.] Flammini, Francesco [editor.] Vittorini, Valeria [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1656 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4435 results.