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

Results
	961.	Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part I / by Gunopulos, Dimitrios [editor.] Hofmann, Thomas [editor.] Malerba, Donato [editor.] Vazirgiannis, Michalis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6911 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)
	962.	Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings / by Bouajjani, Ahmed [editor.] Maler, Oded [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5643 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)
	963.	Static Analysis [electronic resource] : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings / by Ranzato, Francesco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10422 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)
	964.	Language and Automata Theory and Applications [electronic resource] : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings / by Drewes, Frank [editor.] Martín-Vide, Carlos [editor.] Truthe, Bianca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10168 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)
	965.	Small Dynamic Complexity Classes [electronic resource] : An Investigation into Dynamic Descriptive Complexity / by Zeume, Thomas [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10110 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	966.	Logical Aspects of Computational Linguistics [electronic resource] : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings / by Blache, Philippe [editor.] Stabler, Edward [editor.] Busquets, Joan [editor.] Moot, Richard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3492 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)
	967.	Theorem Proving in Higher Order Logics [electronic resource] : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings / by Hurd, Joe [editor.] Melham, Tom [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3603 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)
	968.	Logic, Language, and Computation [electronic resource] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers / by Bosch, Peter [editor.] Gabelaia, David [editor.] Lang, Jérôme [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5422 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)
	969.	Generic and Indexed Programming [electronic resource] / by Gibbons, Jeremy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7470 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)
	970.	Statistical Language and Speech Processing [electronic resource] : 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings / by Král, Pavel [editor.] Martín-Vide, Carlos [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9918 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)
	971.	Algorithmic Decision Theory [electronic resource] : First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings / by Rossi, Francesca [editor.] Tsoukias, Alexis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5783 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)
	972.	Reachability Problems [electronic resource] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings / by Delzanno, Giorgio [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6945 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)
	973.	Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / by Ball, Thomas [editor.] Jones, Robert B [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4144 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)
	974.	Formal Methods and Software Engineering [electronic resource] : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings / by Liu, Shaoying [editor.] Maibaum, Tom [editor.] Araki, Keijiro [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5256 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)
	975.	Computational Intelligence [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part II / by Huang, De-Shuang [editor.] Irwin, George William [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4114 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)
	976.	Computer Science - Theory and Applications [electronic resource] : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings / by Frid, Anna [editor.] Morozov, Andrei S [editor.] Rybalchenko, Andrey [editor.] Wagner, Klaus W [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5675 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)
	977.	Graph Transformations and Model-Driven Engineering [electronic resource] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / by Engels, Gregor [editor.] Lewerentz, Claus [editor.] Schäfer, Wilhelm [editor.] Schürr, Andy [editor.] Westfechtel, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5765 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)
	978.	Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings / by Logozzo, Francesco [editor.] Fähndrich, Manuel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7935 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)
	979.	Combinatorial Algorithms [electronic resource] : 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers / by Jan, Kratochvíl [editor.] Miller, Mirka [editor.] Froncek, Dalibor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8986 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)
	980.	Rewriting Logic and Its Applications [electronic resource] : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / by Lucanu, Dorel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9942 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1743 results.