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

Results
	2701.	Formal Methods: Foundations and Applications [electronic resource] : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings / by Barbosa, Haniel [editor.] Zohar, Yoni [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14414 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)
	2702.	Intelligent Transport Systems [electronic resource] : 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings / by Martins, Ana Lucia [editor.] Ferreira, Joao C [editor.] Kocian, Alexander [editor.] Tokkozhina, Ulpan [editor.] Helgheim, Berit Irene [editor.] Bråthen, Svein [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 540 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)
	2703.	Towards a Service-Based Internet [electronic resource] : 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011, Proceedings / by Abramowicz, Witold [editor.] Llorente, Ignacio M [editor.] Surridge, Mike [editor.] Zisman, Andrea [editor.] Vayssière, Julien [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6994 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)
	2704.	Principles of Distributed Systems [electronic resource] : 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007, Proceedings / by Tovar, Eduardo [editor.] Tsigas, Philippas [editor.] Fouchal, Hacène [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4878 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)
	2705.	Computational Logic in Multi-Agent Systems [electronic resource] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings / by Leite, Joao [editor.] Torroni, Paolo [editor.] Agotnes, Thomas [editor.] Boella, Guido [editor.] van der Torre, Leon [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6814 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)
	2706.	Languages, Methodologies, and Development Tools for Multi-Agent Systems [electronic resource] : Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers / by Dastani, Mehdi [editor.] El Fallah Seghrouchni, Amal [editor.] Leite, Joao [editor.] Torroni, Paolo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6039 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)
	2707.	Fields of Logic and Computation III [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / by Blass, Andreas [editor.] Cégielski, Patrick [editor.] Dershowitz, Nachum [editor.] Droste, Manfred [editor.] Finkbeiner, Bernd [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12180 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)
	2708.	Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [electronic resource] : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers / by Cerone, Antonio [editor.] Autili, Marco [editor.] Bucaioni, Alessio [editor.] Gomes, Cláudio [editor.] Graziani, Pierluigi [editor.] Palmieri, Maurizio [editor.] Temperini, Marco [editor.] Venture, Gentiane [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13230 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)
	2709.	Inductive Logic Programming [electronic resource] : 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings / by Bellodi, Elena [editor.] Lisi, Francesca Alessandra [editor.] Zese, Riccardo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14363 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)
	2710.	Modeling Programming Competency [electronic resource] : A Qualitative Analysis / by Kiesler, Natalie [author.] SpringerLink (Online service) 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)
	2711.	Applications of Evolutionary Computation [electronic resource] : EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings / by Di Chio, Cecilia [editor.] Agapitos, Alexandros [editor.] Cagnoni, Stefano [editor.] Cotta, Carlos [editor.] Fernández de Vega, Francisco [editor.] Di Caro, Gianni A [editor.] Drechsler, Rolf [editor.] Ekárt, Anikó [editor.] Esparcia-Alcázar, Anna I [editor.] Farooq, Muddassar [editor.] Langdon, W.B [editor.] Merelo-Guervós, Juan-J [editor.] Preuss, Mike [editor.] Richter, Hendrik [editor.] Silva, Sara [editor.] Simões, Anabela [editor.] Squillero, Giovanni [editor.] Tarantino, Ernesto [editor.] Tettamanzi, Andrea [editor.] Togelius, Julian [editor.] Urquhart, Neil [editor.] Uyar, Sima [editor.] Yannakakis, Georgios N [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7248 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)
	2712.	Computing and Combinatorics [electronic resource] : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings / by Xu, Dachuan [editor.] Du, Donglei [editor.] Du, Dingzhu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9198 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)
	2713.	Formal Modeling: Actors; Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / by Agha, Gul [editor.] Danvy, Olivier [editor.] Meseguer, José [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7000 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)
	2714.	Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / by Cámara, Javier [editor.] de Lemos, Rogério [editor.] Ghezzi, Carlo [editor.] Lopes, Antonia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7740 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)
	2715.	Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / by Taft, S. Tucker [editor.] Duff, Robert A [editor.] Brukardt, Randall L [editor.] Ploedereder, Erhard [editor.] Leroy, Pascal [editor.] Schonberg, Edmond [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8339 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)
	2716.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings / by Antonucci, Alessandro [editor.] Cholvy, Laurence [editor.] Papini, Odile [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10369 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)
	2717.	Language and Automata Theory and Applications [electronic resource] : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings / by Klein, Shmuel Tomi [editor.] Martín-Vide, Carlos [editor.] Shapira, Dana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10792 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)
	2718.	Dynamic Logic. New Trends and Applications [electronic resource] : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers / by Gierasimczuk, Nina [editor.] Velázquez-Quesada, Fernando R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14401 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)
	2719.	Reliable Software Technologies – Ada-Europe 2016 [electronic resource] : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / by Bertogna, Marko [editor.] Pinho, Luís Miguel [editor.] Quiñones, Eduardo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9695 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)
	2720.	ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / by Treharne, Helen [editor.] King, Steve [editor.] Henson, Martin [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3455 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.