Results of search for 'ccl=su:{programs}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	421.	Programming Languages and Systems [electronic resource] : 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings / by Oh, Hakjoo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13008 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)
	422.	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13036 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)
	423.	Software Product Management [electronic resource] : The ISPMA®-Compliant Study Guide and Handbook / by Kittlaus, Hans-Bernd [author.] SpringerLink (Online service) Edition: 2nd 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)
	424.	AIxIA 2022 – Advances in Artificial Intelligence [electronic resource] : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 – December 2, 2022, Proceedings / by Dovier, Agostino [editor.] Montanari, Angelo [editor.] Orlandini, Andrea [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13796 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)
	425.	Model-Based Methodologies for Pervasive and Embedded Software [electronic resource] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers / by Machado, Ricardo J [editor.] Maciel, Rita Suzana [editor.] Rubin, Julia [editor.] Botterweck, Goetz [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7706 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)
	426.	NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / by Dutle, Aaron [editor.] Muñoz, César [editor.] Narkawicz, Anthony [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10811 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)
	427.	Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by Hähnle, Reiner [editor.] van der Aalst, Wil [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11424 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)
	428.	AIxIA 2020 – Advances in Artificial Intelligence [electronic resource] : XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers / by Baldoni, Matteo [editor.] Bandini, Stefania [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12414 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)
	429.	Rigorous State-Based Methods [electronic resource] : 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings / by Raschke, Alexander [editor.] Méry, Dominique [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12709 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)
	430.	Tests and Proofs [electronic resource] : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings / by Gogolla, Martin [editor.] Wolff, Burkhart [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6706 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	431.	Formal Techniques for Distributed Systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings / by Lee, David [editor.] Lopes, Antonia [editor.] Poetzsch-Heffter, Arnd [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5522 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	432.	Practical Aspects of Declarative Languages [electronic resource] : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / by Pontelli, Enrico [editor.] Son, Tran Cao [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9131 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)
	433.	Accelerator Programming Using Directives [electronic resource] : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / by Chandrasekaran, Sunita [editor.] Juckeland, Guido [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10732 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)
	434.	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)
	435.	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)
	436.	Database Systems for Advanced Applications. DASFAA 2022 International Workshops [electronic resource] : BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, Virtual Event, April 11–14, 2022, Proceedings / by Rage, Uday Kiran [editor.] Goyal, Vikram [editor.] Reddy, P. Krishna [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13248 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)
	437.	Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / by Aloni, Maria [editor.] Bastiaanse, Harald [editor.] de Jager, Tikitu [editor.] Schulz, Katrin [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6042 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	438.	Future Data and Security Engineering [electronic resource] : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings / by Dang, Tran Khanh [editor.] Wagner, Roland [editor.] Küng, Josef [editor.] Thoai, Nam [editor.] Takizawa, Makoto [editor.] Neuhold, Erich J [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10646 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)
	439.	High Performance Computing for Computational Science – VECPAR 2018 [electronic resource] : 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers / by Senger, Hermes [editor.] Marques, Osni [editor.] Garcia, Rogerio [editor.] Pinheiro de Brito, Tatiana [editor.] Iope, Rogério [editor.] Stanzani, Silvio [editor.] Gil-Costa, Veronica [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11333 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)
	440.	Quality of Information and Communications Technology [electronic resource] : 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings / by Piattini, Mario [editor.] Rupino da Cunha, Paulo [editor.] García Rodríguez de Guzmán, Ignacio [editor.] Pérez-Castillo, Ricardo [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1010 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

Places

Topics

Titles

Your search returned 1605 results.