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

Results
	861.	Development in Language Theory [electronic resource] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / by Mauri, Giancarlo [editor.] Leporati, Alberto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6795 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)
	862.	Frontiers of Combining Systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings / by Tinelli, Cesare [editor.] Sofronie-Stokkermans, Viorica [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6989 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)
	863.	Static Analysis [electronic resource] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings / by Palsberg, Jens [editor.] Su, Zhendong [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5673 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)
	864.	Transactions on Rough Sets VI [electronic resource] : Commemorating Life and Work of Zdislaw Pawlak, Part I / by Peters, James F [editor.] Düntsch, Ivo [editor.] Grzymala-Busse, Jerzy [editor.] Orlowska, Ewa [editor.] Polkowski, Lech [editor.] SpringerLink (Online service) Series: Transactions on Rough Sets ; 4374 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)
	865.	Formal Concept Analysis [electronic resource] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings / by Cellier, Peggy [editor.] Distel, Felix [editor.] Ganter, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7880 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)
	866.	Advances in Case-Based Reasoning [electronic resource] : 8th European Conference, ECCBR 2006, Fethiye, Turkey, September 4-7, 2006, Proceedings / by Roth-Berghofer, Thomas [editor.] Göker, Mehmet H [editor.] Güvenir, H. Altay [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4106 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)
	867.	Unconventional Computation [electronic resource] : 9th International Conference, UC 2010, Tokyo, Japan, June 21-25, 2010, Proceedings / by Calude, Christian S [editor.] Hagiya, Masami [editor.] Morita, Kenichi [editor.] Rozenberg, Grzegorz [editor.] Timmis, Jonathan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6079 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)
	868.	Concept Lattices [electronic resource] : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings / by Eklund, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2961 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	869.	Programming Languages and Systems [electronic resource] : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings / by Seidl, Helmut [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7211 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)
	870.	Programming Languages and Systems [electronic resource] : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings / by Garrigue, Jacques [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8858 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	871.	Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by Bacchus, Fahiem [editor.] Walsh, Toby [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3569 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)
	872.	Natural Language and Information Systems [electronic resource] : 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008, Proceedings / by Kapetanios, Epaminondas [editor.] Sugumaran, Vijayan [editor.] Spiliopoulou, Myra [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5039 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)
	873.	Intelligent Computer Mathematics [electronic resource] : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings / by Geuvers, Herman [editor.] England, Matthew [editor.] Hasan, Osman [editor.] Rabe, Florian [editor.] Teschke, Olaf [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10383 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)
	874.	Logic-Based Program Synthesis and Transformation [electronic resource] : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers / by Hermenegildo, Manuel V [editor.] Lopez-Garcia, Pedro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10184 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)
	875.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers / by Clarke, Edmund M [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6355 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)
	876.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings / by Baader, Franz [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3452 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)
	877.	Coalgebraic Methods in Computer Science [electronic resource] : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / by Hasuo, Ichiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9608 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)
	878.	Formal Methods and Software Engineering [electronic resource] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / by Qin, Shengchao [editor.] Qiu, Zongyan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6991 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)
	879.	Learning Theory [electronic resource] : 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings / by Simon, Hans Ulrich [editor.] Lugosi, Gábor [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4005 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)
	880.	Theoretical Aspects of Computing -- ICTAC 2011 [electronic resource] : 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings / by Cerone, Antonio [editor.] Pihlajasaari, Pekka [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6916 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1743 results.