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

Results
	261.	Logic, Language, Information, and Computation [electronic resource] / by Ong, Luke [editor.] de Queiroz, Ruy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7456 Edition: 2nd 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)
	262.	Tests and Proofs [electronic resource] : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / by Dubois, Catherine [editor.] Wolff, Burkhart [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10889 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	263.	Programming Languages and Systems [electronic resource] : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings / by Igarashi, Atsushi [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10017 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)
	264.	Reliable Software Technologies – Ada-Europe 2015 [electronic resource] : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / by de la Puente, Juan Antonio [editor.] Vardanega, Tullio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9111 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)
	265.	Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings / by Liu, Zhiming [editor.] Ravn, Anders P [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5799 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)
	266.	Software Composition [electronic resource] : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings / by Apel, Sven [editor.] Jackson, Ethan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6708 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)
	267.	ECOOP 2013 -- Object-Oriented Programming [electronic resource] : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings / by Castagna, Giuseppe [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7920 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)
	268.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / by Fränzle, Martin [editor.] Markey, Nicolas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9884 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)
	269.	Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings / by Touili, Tayssir [editor.] Cook, Byron [editor.] Jackson, Paul [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6174 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)
	270.	Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9953 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)
	271.	Computer Aided Systems Theory – EUROCAST 2005 [electronic resource] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers / by Moreno-Díaz, Roberto [editor.] Pichler, Franz [editor.] Quesada Arencibia, Alexis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3643 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)
	272.	Static Analysis [electronic resource] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings / by Riis Nielson, Hanne [editor.] Filé, Gilberto [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4634 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)
	273.	Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / by Degano, Pierpaolo [editor.] de Nicola, Rocco [editor.] Meseguer, José [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5065 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)
	274.	PRIMA 2017: Principles and Practice of Multi-Agent Systems [electronic resource] : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings / by An, Bo [editor.] Bazzan, Ana [editor.] Leite, João [editor.] Villata, Serena [editor.] van der Torre, Leendert [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10621 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)
	275.	Inductive Logic Programming [electronic resource] : 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers / by Lachiche, Nicolas [editor.] Vrain, Christel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10759 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	276.	Formal Techniques for Distributed Systems [electronic resource] : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings / by Giese, Holger [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7273 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)
	277.	Inductive Logic Programming [electronic resource] : 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers / by Inoue, Katsumi [editor.] Ohwada, Hayato [editor.] Yamamoto, Akihiro [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9575 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)
	278.	FM 2016: Formal Methods [electronic resource] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / by Fitzgerald, John [editor.] Heitmeyer, Constance [editor.] Gnesi, Stefania [editor.] Philippou, Anna [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9995 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)
	279.	Graph Transformation [electronic resource] : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings / by Giese, Holger [editor.] König, Barbara [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8571 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)
	280.	Verified Software: Theorie, Tools, Experiments [electronic resource] : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers / by Cohen, Ernie [editor.] Rybalchenko, Andrey [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8164 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 981 results.