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

Results
	101.	Theory and Applications of Satisfiability Testing -- SAT 2012 [electronic resource] : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings / by Cimatti, Alessandro [editor.] Sebastiani, Roberto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7317 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)
	102.	Conceptual Modelling and Its Theoretical Foundations [electronic resource] : Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday / by Düsterhöft, Antje [editor.] Klettke, Meike [editor.] Schewe, Klaus-Dieter [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7260 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)
	103.	Developments in Language Theory [electronic resource] : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings / by Calude, Cristian S [editor.] Calude, Elena [editor.] Dinneen, Michael J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3340 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)
	104.	Teaching Formal Methods [electronic resource] : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings / by Dean, C. Neville [editor.] Boute, Raymond T [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3294 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)
	105.	Deontic Logic and Artificial Normative Systems [electronic resource] : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings / by Goble, Lou [editor.] Meyer, John-Jules Ch [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4048 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)
	106.	Logic and Its Applications [electronic resource] : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings / by Ramanujam, R [editor.] Sarukkai, Sundar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5378 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)
	107.	Language and Automata Theory and Applications [electronic resource] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings / by Dediu, Adrian Horia [editor.] Ionescu, Armand Mihai [editor.] Martin-Vide, Carlos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5457 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)
	108.	Membrane Computing [electronic resource] : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers / by Martín-Vide, Carlos [editor.] Mauri, Giancarlo [editor.] Paun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2933 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)
	109.	Computer Science – Theory and Applications [electronic resource] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings / by Kulikov, Alexander [editor.] Vereshchagin, Nikolay [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6651 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)
	110.	Language and Automata Theory and Applications [electronic resource] : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, Proceedings / by Dediu, Adrian-Horia [editor.] Martín-Vide, Carlos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7183 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)
	111.	Mathematics of Program Construction [electronic resource] : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings / by Kozen, Dexter [editor.] Shankland, Carron [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3125 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)
	112.	Theoretical Aspects of Computing - ICTAC 2005 [electronic resource] : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings / by Hung, Dang Van [editor.] Wirsing, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3722 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)
	113.	Mathematical Foundations of Computer Science 2011 [electronic resource] : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, Proceedings / by Murlak, Filip [editor.] Sankowski, Piotr [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6907 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)
	114.	Implementation and Application of Automata [electronic resource] : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers / by Bouchou-Markhoff, Béatrice [editor.] Caron, Pascal [editor.] Champarnaud, Jean-Marc [editor.] Maurel, Denis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6807 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)
	115.	Abstraction, Reformulation, and Approximation [electronic resource] : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings / by Miguel, Ian [editor.] Tuml, Wheeler [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4612 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)
	116.	Algebra, Meaning, and Computation [electronic resource] : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday / by Futatsugi, Kokichi [editor.] Jouannaud, Jean-Pierre [editor.] Meseguer, José [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4060 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)
	117.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I / by Legay, Axel [editor.] Margaria, Tiziana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10205 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)
	118.	Principles and Practice of Constraint Programming -- CP 2011 [electronic resource] : 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011, Proceedings / by Lee, Jimmy [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6876 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)
	119.	Algebraic Informatics [electronic resource] : Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers / by Bozapalidis, Symeon [editor.] Rahonis, George [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4728 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)
	120.	Mathematics of Program Construction [electronic resource] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings / by Uustalu, Tarmo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4014 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 504 results.