Jump to main content

yr 〜
yr

Search results 7

Theorem provers in circuit design : theory, practice and experience : second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf, eds. (Lecture notes in computer science)

Theorem provers in circuit design : theory, practice and experience : second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9584>
National Diet Library
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing -- Congresses. Automatic theorem proving --...

Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
Paper図書
Ganesh Gopalakrishnan, Phillip Windley, (eds.)Springerc1998
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing -- Congresses Computer-aided design -- Cong...
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing -- Congresses Computer-aided design -- Cong...

Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings
Paper図書
Ramayya Kumar, Thomas Kropf (eds.)Springerc1995
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing -- Congresses Automatic theorem proving -- ...
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing -- Congresses Automatic theorem proving -- ...

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
Paper図書
Mandayam Srivas, Albert Camilleri (eds.)Springerc1996
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing -- Congresses Computer-aided design -- Cong...
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing -- Congresses Computer-aided design -- Cong...

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings
Paper図書
Warren A. Hunt Jr., Steven D. Johnson (eds.)Springerc2000
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing -- Congresses Digital integrated circuits -...
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing -- Congresses Digital integrated circuits -...

Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 : AMS : ACM

Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 : AMS : ACM
Paper図書
E.M. Clarke, R.P. Kurshan, editorsAmerican Mathematical Societyc1991
Other Libraries in Japan
  • Subject HeadingDigital integrated circuits -- Design and construction -- Data processing -- Congresses Computer-aided design -- Cong...
  • Subject Heading (ID)Digital integrated circuits -- Design and construction -- Data processing -- Congresses Computer-aided design -- Cong...

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings : gw : us

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings : gw : us
Paper図書
E.M. Clarke, R.P. Kurshan, (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Subject Heading... -- Congresses Digital integrated circuits -- Design and construction -- Data processing -- congresses Computer-aided design -- Cong...
  • Subject Heading (ID)... -- Congresses Digital integrated circuits -- Design and construction -- Data processing -- congresses Computer-aided design -- Cong...

Reached to the end of result.

RSS