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

Results
	721.	Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / by Fränzle, Martin [editor.] Kapur, Deepak [editor.] Zhan, Naijun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9984 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)
	722.	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 II / by Legay, Axel [editor.] Margaria, Tiziana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10206 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)
	723.	Programming Languages and Systems [electronic resource] : Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings / by Chin, Wei-Ngan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3302 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)
	724.	Automated Deduction – CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / by Schmidt, Renate [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5663 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)
	725.	Global Optimization and Constraint Satisfaction [electronic resource] : Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers / by Jermann, Christophe [editor.] Neumaier, Arnold [editor.] Sam, Djamila [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3478 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)
	726.	Computer Aided Verification [electronic resource] : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings / by Etessami, Kousha [editor.] Rajamani, Sriram K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3576 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)
	727.	Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 / by Sassone, Vladimiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3441 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)
	728.	Foundations of Software Science and Computation Structures [electronic resource] : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by Jacobs, Bart [editor.] Löding, Christof [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9634 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	729.	Static Analysis [electronic resource] : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings / by Mine, Antoine [editor.] Schmidt, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7460 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)
	730.	Computational Logic in Multi-Agent Systems [electronic resource] : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings / by Bulling, Nils [editor.] van der Torre, Leendert [editor.] Villata, Serena [editor.] Jamroga, Wojtek [editor.] Vasconcelos, Wamberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8624 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)
	731.	Formal Techniques for Distributed Systems [electronic resource] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / by Hatcliff, John [editor.] Zucca, Elena [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6117 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)
	732.	Hardware and Software: Verification and Testing [electronic resource] : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings / by Yahav, Eran [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8855 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)
	733.	Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV [electronic resource] : Special Issue on Consistency and Inconsistency in Data-Centric Applications / by Hameurlain, Abdelkader [editor.] Küng, Josef [editor.] Wagner, Roland [editor.] Decker, Hendrik [editor.] SpringerLink (Online service) Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 10620 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)
	734.	Fundamentals of Logic and Computation [electronic resource] : With Practical Automated Reasoning and Verification / by Hou, Zhe [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	735.	Theorem Proving in Higher Order Logics [electronic resource] : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings / by Slind, Konrad [editor.] Bunker, Annette [editor.] Gopalakrishnan, Ganesh C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3223 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)
	736.	Logics in Artificial Intelligence [electronic resource] : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings / by Fermé, Eduardo [editor.] Leite, Joao [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8761 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)
	737.	Graph Transformation [electronic resource] : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / by Parisi-Presicce, Francesco [editor.] Westfechtel, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9151 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)
	738.	Logics in Artificial Intelligence [electronic resource] : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings / by Gaggl, Sarah [editor.] Martinez, Maria Vanina [editor.] Ortiz, Magdalena [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14281 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	739.	STACS 2004 [electronic resource] : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings / by Diekert, Volker [editor.] Habib, Michel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2996 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)
	740.	Foundations of Software Science and Computation Structures [electronic resource] : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / by Walukiewicz, Igor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2987 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 981 results.