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

Results
	3201.	Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach [electronic resource] : First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II / by Mira, José [editor.] Álvarez, José R [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3562 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)
	3202.	Logic, Language, and Computation [electronic resource] : 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers / by Cate, Balder D. ten [editor.] Zeevat, Henk W [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4363 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)
	3203.	Argumentation in Multi-Agent Systems [electronic resource] : 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers / by McBurney, Peter [editor.] Rahwan, Iyad [editor.] Parsons, Simon D [editor.] Maudet, Nicolas [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6057 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)
	3204.	Agents for Games and Simulations II [electronic resource] : Trends in Techniques, Concepts and Design / by Dignum, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6525 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)
	3205.	Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings / by Euzenat, Jérôme [editor.] Domingue, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4183 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)
	3206.	Combinatorics on Words [electronic resource] : 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings / by Brlek, Srečko [editor.] Dolce, Francesco [editor.] Reutenauer, Christophe [editor.] Vandomme, Élise [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10432 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)
	3207.	Algorithmic Aspects of Cloud Computing [electronic resource] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / by Karydis, Ioannis [editor.] Sioutas, Spyros [editor.] Triantafillou, Peter [editor.] Tsoumakos, Dimitrios [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9511 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)
	3208.	Cellular Automata and Discrete Complex Systems [electronic resource] : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings / by Dennunzio, Alberto [editor.] Formenti, Enrico [editor.] Manzoni, Luca [editor.] Porreca, Antonio E [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10248 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)
	3209.	Secure Data Management [electronic resource] : Third VLDB Workshop, SDM 2006, Seoul, Korea, September 10-11, 2006, Proceedings / by Jonker, Willem [editor.] Petkovic, Milan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4165 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)
	3210.	Multiagent System Technologies [electronic resource] : 7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings / by Braubach, Lars [editor.] van der Hoek, Wiebe [editor.] Petta, Paolo [editor.] Pokahr, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5774 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)
	3211.	Artificial Neural Networks - ICANN 2010 [electronic resource] : 20th International Conference, Thessaloniki, Greece, Septmeber 15-18, 2020, Proceedings, Part II / by Diamantaras, Konstantinos [editor.] Duch, Wlodek [editor.] Iliadis, Lazaros S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6353 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)
	3212.	Search Based Software Engineering [electronic resource] : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings / by Cohen, Myra B [editor.] O Cinneide, Mel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6956 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)
	3213.	Euro-Par 2007 Workshops: Parallel Processing [electronic resource] : HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers / by Bougé, Luc [editor.] Forsell, Martti [editor.] Larsson Träff, Jesper [editor.] Streit, Achim [editor.] Ziegler, Wolfgang [editor.] Alexander, Michael [editor.] Childs, Stephen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4854 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)
	3214.	Neural Information Processing [electronic resource] : 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part II / by Wang, Jun [editor.] Chan, Laiwan [editor.] Wang, DeLiang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4233 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)
	3215.	Logic, Rationality, and Interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / by van Ditmarsch, Hans [editor.] Lang, Jerome [editor.] Ju, Shier [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6953 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)
	3216.	Mathematical Foundations of Computer Science 2005 [electronic resource] : 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings / by Jedrzejowicz, Joanna [editor.] Szepietowski, Andrzej [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3618 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)
	3217.	Foundations of Intelligent Systems [electronic resource] : 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings / by Hacid, Mohand-Said [editor.] Ras, Zbigniew W [editor.] Tsumoto, Shusaku [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3488 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)
	3218.	Conceptual Structures: Common Semantics for Sharing Knowledge [electronic resource] : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings / by Dau, Frithjof [editor.] Mugnier, Marie-Laure [editor.] Stumme, Gerd [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3596 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)
	3219.	Automata, Languages, and Programming [electronic resource] : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II / by Esparza, Javier [editor.] Fraigniaud, Pierre [editor.] Husfeldt, Thore [editor.] Koutsoupias, Elias [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8573 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3220.	The Logic of Categorial Grammars [electronic resource] : A deductive account of natural language syntax and semantics / by Moot, Richard [author.] Retore, Christian [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6850 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.