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

Results
	481.	Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings / by Agotnes, Thomas [editor.] Broersen, Jan M [editor.] Elgesem, Dag [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7393 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)
	482.	Logic Programming [electronic resource] : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / by Etalle, Sandro [editor.] Truszczynski, Miroslav [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4079 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)
	483.	MICAI 2005: Advances in Artificial Intelligence [electronic resource] : 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings / by Gelbukh, Alexander [editor.] Terashima, Hugo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3789 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)
	484.	Interactive Theorem Proving [electronic resource] : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings / by Kaufmann, Matt [editor.] Paulson, Lawrence C [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6172 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)
	485.	AI*IA 2011: Artificial Intelligence Around Man and Beyond [electronic resource] : XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings / by Pirrone, Roberto [editor.] Sorbello, Filippo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6934 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)
	486.	Algorithmic Learning Theory [electronic resource] : 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings / by Balcázar, José L [editor.] Long, Philip M [editor.] Stephan, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4264 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)
	487.	KI 2008: Advances in Artificial Intelligence [electronic resource] : 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008, Proceedings / by Dengel, Andreas [editor.] Berns, Karsten [editor.] Breuel, Thomas [editor.] Bomarius, Frank [editor.] Roth-Berghofer, Thomas R [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5243 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)
	488.	Applications of Graph Transformations with Industrial Relevance [electronic resource] : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers / by Schürr, Andy [editor.] Nagl, Manfred [editor.] Zündorf, Albert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5088 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)
	489.	Conceptual Modeling - ER 2007 [electronic resource] : 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings / by Parent, Christine [editor.] Schewe, Klaus-Dieter [editor.] Storey, Veda C [editor.] Thalheim, Bernhard [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4801 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)
	490.	Uncertainty Reasoning for the Semantic Web II [electronic resource] : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at Floc, Revised Selected Papers / by Bobillo, Fernando [editor.] Costa, Paulo Cesar G [editor.] d'Amato, Claudia [editor.] Fanizzi, Nicola [editor.] Laskey, Kathryn B [editor.] Laskey, Kenneth J [editor.] Lukasiewicz, Thomas [editor.] Nickles, Matthias [editor.] Pool, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7123 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)
	491.	Current Topics in Artificial Intelligence [electronic resource] : 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers / by Marín, Roque [editor.] Onaindía, Eva [editor.] Bugarín, Alberto [editor.] Santos, José [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4177 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)
	492.	Computer Science – Theory and Applications [electronic resource] : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings / by Weil, Pascal [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10304 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)
	493.	Principles and Practice of Constraint Programming [electronic resource] : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings / by Stuckey, Peter J [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5202 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)
	494.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / by De Nivelle, Hans [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9323 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)
	495.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / by Cabalar, Pedro [editor.] Son, Tran Cao [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8148 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)
	496.	Deductive Software Verification – The KeY Book [electronic resource] : From Theory to Practice / by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Hähnle, Reiner [editor.] Schmitt, Peter H [editor.] Ulbrich, Mattias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10001 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)
	497.	Implementation and Application of Automata [electronic resource] : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers / by Farré, Jacques [editor.] Litovsky, Igor [editor.] Schmitz, Sylvain [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3845 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)
	498.	Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings / by Jouannaud, Jean-Pierre [editor.] Shao, Zhong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7086 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)
	499.	AI*IA 2013: Advances in Artificial Intelligence [electronic resource] : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013, Proceedings / by Baldoni, Matteo [editor.] Baroglio, Cristina [editor.] Boella, Guido [editor.] Micalizio, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8249 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	500.	Formal Concept Analysis [electronic resource] : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings / by Ganter, Bernhard [editor.] Godin, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3403 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

Item types

Series

Topics

Your search returned 811 results.