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

Your search returned 2 results.

Not what you expected? Check for suggestions

			Recent Trends in Algebraic Development Techniques [electronic resource] : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / edited by Martin Wirsing, Dirk Pattinson, Rolf Hennicker. by Wirsing, Martin [editor.] \| Pattinson, Dirk [editor.] \| Hennicker, Rolf [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2755Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			STACS 88 [electronic resource] : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings / edited by Robert Cori, Martin Wirsing. by Cori, Robert [editor.] \| Wirsing, Martin [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 294Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags