Results of search for 'ccl=su:{Science } and su-to:Machine theory and se:Lecture Notes in Computer Science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	161.	Formal Hardware Verification [electronic resource] : Methods and Systems in Comparison / by Kropf, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1287 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)
	162.	FME 2001: Formal Methods for Increasing Software Productivity [electronic resource] : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings / by Oliveira, Jose N [editor.] Zave, Pamela [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2021 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)
	163.	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)
	164.	Computer Aided Verification [electronic resource] : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings / by Hunt, Jr., Warren A [editor.] Somenzi, Fabio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2725 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)
	165.	Applied Formal Methods - FM-Trends 98 [electronic resource] : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings / by Hutter, Dieter [editor.] Stephan, Werner [editor.] Traverso, Paolo [editor.] Ullmann, Markus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1641 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)
	166.	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)
	167.	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)
	168.	FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings / by Hariharan, Ramesh [editor.] Mukund, Madhavan [editor.] Vinay, V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2245 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)
	169.	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)
	170.	Conceptual Modeling - ER '98 [electronic resource] : 17th International Conference on Conceptual Modeling, Singapore, November 16-19, 1998, Proceedings / by Ling, Tok Wang [editor.] Ram, Sudha [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1507 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)
	171.	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)
	172.	Formal Methods and Software Engineering [electronic resource] : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / by Dong, Jin Song [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2885 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)
	173.	Computer Aided Verification [electronic resource] : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / by Brinksma, Ed [editor.] Larsen, Kim G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2404 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)
	174.	Computer Aided Systems Theory - EUROCAST 2003 [electronic resource] : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers / by Moreno Diaz, Robeto [editor.] Pichler, Franz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2809 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)
	175.	Programming Languages and Systems [electronic resource] : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / by Sands, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2028 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)
	176.	Types for Proofs and Programs [electronic resource] : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers / by Geuvers, Herman [editor.] Wiedijk, Freek [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2646 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)
	177.	Advances in Computing Science - ASIAN'99 [electronic resource] : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings / by Thiagarajan, P.S [editor.] Yap, Roland [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1742 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)
	178.	Category Theory and Computer Science [electronic resource] : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings / by Moggi, Eugenio [editor.] Rosolini, Giuseppe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1290 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)
	179.	Mathematics of Program Construction [electronic resource] : 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / by Backhouse, Roland [editor.] Nuno Oliveira, Jose [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1837 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)
	180.	Rewriting Techniques and Applications [electronic resource] : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings / by Middeldorp, Aart [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2051 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

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 216 results.