IMSc Library catalog › Results of search for 'ccl=su:"Computer science" and su-to:Logic design and su-to:Combinatorics'

Your search returned 7 results.

Not what you expected? Check for suggestions

			ZUM '95: The Z Formal Specification Notation [electronic resource] : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings / edited by Jonathan P. Bowen, Michael G. Hinchey. by Bowen, Jonathan P [editor.] \| Hinchey, Michael G [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 967Source: 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
			Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings / edited by Kesav V. Nori, C. E. Veni Madhavan. by Nori, Kesav V [editor.] \| Veni Madhavan, C. E [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 472Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Combinatorics on Traces [electronic resource] / by Volker Diekert. by Diekert, Volker [author.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 454Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Mathematics of Program Construction [electronic resource] : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings / edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock. by Bird, R. S [editor.] \| Morgan, C. C [editor.] \| Woodcock, J. C. P [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 669Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Formal Program Development [electronic resource] : IFIP TC2/WG 2.1 State-of-the-Art Report / edited by Bernhard Möller, Helmut Partsch, Steve Schuman. by Möller, Bernhard [editor.] \| Partsch, Helmut [editor.] \| Schuman, Steve [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 755Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Trees in Algebra and Programming — CAAP'94 [electronic resource] : 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings / edited by Sophie Tison. by Tison, Sophie [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 787Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Mathematics of Program Construction [electronic resource] : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings / edited by Bernhard Möller. by Möller, Bernhard [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 947Source: 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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha