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

Results
	2741.	Parallel Processing and Applied Mathematics [electronic resource] : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II / by Wyrzykowski, Roman [editor.] Deelman, Ewa [editor.] Dongarra, Jack [editor.] Karczewski, Konrad [editor.] Kitowski, Jacek [editor.] Wiatr, Kazimierz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9574 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)
	2742.	Reasoning Web [electronic resource] : Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures / by Antoniou, Grigoris [editor.] Aßmann, Uwe [editor.] Baroglio, Cristina [editor.] Decker, Stefan [editor.] Henze, Nicola [editor.] Patranjan, Paula-Lavinia [editor.] Tolksdorf, Robert [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4636 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)
	2743.	Integration of Software Specification Techniques for Applications in Engineering [electronic resource] : Priority Program SoftSpez of the German Research Foundation (DFG) Final Report / by Ehrig, Hartmut [editor.] Damm, Werner [editor.] Desel, Jörg [editor.] Große-Rhode, Martin [editor.] Reif, Wolfgang [editor.] Schnieder, Eckehard [editor.] Westkämper, Engelbert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3147 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)
	2744.	Parallel Processing and Applied Mathematics, Part I [electronic resource] : 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Karczewski, Konrad [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6067 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)
	2745.	Software Verification and Formal Methods for ML-Enabled Autonomous Systems [electronic resource] : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings / by Isac, Omri [editor.] Ivanov, Radoslav [editor.] Katz, Guy [editor.] Narodytska, Nina [editor.] Nenzi, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13466 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)
	2746.	Machine Intelligence and Emerging Technologies [electronic resource] : First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part I / by Satu, Md. Shahriare [editor.] Moni, Mohammad Ali [editor.] Kaiser, M. Shamim [editor.] Arefin, Mohammad Shamsul [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 490 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)
	2747.	Prolog: The Next 50 Years [electronic resource] / by Warren, David S [editor.] Dahl, Veronica [editor.] Eiter, Thomas [editor.] Hermenegildo, Manuel V [editor.] Kowalski, Robert [editor.] Rossi, Francesca [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13900 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)
	2748.	Software, System, and Service Engineering [electronic resource] : S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17–20 September 2023, Revised Selected Papers / by Jarzębowicz, Aleksander [editor.] Luković, Ivan [editor.] Przybyłek, Adam [editor.] Staroń, Mirosław [editor.] Ahmad, Muhammad Ovais [editor.] Ochodek, Mirosław [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 499 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2749.	Human and Artificial Rationalities [electronic resource] : Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings / by Baratgin, Jean [editor.] Jacquet, Baptiste [editor.] Yama, Hiroshi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14522 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2750.	Inductive Logic Programming [electronic resource] : 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings / by Muggleton, Stephen H [editor.] Tamaddoni-Nezhad, Alireza [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13779 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2751.	Taming the Infinities of Concurrency [electronic resource] : Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday / by Kiefer, Stefan [editor.] Křetínský, Jan [editor.] Kučera, Antonín [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14660 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2752.	Genetic Programming [electronic resource] : 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings / by Giacobini, Mario [editor.] Xue, Bing [editor.] Manzoni, Luca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14631 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2753.	Foundations of Information and Knowledge Systems [electronic resource] : 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings / by Meier, Arne [editor.] Ortiz, Magdalena [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14589 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2754.	Infrared Small Target Detection [electronic resource] : Theory, Methods, and Algorithms. / by Zhu, Hu [author.] Pan, Yushan [author.] Deng, Lizhen [author.] Xu, Guoxia [author.] SpringerLink (Online service) 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)
	2755.	Coordination, Organizations, Institutions, and Norms in Agent Systems II [electronic resource] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006, Revised Selected Papers / by Noriega, Pablo [editor.] Vázquez-Salceda, Javier [editor.] Boella, Guido [editor.] Boissier, Olivier [editor.] Dignum, Virginia [editor.] Fornara, Nicoletta [editor.] Matson, Eric T [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4386 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)
	2756.	Structured Object-Oriented Formal Language and Method [electronic resource] : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / by Tian, Cong [editor.] Nagoya, Fumiko [editor.] Liu, Shaoying [editor.] Duan, Zhenhua [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10795 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)
	2757.	Programming Languages and Systems [electronic resource] : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / by Weirich, Stephanie [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14576 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2758.	Programming Languages and Systems [electronic resource] : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / by Weirich, Stephanie [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14577 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2759.	Programming Heterogeneous Hardware via Managed Runtime Systems [electronic resource] / by Fumero, Juan [author.] Stratikopoulos, Athanasios [author.] Kotselidis, Christos [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2760.	Distributed Computing - IWDC 2003 [electronic resource] : 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings / by Das, Samir R [editor.] Das, Sajal K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2918 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 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.