Jump to main content

yr 〜
yr

Search results 6

VLSI-SoC : Internet of Things Foundations 22nd IFIP WG 10.5/Ieee International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa Del Carmen, Mexico, October 6-8, 2014, Revised and extended selected papers

VLSI-SoC : Internet of Things Foundations 22nd IFIP WG 10.5/Ieee International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa Del Carmen, Mexico, October 6-8, 2014, Revised and extended selected papers
Paper図書
Luc Claesen ... [et al.], editorsSpringerc2015
Other Libraries in Japan
  • Author Heading...le Integration Claesen, Luc J. M. Sanz-Pascual, Maria-Teresa Re...

VLSI : integrated systems on silicon : IFIP TC10 WG10.5 International Conference on Very Large Scale Integration 26-30 August 1997, Gramado, RS, Brazil

VLSI : integrated systems on silicon : IFIP TC10 WG10.5 International Conference on Very Large Scale Integration 26-30 August 1997, Gramado, RS, Brazil
Paper図書
edited by Ricardo Reis, Luc ClaesenChapman & Hall1997
Other Libraries in Japan
  • Author Heading...ugusto da Luz) Claesen, Luc J. M.

Computer hardware description languages and their applications : proceedings of the 11th IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications - CHDL '93, Ottawa, Ontario, Canada, 26-28 April, 1993

Computer hardware description languages and their applications : proceedings of the 11th IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications - CHDL '93, Ottawa, Ontario, Canada, 26-28 April, 1993
Paper図書
sponsored by IFIP WG 10.2 and in cooperation with IEEE COMPSOC ; edited by David Agnew, Luc Claesen, Raul CamposanoNorth-Holland1993
Other Libraries in Japan
  • Author Heading...s Agnew, David Claesen, Luc J. M. Camposano, Raul

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
Paper図書
organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. GordonNorth-Holland1993
Other Libraries in Japan
  • Author Heading...s Applications Claesen, Luc J. M. Gordon, Michael J. C. Interun...

Formal VLSI specification and synthesis : Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

Formal VLSI specification and synthesis : Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
Paper図書
sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. ClaesenNorth-Holland1990
Other Libraries in Japan
  • Author Heading...ct VLSI Design Claesen, Luc J. M. Interuniversity Micro-Electro...

Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
Paper図書
sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. ClaesenNorth-Holland1990
Other Libraries in Japan
  • Author Heading...ct VLSI Design Claesen, Luc J. M. Interuniversity Micro-Electro...

Reached to the end of result.

RSS