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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Reached to the end of result.

RSS