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

Results
	81.	Implementation and Application of Automata [electronic resource] : 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers / by Watson, Bruce [editor.] Wood, Derick [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2494 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	82.	Logic-Based Program Synthesis and Transformation [electronic resource] : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers / by Flener, Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1559 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	83.	Compiler Construction [electronic resource] : 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings / by Koskimies, Kai [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1383 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)
	84.	Self-Adaptive Software [electronic resource] : Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers / by Laddaga, Robert [editor.] Robertson, Paul [editor.] Shrobe, Howie [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2614 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	85.	Rewriting Techniques and Applications [electronic resource] : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings / by Nipkow, Tobias [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1379 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)
	86.	Theoretical Computer Science [electronic resource] : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings / by Restivo, Antonio [editor.] Ronchi Della Rocca, Simona [editor.] Roversi, Luca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2202 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)
	87.	Principles and Practice of Constraint Programming - CP 2003 [electronic resource] : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings / by Rossi, Francesca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2833 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	88.	Applications of Graph Transformations with Industrial Relevance [electronic resource] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers / by Pfaltz, John L [editor.] Nagl, Manfred [editor.] Böhlen, Boris [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3062 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)
	89.	Agent-Oriented Software Engineering [electronic resource] : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / by Ciancarini, Paolo [editor.] Wooldridge, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1957 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)
	90.	Agent-Oriented Software Engineering II [electronic resource] : Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions / by Wooldridge, Michael J [editor.] Weiß, Gerhard [editor.] Ciancarini, Paolo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2222 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	91.	Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / by Nipkow, Tobias [author.] Paulson, Lawrence C [author.] Wenzel, Markus [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2283 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	92.	Computer Aided Verification [electronic resource] : 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings / by Emerson, E. Allen [editor.] Sistla, A. Prasad [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1855 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	93.	Principles of Declarative Programming [electronic resource] : 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings / by Palamidessi, Catuscia [editor.] Glaser, Hugh [editor.] Meinke, Karl [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1490 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)
	94.	Functional and Logic Programming [electronic resource] : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings / by Kuchen, Herbert [editor.] Ueda, Kazunori [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2024 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)
	95.	Computer Science Logic [electronic resource] : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings / by Clote, Peter G [editor.] Schwichtenberg, Helmut [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1862 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	96.	Theorem Proving in Higher Order Logics [electronic resource] : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings / by Boulton, Richard J [editor.] Jackson, Paul B [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2152 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)
	97.	Algebraic and Logic Programming [electronic resource] : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings / by Hanus, Michael [editor.] Heering, Jan [editor.] Meinke, Karl [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1298 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	98.	Theoretical Computer Science [electronic resource] : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings / by Blundo, Carlo [editor.] Laneve, Cosimo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2841 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	99.	Functional and Logic Programming [electronic resource] : 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings / by Middeldorp, Aart [editor.] Sato, Taisuke [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1722 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	100.	Rewriting Techniques and Applications [electronic resource] : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings / by Bachmair, Leo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1833 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 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 125 results.