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

Results
	2561.	Algorithm Engineering [electronic resource] : Bridging the Gap Between Algorithm Theory and Practice / by Müller-Hannemann, Matthias [editor.] Schirra, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5971 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)
	2562.	All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program, and Verify Systems in Rewriting Logic / by Clavel, Manuel [author.] Durán, Francisco [author.] Eker, Steven [author.] Lincoln, Patrick [author.] Martí-Oliet, Narciso [author.] Meseguer, José [author.] Talcott, Carolyn [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4350 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2563.	Deep Learning with R [electronic resource] / by Ghatak, Abhijit [author.] SpringerLink (Online service) Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2564.	Future-Proof Software-Systems [electronic resource] : A Sustainable Evolution Strategy / by Furrer, Frank J [author.] SpringerLink (Online service) Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2565.	Software Technologies [electronic resource] : 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers / by Fill, Hans-Georg [editor.] van Sinderen, Marten [editor.] Maciaszek, Leszek A [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1622 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)
	2566.	Rules and Reasoning [electronic resource] : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings / by Fensel, Anna [editor.] Ozaki, Ana [editor.] Roman, Dumitru [editor.] Soylu, Ahmet [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14244 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)
	2567.	Logic-Based Program Synthesis and Transformation [electronic resource] : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings / by Glück, Robert [editor.] Kafle, Bishoksan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14330 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)
	2568.	Quality of Information and Communications Technology [electronic resource] : 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8–11, 2021, Proceedings / by Paiva, Ana C. R [editor.] Cavalli, Ana Rosa [editor.] Ventura Martins, Paula [editor.] Pérez-Castillo, Ricardo [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1439 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)
	2569.	Automata Theory and Formal Languages [electronic resource] : Fundamental Notions, Theorems, and Techniques / by Pettorossi, Alberto [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science 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)
	2570.	Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers / by Porkoláb, Zoltán [editor.] Zsók, Viktória [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 11950 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)
	2571.	Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence [electronic resource] / by Kılıç, Muharrem [editor.] Bozkuş Kahyaoğlu, Sezer [editor.] SpringerLink (Online service) Series: Accounting, Finance, Sustainability, Governance & Fraud: Theory and Application Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2572.	Logic and Engineering of Natural Language Semantics [electronic resource] : 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers / by Bekki, Daisuke [editor.] Mineshima, Koji [editor.] McCready, Elin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14213 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)
	2573.	Static Analysis [electronic resource] : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings / by Hermenegildo, Manuel V [editor.] Morales, José F [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14284 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)
	2574.	Theory Is Forever [electronic resource] : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday / by Karhumäki, Juhani [editor.] Maurer, Hermann [editor.] Paun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3113 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2575.	Software, Services, and Systems [electronic resource] : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / by De Nicola, Rocco [editor.] Hennicker, Rolf [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8950 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)
	2576.	Engineering Secure Future Internet Services and Systems [electronic resource] : Current Research / by Heisel, Maritta [editor.] Joosen, Wouter [editor.] López, Javier [editor.] Martinelli, Fabio [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8431 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)
	2577.	Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / by Jones, Cliff B [editor.] Liu, Zhiming [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4700 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2578.	Models@run.time [electronic resource] : Foundations, Applications, and Roadmaps / by Bencomo, Nelly [editor.] France, Robert B [editor.] Cheng, Betty H.C [editor.] Aßmann, Uwe [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8378 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)
	2579.	Grid Computing [electronic resource] : Experiment Management, Tool Integration, and Scientific Workflows / by Prodan, Radu [author.] Fahringer, Thomas [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4340 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2580.	Horizons of the Mind. A Tribute to Prakash Panangaden [electronic resource] : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday / by van Breugel, Franck [editor.] Kashefi, Elham [editor.] Palamidessi, Catuscia [editor.] Rutten, Jan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8464 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 3356 results.