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

Results
	941.	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)
	942.	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)
	943.	Fundamentals of Multimedia [electronic resource] / by Li, Ze-Nian [author.] Drew, Mark S [author.] Liu, Jiangchuan [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 3rd 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)
	944.	Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity [electronic resource] / by Lin, Yan [author.] SpringerLink (Online service) Series: Information Security and Cryptography 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)
	945.	Functional and Constraint Logic Programming [electronic resource] : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / by Hanus, Michael [editor.] Sacerdoti Coen, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12560 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)
	946.	Coalgebraic Methods in Computer Science [electronic resource] : 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings / by Hansen, Helle Hvid [editor.] Zanasi, Fabio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13225 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)
	947.	Computer Safety, Reliability, and Security [electronic resource] : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings / by Trapp, Mario [editor.] Saglietti, Francesca [editor.] Spisländer, Marc [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13414 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)
	948.	Theoretical Aspects of Computing – ICTAC 2022 [electronic resource] : 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings / by Seidl, Helmut [editor.] Liu, Zhiming [editor.] Pasareanu, Corina S [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13572 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)
	949.	Parallel Programming [electronic resource] : for Multicore and Cluster Systems / by Rauber, Thomas [author.] Rünger, Gudula [author.] SpringerLink (Online service) Edition: 3rd 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)
	950.	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7609 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)
	951.	Formal Approaches to Software Testing [electronic resource] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / by Grieskamp, Wolfgang [editor.] Weise, Carsten [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3997 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	952.	Parallel Processing and Applied Mathematics, Part II [electronic resource] : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Karczewski, Konrad [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7204 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)
	953.	Component-Based Software Engineering [electronic resource] : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings / by Chaudron, Michel R. V [editor.] Szyperski, Clemens [editor.] Reussner, Ralf H [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5282 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)
	954.	Bidirectional Transformations [electronic resource] : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / by Gibbons, Jeremy [editor.] Stevens, Perdita [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9715 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)
	955.	Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops [electronic resource] : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers / by Cleophas, Loek [editor.] Massink, Mieke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12524 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)
	956.	Logics in Artificial Intelligence [electronic resource] : 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings / by Faber, Wolfgang [editor.] Friedrich, Gerhard [editor.] Gebser, Martin [editor.] Morak, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12678 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)
	957.	Logic, Computation and Rigorous Methods [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday / by Raschke, Alexander [editor.] Riccobene, Elvinia [editor.] Schewe, Klaus-Dieter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12750 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)
	958.	Structured Object-Oriented Formal Language and Method [electronic resource] : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers / by Xue, Jinyun [editor.] Nagoya, Fumiko [editor.] Liu, Shaoying [editor.] Duan, Zhenhua [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12723 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)
	959.	Rewriting Logic and Its Applications [electronic resource] : 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers / by Bae, Kyungmin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13252 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)
	960.	Automated Reasoning [electronic resource] : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings / by Blanchette, Jasmin [editor.] Kovács, Laura [editor.] Pattinson, Dirk [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13385 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

Places

Topics

Titles

Your search returned 3358 results.