Results of search for 'ccl=se,phr:"Lecture Notes in Computer Science," and se:Lecture notes in computer science and se:Lecture Notes in Computer Science, and su-to:Computer Science Logic and Foundations of Programming' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Developments in Language Theory [electronic resource] : 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings / by Drewes, Frank [editor.] Volkov, Mikhail [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13911 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)
	2.	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)
	3.	Static Analysis [electronic resource] : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings / by Singh, Gagandeep [editor.] Urban, Caterina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13790 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	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)
	5.	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)
	6.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / by Berardi, Stefano [editor.] Coppo, Mario [editor.] Damiani, Ferruccio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3085 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)
	7.	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)
	8.	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)
	9.	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)
	10.	Developments in Language Theory [electronic resource] : 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings / by Diekert, Volker [editor.] Volkov, Mikhail [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13257 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)
	11.	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)
	12.	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)
	13.	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)
	14.	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)
	15.	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)
	16.	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)
	17.	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)
	18.	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)
	19.	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)
	20.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 169 results.