Results of search for 'ccl=su:{Computer programming.} and su-to:Computer programming and su-to:Artificial Intelligence and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	61.	Nonsequential and Distributed Programming with Go [electronic resource] : Synchronization of Concurrent Processes: Communication - Cooperation - Competition / by Maurer, Christian [author.] SpringerLink (Online service) Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	62.	Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I / by Aceto, Luca [editor.] Damgaard, Ivan [editor.] Goldberg, Leslie Ann [editor.] Halldorsson, Magnus M [editor.] Ingolfsdottir, Anna [editor.] Walukiewicz, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5125 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)
	63.	Declarative Programming and Knowledge Management [electronic resource] : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers / by Seipel, Dietmar [editor.] Hanus, Michael [editor.] Abreu, Salvador [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10997 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)
	64.	Logics in Artificial Intelligence [electronic resource] : 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings / by Faber, Wolfgang [editor.] Friedrich, Gerhard [editor.] Gebser, Martin [editor.] Morak, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12678 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)
	65.	Logic-Based Program Synthesis and Transformation [electronic resource] : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers / by Mesnard, Fred [editor.] Stuckey, Peter J [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11408 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	66.	Logic and Argumentation [electronic resource] : 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings / by Baroni, Pietro [editor.] Benzmüller, Christoph [editor.] Wáng, Yὶ N [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13040 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)
	67.	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)
	68.	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)
	69.	Genetic Programming [electronic resource] : 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings / by Collet, Pierre [editor.] Tomassini, Marco [editor.] Ebner, Marc [editor.] Gustafson, Steven [editor.] Ekárt, Anikó [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3905 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	70.	Functional and Logic Programming [electronic resource] : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings / by Hanus, Michael [editor.] Igarashi, Atsushi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13215 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)
	71.	Algorithms in Bioinformatics [electronic resource] : 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings / by Casadio, Rita [editor.] Myers, Gene [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 3692 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)
	72.	Experimental Algorithms [electronic resource] : 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30 - June 1, 2008 Proceedings / by McGeoch, Catherine C [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5038 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)
	73.	Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers / by Vidal, Germán [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7225 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)
	74.	Advances in Swarm Intelligence [electronic resource] : First International Conference, ICSI 2010, Beijing, China, June 12-15, 2010, Proceedings, Part I / by TAN, KAY CHEN [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6145 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)
	75.	Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings / by Schrijvers, Tom [editor.] Thiemann, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7294 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)
	76.	Model Checking and Artificial Intelligence [electronic resource] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / by Edelkamp, Stefan [editor.] Lomuscio, Alessio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4428 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)
	77.	Algorithms and Data Structures [electronic resource] : 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings / by Dehne, Frank [editor.] Sack, Jörg-Rüdiger [editor.] Toth, Csaba D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5664 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	78.	LATIN 2010: Theoretical Informatics [electronic resource] : 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings / by López-Ortiz, Alejandro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6034 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)
	79.	Verified Software. Theories, Tools, and Experiments [electronic resource] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / by Blazy, Sandrine [editor.] Chechik, Marsha [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9971 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)
	80.	Coordination, Organizations, Institutions, and Norms in Agent Systems III [electronic resource] : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 2007 COIN@MALLOW 2007, Durham, UK, September 2007 Revised Selected Papers / by Sichman, Jaime Simão [editor.] Padget, Julian [editor.] Ossowski, Sascha [editor.] Noriega, Pablo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4870 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 441 results.