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

Results
	2501.	Formal Methods and Testing [electronic resource] : An Outcome of the FORTEST Network. Revised Selected Papers / by Hierons, Robert M [editor.] Bowen, Jonathan P [editor.] Harman, Mark [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4949 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)
	2502.	Open Source Systems [electronic resource] : 16th IFIP WG 2.13 International Conference, OSS 2020, Innopolis, Russia, May 12–14, 2020, Proceedings / by Ivanov, Vladimir [editor.] Kruglov, Artem [editor.] Masyagin, Sergey [editor.] Sillitti, Alberto [editor.] Succi, Giancarlo [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 582 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)
	2503.	Ethereum Smart Contract Development in Solidity [electronic resource] / by Zheng, Gavin [author.] Gao, Longxiang [author.] Huang, Liqun [author.] Guan, Jian [author.] SpringerLink (Online service) Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2504.	Programs as Diagrams [electronic resource] : From Categorical Computability to Computable Categories / by Pavlovic, Dusko [author.] SpringerLink (Online service) Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe 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)
	2505.	Logics in Artificial Intelligence [electronic resource] : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings / by Gaggl, Sarah [editor.] Martinez, Maria Vanina [editor.] Ortiz, Magdalena [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14281 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)
	2506.	Formal Modeling and Analysis of Timed Systems [electronic resource] : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers / by Larsen, Kim G [editor.] Niebert, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2791 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)
	2507.	Universal Access in Human-Computer Interaction. Ambient Interaction [electronic resource] : 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing,China, July 22-27, 2007, Proceedings, Part II / by Stephanidis, Constantine [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4555 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)
	2508.	Logics in Artificial Intelligence [electronic resource] : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings / by Alferes, Jose, Julio [editor.] Leite, Joao [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3229 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)
	2509.	The Semantic Web [electronic resource] : 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings / by Domingue, John [editor.] Anutariya, Chutiporn [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5367 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)
	2510.	Algorithms - ESA 2008 [electronic resource] : 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings / by Mehlhorn, Kurt [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5193 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)
	2511.	Web Reasoning and Rule Systems [electronic resource] : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013, Proceedings / by Faber, Wolfgang [editor.] Lembo, Domenico [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7994 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)
	2512.	STACS 2004 [electronic resource] : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings / by Diekert, Volker [editor.] Habib, Michel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2996 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)
	2513.	Universal Access in Human-Computer Interaction. Applications and Services [electronic resource] : 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, held as Part of HCi International 2007, Beijing,China, July 22-27, 2007, Proceedings, Part III / by Stephanidis, Constantine [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4556 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)
	2514.	Foundations of Software Science and Computation Structures [electronic resource] : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / by Walukiewicz, Igor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2987 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)
	2515.	SOFSEM 2004: Theory and Practice of Computer Science [electronic resource] : 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004 / by Van Emde Boas, Peter [editor.] Pokorny, Jaroslav [editor.] Bieliková, Mária [editor.] Stuller, Julius [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2932 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)
	2516.	Formal Grammar [electronic resource] : 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings / by Bernardi, Raffaella [editor.] Kobele, Greg [editor.] Pogodalla, Sylvain [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11668 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2517.	Runtime Verification [electronic resource] : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings / by Katsaros, Panagiotis [editor.] Nenzi, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14245 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)
	2518.	Stateless Core: A Scalable Approach for Quality of Service in the Internet [electronic resource] : Winning Thesis of the 2001 ACM Doctoral Dissertation Competition / by Stoica, Ion [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2979 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)
	2519.	Emotion Modeling [electronic resource] : Towards Pragmatic Computational Models of Affective Processes / by Bosse, Tibor [editor.] Broekens, Joost [editor.] Dias, João [editor.] van der Zwaan, Janneke [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8750 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)
	2520.	Reasoning Web [electronic resource] : First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures / by Eisinger, Norbert [editor.] Maluszynski, Jan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3564 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 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.