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

Results
	1281.	Structured Object-Oriented Formal Language and Method [electronic resource] : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers / by Liu, Shaoying [editor.] Duan, Zhenhua [editor.] Liu, Ai [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13854 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)
	1282.	Convergence in Crossover Service [electronic resource] / by Yin, Jianwei [editor.] Li, Bing [editor.] Wang, Zhongjie [editor.] Deng, Shuiguang [editor.] SpringerLink (Online service) Series: Advanced Topics in Science and Technology in China ; 68 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)
	1283.	Performance Evaluation and Benchmarking [electronic resource] : 14th TPC Technology Conference, TPCTC 2022, Sydney, NSW, Australia, September 5, 2022, Revised Selected Papers / by Nambiar, Raghunath [editor.] Poess, Meikel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13860 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1284.	Computational Science and Its Applications -- ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II / 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 ; 7334 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)
	1285.	SDL 2015: Model-Driven Engineering for Smart Cities [electronic resource] : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / by Fischer, Joachim [editor.] Scheidgen, Markus [editor.] Schieferdecker, Ina [editor.] Reed, Rick [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 9369 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)
	1286.	On the Move to Meaningful Internet Systems. OTM 2017 Workshops [electronic resource] : Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers / by Debruyne, Christophe [editor.] Panetto, Hervé [editor.] Weichhart, Georg [editor.] Bollen, Peter [editor.] Ciuciu, Ioana [editor.] Vidal, Maria-Esther [editor.] Meersman, Robert [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10697 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)
	1287.	Risks and Security of Internet and Systems [electronic resource] : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers / by Cuppens, Nora [editor.] Cuppens, Frédéric [editor.] Lanet, Jean-Louis [editor.] Legay, Axel [editor.] Garcia-Alfaro, Joaquin [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10694 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)
	1288.	Cloud Computing and Services Science [electronic resource] : 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers / by Muñoz, Víctor Méndez [editor.] Ferguson, Donald [editor.] Helfert, Markus [editor.] Pahl, Claus [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1073 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)
	1289.	Applied Computer Sciences in Engineering [electronic resource] : 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings / by Figueroa-García, Juan Carlos [editor.] Duarte-González, Mario [editor.] Jaramillo-Isaza, Sebastián [editor.] Orjuela-Cañon, Alvaro David [editor.] Díaz-Gutierrez, Yesid [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1052 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)
	1290.	Software Ecosystems, Sustainability and Human Values in the Social Web [electronic resource] : 8th Workshop of Human-Computer Interaction Aspects to the Social Web, WAIHCWS 2017, Joinville, Brazil, October 23, 2017 and 9th Workshop, WAIHCWS 2018, Belém, Brazil, October 22, 2018, Revised Selected Papers / by Santos, Rodrigo Pereira dos [editor.] Maciel, Cristiano [editor.] Viterbo, José [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1081 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)
	1291.	Reversible Computation: Extending Horizons of Computing [electronic resource] : Selected Results of the COST Action IC1405 / by Ulidowski, Irek [editor.] Lanese, Ivan [editor.] Schultz, Ulrik Pagh [editor.] Ferreira, Carla [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12070 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)
	1292.	Blockchain and Trustworthy Systems [electronic resource] : Second International Conference, BlockSys 2020, Dali, China, August 6–7, 2020, Revised Selected Papers / by Zheng, Zibin [editor.] Dai, Hong-Ning [editor.] Fu, Xiaodong [editor.] Chen, Benhui [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1267 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)
	1293.	Electronic Government [electronic resource] : 20th IFIP WG 8.5 International Conference, EGOV 2021, Granada, Spain, September 7–9, 2021, Proceedings / by Scholl, Hans Jochen [editor.] Gil-Garcia, J. Ramon [editor.] Janssen, Marijn [editor.] Kalampokis, Evangelos [editor.] Lindgren, Ida [editor.] Rodríguez Bolívar, Manuel Pedro [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12850 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)
	1294.	Conceptual Modeling [electronic resource] : 40th International Conference, ER 2021, Virtual Event, October 18–21, 2021, Proceedings / by Ghose, Aditya [editor.] Horkoff, Jennifer [editor.] Silva Souza, Vítor E [editor.] Parsons, Jeffrey [editor.] Evermann, Joerg [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 13011 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)
	1295.	Advances in Computational Intelligence [electronic resource] : 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25–30, 2021, Proceedings, Part I / by Batyrshin, Ildar [editor.] Gelbukh, Alexander [editor.] Sidorov, Grigori [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13067 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)
	1296.	Formal Aspects of Component Software [electronic resource] : 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings / by Salaün, Gwen [editor.] Wijs, Anton [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13077 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)
	1297.	Domain Science and Engineering [electronic resource] : A Foundation for Software Development / by Bjørner, Dines [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS Series 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)
	1298.	Secure IT Systems [electronic resource] : 26th Nordic Conference, NordSec 2021, Virtual Event, November 29–30, 2021, Proceedings / by Tuveri, Nicola [editor.] Michalas, Antonis [editor.] Brumley, Billy Bob [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13115 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)
	1299.	Formal Methods: Foundations and Applications [electronic resource] : 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings / by Campos, Sérgio [editor.] Minea, Marius [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13130 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)
	1300.	Intelligent Systems [electronic resource] : 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I / by Britto, André [editor.] Valdivia Delgado, Karina [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13073 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4435 results.