Jump to main content

yr 〜
yr

Search results 19

ISSCS 2005 : international symposium on signals, circuits and systems : July 14-15, 2005, Iasi, Romania : proceedings. : Jul 2005, Iasi, Romania.

ISSCS 2005 : international symposium on signals, circuits and systems : July 14-15, 2005, Iasi, Romania : proceedings. : Jul 2005, Iasi, Romania.
Paper図書
IEEEc2005.<M17-05-2568>
National Diet Library
  • Subject Heading...-- Congresses. Integrated circuits -- Design and construction -- Data processing -- Congresses. Power electronics -- Congres...

SCS 2003 : international symposium on signals, circuits, and systems : July 10-11, 2003, Iasi, Romania : proceedings. : Jul 2003, Iasi, Romania.

SCS 2003 : international symposium on signals, circuits, and systems : July 10-11, 2003, Iasi, Romania : proceedings. : Jul 2003, Iasi, Romania.
Paper図書
IEEEc2003.<M17-04-1210>
National Diet Library
  • Subject Heading...-- Congresses. Integrated circuits -- Design and construction -- Data processing -- Congresses. Power electronics -- Congres...

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 --...

European Conference on Electronic Design Automation (EDA84), 26-30 March 1984 / organised by the Electronics Division of the Institution of Electrical Engineers in association with the British Computer Society (BCS) ... [et al.], venue, University of Warwick. (Conference publication)

European Conference on Electronic Design Automation (EDA84), 26-30 March 1984 / organised by the Electronics Division of the Institution of Electrical Engineers in association with the British Computer Society (BCS) ... [et al.], venue, University of Warwick. (Conference publication)
Paper図書
The Institution of Electrical Engineersc1984.<M15-A805>
National Diet Library
  • Subject Heading...-- Congresses. Integrated circuits -- Design and construction -- Data processing -- Congresses.

SCS 2003 : International Symposium on Signals, Circuits, and Systems, July 10-11, 2003, Iași, Romania : proceedings : set

SCS 2003 : International Symposium on Signals, Circuits, and Systems, July 10-11, 2003, Iași, Romania : proceedings : set
Paper図書
organized by Faculty of Electronics and Telecommunications, "Gh. Asachi" Technical University of Iaşi and IEEE Romania Section CAS Chapter ; in cooperation with IEEE--CAS SocietyIEEEc2003
Other Libraries in Japan
  • Subject Heading... -- Congresses Integrated circuits -- Design and construction -- Data processing -- Congresses Power electronics -- Congress...
  • Subject Heading (ID)... -- Congresses Integrated circuits -- Design and construction -- Data processing -- Congresses Power electronics -- Congress...

Proceedings of the ASP-DAC'98 : Asia and South Pacific Design Automation Conference 1998 : February 10-13, 1998, Pacifico Yokahama, Yokohama, Japan : softbound edition : microfiche edition : CD-ROM edition

Proceedings of the ASP-DAC'98 : Asia and South Pacific Design Automation Conference 1998 : February 10-13, 1998, Pacifico Yokahama, Yokohama, Japan : softbound edition : microfiche edition : CD-ROM edition
Paper図書
sponsored by IEICE (Institute of Electronics, Information and Communication Engineers) ... [et al.]IEEEc1998
Other Libraries in Japan
  • Subject HeadingIntegrated circuits -- Design and construction -- Data processing -- Congresses Electronic circuit design -- ...
  • Subject Heading (ID)Integrated circuits -- Design and construction -- Data processing -- Congresses Electronic circuit design -- ...

Proceedings of the Fourth Symposium on Automated Integrated Circuits Manufacturing

Proceedings of the Fourth Symposium on Automated Integrated Circuits Manufacturing
Paper図書
edited by Joseph B. Anthony ; assistant editors, Mihir Parikh, Vaughn Akins, Robert MillerElectrochemical Societyc1989
Other Libraries in Japan
  • Subject HeadingIntegrated circuits -- Design and construction -- Data processing -- Congresses
  • Subject Heading (ID)Integrated circuits -- Design and construction -- Data processing -- Congresses

Proceedings of the Third Symposium on Automated Integrated Circuits Manufacturing

Proceedings of the Third Symposium on Automated Integrated Circuits Manufacturing
Paper図書
edited by Joseph B. Anthony ; assistant editors, Mihir Parikh, Vaughn Akins, Robert MillerElectrochemical Societyc1988
Other Libraries in Japan
  • Subject HeadingIntegrated circuits -- Design and construction -- Data processing -- Congresses
  • Subject Heading (ID)Integrated circuits -- Design and construction -- Data processing -- Congresses

Proceedings of the Sixth Symposium on Automated Circuits Manufacturing

Proceedings of the Sixth Symposium on Automated Circuits Manufacturing
Paper図書
edited by Vaughn E. Akins, Hiroyuki Harada ; assistant editors, Robert Miller, Mihir ParikhElectrochemical Societyc1991
Other Libraries in Japan
  • Subject HeadingIntegrated circuits -- Design and construction -- Data processing -- Congresses Computer integrated manufactu...
  • Subject Heading (ID)Integrated circuits -- Design and construction -- Data processing -- Congresses Computer integrated manufactu...

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...

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...

Digest of technical papers pbk. hard microfiche

Digest of technical papers pbk. hard microfiche
Paper図書
IEEE International Conference on Computer-Aided Design, ICCAD-84, November 12-November 15, 1984, Marriot Hotel, Santa Clara, CA ; sponsored by IEEE Computer Society, IEEE Circuits and Systems Society in cooperation with IEEE Electron Devices SocietyInstitute of Electrical and Electronics Engineersc1984
Other Libraries in Japan
  • Subject HeadingIntegrated circuits -- Design and construction -- Data processing -- Congresses Computer-aided design -- Cong...
  • Subject Heading (ID)Integrated circuits -- Design and construction -- Data processing -- Congresses Computer-aided design -- Cong...

Digest of technical papers, November 12-November 15, 1984, Marriot Hotel, Santa Clara, CA [Private reproduction]

Digest of technical papers, November 12-November 15, 1984, Marriot Hotel, Santa Clara, CA [Private reproduction]
Paper図書
IEEE International Conference on Computer-Aided Design, ICCAD-84, / sponsored by IEEE Computer Society, IEEE Circuits and Systems Society in cooperation with IEEE Electron Devices SocietyInstitute of Electrical and Electronics Engineersc1984
Other Libraries in Japan
  • Subject HeadingIntegrated circuits -- Design and construction -- Data processing -- Congresses Computer-aided design -- Cong...
  • Subject Heading (ID)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 -...

22nd ACM/IEEE Design Automation Conference, June 23-26, 1985, Caesars Palace, Las Vegas-Nevada : proceedings 1985 : pbk : microfiche : casebound

22nd ACM/IEEE Design Automation Conference, June 23-26, 1985, Caesars Palace, Las Vegas-Nevada : proceedings 1985 : pbk : microfiche : casebound
Paper図書
IEEEc1985
Other Libraries in Japan
  • Subject Heading... -- Congresses Integrated circuits -- Design and construction -- Data processing -- Congresses
  • Subject Heading (ID)... -- Congresses Integrated circuits -- Design and construction -- Data processing -- Congresses

European Conference on Electronic Design Automation (EDA84), 26-30 March 1984 pbk.

European Conference on Electronic Design Automation (EDA84), 26-30 March 1984 pbk.
Paper図書
organised by the Electronics Division of the Institution of Electrical Engineers in association with the British Computer Society (BCS) ... [et al.], venue, University of WarwickInstitution of Electrical Engineersc1984
Other Libraries in Japan
  • Subject Heading... -- Congresses Integrated circuits -- Design and construction -- Data processing -- Congresses
  • Subject Heading (ID)... -- Congresses Integrated circuits -- Design and construction -- Data processing -- Congresses

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...resses Digital integrated circuits -- Design and construction -- Data processing -- congresses Computer-aided design -- Cong...
  • Subject Heading (ID)...resses Digital integrated circuits -- Design and construction -- Data processing -- congresses Computer-aided design -- Cong...

Reached to the end of result.

RSS