Results of search for 'ccl=su:{Engineering} and su-to:Software engineering and su-to:Software engineering and su-to:Formal Languages and Automata Theory' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	701.	Logic Based Program Synthesis and Transformation [electronic resource] : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers / by Lau, Kung-Kiu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2042 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)
	702.	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)
	703.	Algebraic Methodology and Software Technology [electronic resource] : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings / by Kirchner, Helene [editor.] Ringeissen, Christophe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2422 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)
	704.	Algebraic Methodology and Software Technology [electronic resource] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / by Rattray, Charles [editor.] Maharaj, Savitri [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3116 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)
	705.	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)
	706.	Static Analysis [electronic resource] : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings / by Hermenegildo, Manuel [editor.] Puebla, German [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2477 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)
	707.	Programming Languages and Systems [electronic resource] : 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings / by Smolka, Gert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1782 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)
	708.	Algebraic Methodology and Software Technology [electronic resource] : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings / by Rus, Teodor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1816 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)
	709.	Recent Trends in Algebraic Development Techniques [electronic resource] : 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers / by Cerioli, Maura [editor.] Reggio, Gianna [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2267 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)
	710.	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)
	711.	Compiler Construction [electronic resource] : 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / by Watt, David A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1781 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)
	712.	Abstract State Machines 2003: Advances in Theory and Practice [electronic resource] : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / by Börger, Egon [editor.] Gargantini, Angelo [editor.] Riccobene, Elvinia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2589 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)
	713.	Static Analysis [electronic resource] : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / by Palsberg, Jens [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1824 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)
	714.	Theoretical Aspects of Computer Software [electronic resource] : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings / by Kobayashi, Naoki [editor.] Pierce, Benjamin C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2215 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)
	715.	Theorem Proving in Higher Order Logics [electronic resource] : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings / by Gunter, Elsa L [editor.] Felty, Amy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1275 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)
	716.	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)
	717.	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)
	718.	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)
	719.	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)
	720.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 763 results.