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 and su-to:Formal Languages and Automata Theory' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	21.	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)
	22.	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)
	23.	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)
	24.	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)
	25.	Computer Science Logic [electronic resource] : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings / by Marcinkowski, Jerzy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3210 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)
	26.	Computer Aided Verification [electronic resource] : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings / by Alur, Rajeev [editor.] Peled, Doron A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3114 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)
	27.	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)
	28.	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)
	29.	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)
	30.	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)
	31.	Runtime Verification [electronic resource] : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings / by Katsaros, Panagiotis [editor.] Nenzi, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14245 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)
	32.	Principles of Systems Design [electronic resource] : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday / by Raskin, Jean-François [editor.] Chatterjee, Krishnendu [editor.] Doyen, Laurent [editor.] Majumdar, Rupak [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13660 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)
	33.	Static Analysis [electronic resource] : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings / by Hermenegildo, Manuel V [editor.] Morales, José F [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14284 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)
	34.	Theory Is Forever [electronic resource] : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday / by Karhumäki, Juhani [editor.] Maurer, Hermann [editor.] Paun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3113 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)
	35.	Reachability Problems [electronic resource] : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings / by Bournez, Olivier [editor.] Formenti, Enrico [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14235 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)
	36.	Recent Trends in Algebraic Development Techniques [electronic resource] : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers / by Madeira, Alexandre [editor.] Martins, Manuel A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13710 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)
	37.	Rewriting Techniques and Applications [electronic resource] : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings / by Oostrom, Vincent van [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3091 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)
	38.	Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13701 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)
	39.	Logic Program Synthesis and Transformation [electronic resource] : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings / by Fuchs, Norbert E [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1463 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	40.	Constraints in Computational Logics: Theory and Applications [electronic resource] : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / by Comon, Hubert [editor.] Marche, Claude [editor.] Treinen, Ralf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2002 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 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.