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

Your search returned 5 results.

Not what you expected? Check for suggestions

			The Vienna Development Method: The Meta-Language [electronic resource] / edited by Dines Bjørner, Cliff B. Jones. by Bjørner, Dines [editor.] \| Jones, Cliff B [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 61Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1978Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Perspectives of System Informatics [electronic resource] : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers / edited by Dines Bjørner, Manfred Broy, Alexandre V. Zamulin. by Bjørner, Dines [editor.] \| Broy, Manfred [editor.] \| Zamulin, Alexandre V [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2244Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Baltic Computer Science [electronic resource] : Selected Papers / edited by Janis Bārzdinš, Dines Bjørner. by Bārzdinš, Janis [editor.] \| Bjørner, Dines [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 502Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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 in Programming and Their Applications [electronic resource] : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings / edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin. by Bjørner, Dines [editor.] \| Broy, Manfred [editor.] \| Pottosin, Igor V [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 735Source: 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
			Perspectives of System Informatics [electronic resource] : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings / edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin. by Bjørner, Dines [editor.] \| Broy, Manfred [editor.] \| Pottosin, Igor V [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1181Source: 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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha