IMSc Library catalog › Results of search for 'au:"Nivat, Maurice."'

Your search returned 9 results.

Not what you expected? Check for suggestions

			Tree automata and languages (SCSAI - Vol. 10) by Nivat, Maurice. Ed \| Podelski, Andreas. Ed. Series: Studies in computer science and artificial intelligence ; 10Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Elsevier ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 28 Call number: 681.3.02 NIV. Place hold Log in to add tags
			Algebraic Methodology and Software Technology : 5th international conference; proceedings by Wirsing, Martin \| Nivat,Maurice Eds. Series: Lecture notes in computer science ; 01101Edition: 0Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Algebraic Methodology and software technology: 4th international conference; proceedings by Alagar,V.S \| Nivat, Maurice Eds. Series: Lecture notes in computer science ; 00936Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Mathematical Foundations of Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP' 85) / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher. by Ehrig, Hartmut [editor.] \| Floyd, Christiane [editor.] \| Nivat, Maurice [editor.] \| Thatcher, James [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 185Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Formal Methods and Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher. by Ehrig, Hartmut [editor.] \| Floyd, Christiane [editor.] \| Nivat, Maurice [editor.] \| Thatcher, James [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 186Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Parallel Image Analysis [electronic resource] : Second International Conference, ICPIA '92 Ube, Japan, December 21–23, 1992 Proceedings / edited by Akira Nakamura, Maurice Nivat, Ahmed Saoudi, Patrick S. P. Wang, Katsushi Inoue. by Nakamura, Akira [editor.] \| Nivat, Maurice [editor.] \| Saoudi, Ahmed [editor.] \| Wang, Patrick S. P [editor.] \| Inoue, Katsushi [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 654Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Algebraic Methodology and Software Technology [electronic resource] : 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings / edited by V. S. Alagar, Maurice Nivat. by Alagar, V. S [editor.] \| Nivat, Maurice [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 936Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Algebraic Methodology and Software Technology [electronic resource] : 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings / edited by Martin Wirsing, Maurice Nivat. by Wirsing, Martin [editor.] \| Nivat, Maurice [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1101Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Foundations of Software Science and Computation Structures [electronic resource] : First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings / edited by Maurice Nivat. by Nivat, Maurice [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1378Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha