IMSc Library catalog › Results of search for 'au:"Kropf, Thomas."'

Your search returned 4 results.

Not what you expected? Check for suggestions

			Formal Hardware Verification : Methods and Systems in Comparison by Kropf, Thomas. Ed. Series: Lecture notes in computer science ; 01287Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS. Place hold Log in to add tags
			Correct Hardware Design and Verification Methods [electronic resource] : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings / edited by Laurence Pierre, Thomas Kropf. by Pierre, Laurence [editor.] \| Kropf, Thomas [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1703Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Theorem Provers in Circuit Design [electronic resource] : Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings / edited by Ramayya Kumar, Thomas Kropf. by Kumar, Ramayya [editor.] \| Kropf, Thomas [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 901Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Other title: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Formal Hardware Verification [electronic resource] : Methods and Systems in Comparison / edited by Thomas Kropf. by Kropf, Thomas [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1287Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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