Results of search for 'ccl=au:"SpringerLink (Online service)" and se:Lecture Notes in Computer Science, and su-to:Computer science and su-to:Formal Languages and Automata Theory' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Reachability Problems [electronic resource] : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings / by Lin, Anthony W [editor.] Zetzsche, Georg [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13608 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Formal Aspects of Component Software [electronic resource] : 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings / by Tapia Tarifa, Silvia Lizeth [editor.] Proença, José [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13712 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Implementation and Application of Automata [electronic resource] : 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings / by Caron, Pascal [editor.] Mignot, Ludovic [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13266 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Formal Methods for Components and Objects [electronic resource] : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / by Boer, Frank S. de [editor.] Bonsangue, Marcello M [editor.] Graf, Susanne [editor.] de Roever, Willem-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3188 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)
	5.	Rewriting Logic and Its Applications [electronic resource] : 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers / by Bae, Kyungmin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13252 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Logic-Based Program Synthesis and Transformation [electronic resource] : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings / by De Angelis, Emanuele [editor.] Vanhoof, Wim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13290 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Language, Logic, and Computation [electronic resource] : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers / by Özgün, Aybüke [editor.] Zinova, Yulia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13206 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings / by Lodaya, Kamal [editor.] Mahajan, Meena [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3328 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)
	9.	Formal Methods in Computer-Aided Design [electronic resource] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings / by Hu, Alan J [editor.] Martin, Andrew K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3312 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)
	10.	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)
	11.	Approaches and Applications of Inductive Programming [electronic resource] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers / by Schmid, Ute [editor.] Kitzelmann, Emanuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5812 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)
	12.	Logic Programming [electronic resource] : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings / by Demoen, Bart [editor.] Lifschitz, Vladimir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3132 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)
	13.	Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / by Borba, Paulo [editor.] Cavalcanti, Ana [editor.] Sampaio, Augusto [editor.] Woodcook, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6153 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)
	14.	Program Development in Computational Logic [electronic resource] : A Decade of Research Advances in Logic-Based Program Development / by Bruynooghe, Maurice [editor.] Lau, Kung-Kiu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3049 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)
	15.	From Object-Orientation to Formal Methods [electronic resource] : Essays in Memory of Ole-Johan Dahl / by Owe, Olaf [editor.] Krogdahl, Stein [editor.] Lyche, Tom [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2635 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)
	16.	Static Analysis [electronic resource] : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / by Giacobazzi, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3148 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)
	17.	Logic Based Program Synthesis and Transformation [electronic resource] : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers / by Bruynooghe, Maurice [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3018 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)
	18.	Relational and Kleene-Algebraic Methods in Computer Science [electronic resource] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers / by Berghammer, R [editor.] Möller, Bernhard [editor.] Struth, Georg [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3051 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)
	19.	Principles and Practice of Constraint Programming - CP 2004 [electronic resource] : 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings / by Wallace, Mark [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3258 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)
	20.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 112 results.