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

Results
	1041.	High Performance Computing [electronic resource] : ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers / by Kunkel, Julian M [editor.] Yokota, Rio [editor.] Taufer, Michela [editor.] Shalf, John [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10524 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)
	1042.	Practical Aspects of Declarative Languages [electronic resource] : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings / by Cheney, James [editor.] Perri, Simona [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13165 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)
	1043.	The Structure of Game Design [electronic resource] / by Wang, Wallace [author.] SpringerLink (Online service) Series: International Series on Computer, Entertainment and Media Technology 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)
	1044.	Functional and Logic Programming [electronic resource] : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings / by Gallagher, John P [editor.] Sulzmann, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10818 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)
	1045.	Introduction to Computation [electronic resource] : Haskell, Logic and Automata / by Sannella, Donald [author.] Fourman, Michael [author.] Peng, Haoran [author.] Wadler, Philip [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science 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)
	1046.	Genetic Programming [electronic resource] : 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings / by Medvet, Eric [editor.] Pappa, Gisele [editor.] Xue, Bing [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13223 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)
	1047.	Descriptional Complexity of Formal Systems [electronic resource] : 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings / by Bordihn, Henning [editor.] Tran, Nicholas [editor.] Vaszil, György [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13918 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)
	1048.	Evaluation of Novel Approaches to Software Engineering [electronic resource] : 17th International Conference, ENASE 2022, Virtual Event, April 25–26, 2022, Revised Selected Papers / by Kaindl, Hermann [editor.] Mannion, Mike [editor.] Maciaszek, Leszek A [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1829 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)
	1049.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / by Galmiche, Didier [editor.] Larchey-Wendling, Dominique [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8123 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)
	1050.	Recent Trends in Algebraic Development Techniques [electronic resource] : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers / by James, Phillip [editor.] Roggenbach, Markus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10644 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)
	1051.	Languages and Compilers for Parallel Computing [electronic resource] : 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers / by Chapman, Barbara [editor.] Moreira, José [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13149 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)
	1052.	Inductive Logic Programming [electronic resource] : 30th International Conference, ILP 2021, Virtual Event, October 25–27, 2021, Proceedings / by Katzouris, Nikos [editor.] Artikis, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13191 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)
	1053.	Developments in Language Theory [electronic resource] : 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings / by Diekert, Volker [editor.] Volkov, Mikhail [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13257 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)
	1054.	Testing Software and Systems [electronic resource] : 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings / by Clark, David [editor.] Menendez, Hector [editor.] Cavalli, Ana Rosa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13045 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)
	1055.	Graph Transformation [electronic resource] : 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings / by Fernández, Maribel [editor.] Poskitt, Christopher M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13961 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)
	1056.	Modelling Autonomic Communications Environments [electronic resource] : Third IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008, Proceedings / by Burgess, Mark [editor.] Denazis, Spyros [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5276 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)
	1057.	NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings / by Goodloe, Alwyn [editor.] Person, Suzette [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7226 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)
	1058.	Programming Languages and Systems [electronic resource] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings / by Jhala, Ranjit [editor.] Igarashi, Atsushi [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7705 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)
	1059.	Programming Languages and Systems [electronic resource] : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by Thiemann, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9632 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1060.	Inductive Logic Programming [electronic resource] : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers / by Cussens, James [editor.] Russo, Alessandra [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10326 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 3358 results.