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

Your search returned 8 results.

Not what you expected? Check for suggestions

			Relational and Kleene-Algebraic Methods in Computer Science [electronic resource] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers / edited by Rudolf Berghammer, Bernhard Möller, Georg Struth. by Berghammer, Rudolf [editor.] \| Möller, Bernhard [editor.] \| Struth, Georg [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3051Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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] : 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings / edited by Eerke A. Boiten, Bernhard Möller. by Boiten, Eerke A [editor.] \| Möller, Bernhard [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2386Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
			Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers / edited by Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow. by Heering, Jan [editor.] \| Meinke, Karl [editor.] \| Möller, Bernhard [editor.] \| Nipkow, Tobias [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 816Source: 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
			Prospects for Hardware Foundations [electronic resource] : ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters / edited by Bernhard Möller, John V. Tucker. by Möller, Bernhard [editor.] \| Tucker, John V [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1546Source: 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
			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
			Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers / edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller. by Dowek, Gilles [editor.] \| Heering, Jan [editor.] \| Meinke, Karl [editor.] \| Möller, Bernhard [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1074Source: 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
			Relations and Kleene Algebra in Computer Science [electronic resource] : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings / edited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller. by Berghammer, Rudolf [editor.] \| Jaoua, Ali Mohamed [editor.] \| Möller, Bernhard [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5827Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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