Jump to main content

yr 〜
yr

Search results 35

Embedded systems: design, analysis and verification : 4th IFIP TC 10 international embedded systems symposium, IESS 2013 : Paderborn, Germany, June 17-19, 2013 : proceedings : IFIP TC10 working conference : Jun 2013, Paderborn, Germany. (IFIP Advances in Information and Communication Technology ; 403)

Embedded systems: design, analysis and verification : 4th IFIP TC 10 international embedded systems symposium, IESS 2013 : Paderborn, Germany, June 17-19, 2013 : proceedings : IFIP TC10 working conference : Jun 2013, Paderborn, Germany. (IFIP Advances in Information and Communication Technology ; 403)
Paper図書
Springerc2013.<M17-13-3434>
National Diet Library

Analysis, architectures and modelling of embedded systems : third IFIP TC 10 international embedded systems symposium, IESS 2009 : Langenargen, Germany, September 14-16, 2009 : proceedings. : IFIP TC10 working conference: international embedded systems symposium : Sep 2009, Langenargen, Germany. (IFIP Advances in Information and Communication Technology ; 310)

Analysis, architectures and modelling of embedded systems : third IFIP TC 10 international embedded systems symposium, IESS 2009 : Langenargen, Germany, September 14-16, 2009 : proceedings. : IFIP TC10 working conference: international embedded systems symposium : Sep 2009, Langenargen, Germany. (IFIP Advances in Information and Communication Technology ; 310)
Paper図書
Springerc2009.<M17-10-1214>
National Diet Library

Distributed embedded systems: design, middleware and resources : IFIP 20th world computer congress, TC10 working conference on distributed and parallel embedded systems (DIPES 2008), September 7-10, 2008, Milano, Italy. : IFIP TC 10 working conference on distributed and parallel embedded systems : Sep 2008, Milano, Italy. (IFIP ; 271)

Distributed embedded systems: design, middleware and resources : IFIP 20th world computer congress, TC10 working conference on distributed and parallel embedded systems (DIPES 2008), September 7-10, 2008, Milano, Italy. : IFIP TC 10 working conference on distributed and parallel embedded systems : Sep 2008, Milano, Italy. (IFIP ; 271)
Paper図書
Springerc2008.<M17-08-2181>
National Diet Library

New trends and technologies in computer-aided learning for computer-aided design : IFIP TC10 working conference: EduTech 2005, October 20-21, Perth, Australia. : EduTech workshop : Oct 2005, Perth, Australia. (IFIP ; 192)

New trends and technologies in computer-aided learning for computer-aided design : IFIP TC10 working conference: EduTech 2005, October 20-21, Perth, Australia. : EduTech workshop : Oct 2005, Perth, Australia. (IFIP ; 192)
Paper図書
Springerc2005.<M17-05-2663>
National Diet Library

VLSI-SoC: at the crossroads of emerging trends : 21st IFIP WG 10.5/IEEE international conference on very large scale integration, VLSI-SoC 2013 : Istanbul, Turkey, October 6-9, 2013 : revised and extended selected papers : IFIP/IEEE WG10.5 international conference on very large scale integration : IFIP/IEEE international conference on very large scale integration-system-on-chip (VLSI-SoC) 2013 : Oct 2013, Istanbul, Turkey. (IFIP Advances in Information and Communication Technology ; 461)

VLSI-SoC: at the crossroads of emerging trends : 21st IFIP WG 10.5/IEEE international conference on very large scale integration, VLSI-SoC 2013 : Istanbul, Turkey, October 6-9, 2013 : revised and extended selected papers : IFIP/IEEE WG10.5 international conference on very large scale integration : IFIP/IEEE international conference on very large scale integration-system-on-chip (VLSI-SoC) 2013 : Oct 2013, Istanbul, Turkey. (IFIP Advances in Information and Communication Technology ; 461)
Paper図書
Springer[2015]<M17-16-305>
National Diet Library

VLSI-SoC: from algorithms to circuits and system-on-chip design : 20th IFIP WG 10.5/IEEE international conference on very large scale integration, VLSI-SoC 2012 : Santa Cruz, CA, USA, October 7-10, 2012 : revised selected papers : IFIP/IEEE WG10.5 international conference on very large scale integration : IFIP/IEEE international conference on very large scale integration-system-on-chip (VLSI-SoC) 2012 : Oct 2012, Santa Cruz, CA. (IFIP Advances in Information and Communication Technology ; 418)

VLSI-SoC: from algorithms to circuits and system-on-chip design : 20th IFIP WG 10.5/IEEE international conference on very large scale integration, VLSI-SoC 2012 : Santa Cruz, CA, USA, October 7-10, 2012 : revised selected papers : IFIP/IEEE WG10.5 international conference on very large scale integration : IFIP/IEEE international conference on very large scale integration-system-on-chip (VLSI-SoC) 2012 : Oct 2012, Santa Cruz, CA. (IFIP Advances in Information and Communication Technology ; 418)
Paper図書
Springerc2013.<M17-14-1658>
National Diet Library

18th IEEE/IFIP International Workshop on Rapid System Prototyping, RSP 2007, 28-30 May 2007, Port Alegre, RS, Brazil

18th IEEE/IFIP International Workshop on Rapid System Prototyping, RSP 2007, 28-30 May 2007, Port Alegre, RS, Brazil
Paper図書
sponsored by IEEE Computer Society Technical Committee on Simulation ... [et al.] ; in cooepration with Brazilian Computer Society- SBCIEEE Computer Societyc2007
Other Libraries in Japan

Design and analysis of distributed embedded systems : IFIP 17th world computer congress -- TC10 stream on distributed and parallel embedded systems (DIPES 2002) : August 25-29, 2002, Montreal, Quebec, Canada. : Aug 2002, Montreal, Canada.

Design and analysis of distributed embedded systems : IFIP 17th world computer congress -- TC10 stream on distributed and parallel embedded systems (DIPES 2002) : August 25-29, 2002, Montreal, Quebec, Canada. : Aug 2002, Montreal, Canada.
Paper図書
Kluwer Academic Publishersc2002.<M17-03-3933>
National Diet Library

Proceedings of the Ninth International Symposium on Hardware/Software Codesign : CODES 2001, April 25-27, 2001, Copenhagen, Denmark

Proceedings of the Ninth International Symposium on Hardware/Software Codesign : CODES 2001, April 25-27, 2001, Copenhagen, Denmark
Paper図書
sponsored by : ACM SIGDA ... [et al.]ACMc2001
Other Libraries in Japan

VLSI '83 : VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Trondheim, Norway, 16-19 August 1983 / [sponsored by the International Federation for Information Processing ... et al.] ; edited by F. Anceau and E.J. Aas.

VLSI '83 : VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Trondheim, Norway, 16-19 August 1983 / [sponsored by the International Federation for Information Processing ... et al.] ; edited by F. Anceau and E.J. Aas.
Paper図書
North-Holland1983.<M15-A2948>
National Diet Library

Advances in hardware design and verification : IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal Canada

Advances in hardware design and verification : IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal Canada
Paper図書
edited by Hon F. Li and David K. ProbstChapman & Hall on behalf of the International Federation for Information Processing (IFIP)1997
Other Libraries in Japan
  • Author HeadingLi, Hon F Probst, David Karl IFIP WG10.5 IFIP TC10 WG10.5 Internationa...

Second International Symposium on Advanced Research in Asynchronous Circuits and Systems, March 18-21, 1996, Aizu-Wakamatsu, Fukushima, Japan : invited lectures

Second International Symposium on Advanced Research in Asynchronous Circuits and Systems, March 18-21, 1996, Aizu-Wakamatsu, Fukushima, Japan : invited lectures
Paper図書
sponsored by IEEE Computer Society Technical Committee on VLSI, IEICE Technical Group on VLSI Design, Telecommunications Advancement Foundation ; in cooperation with IFIP WG 10.5, University of Aizu[s.n.][1996]
Other Libraries in Japan

Proceedings, Second International Symposium on Advanced Research in Asynchronous Circuits and Systems, March 18-21, 1996, Aizu-Wakamatsu, Fukushima, Japan microfiche

Proceedings, Second International Symposium on Advanced Research in Asynchronous Circuits and Systems, March 18-21, 1996, Aizu-Wakamatsu, Fukushima, Japan microfiche
Paper図書
sponsored by IEEE Computer Society Technical Committee on VLSI, IEICE Technical Group on VLSI Design, Telecommunications Advancement Foundation ; in cooperation with IFIP WG 10.5, University of AizuIEEE Computer Society Pressc1996
Other Libraries in Japan

Proceedings, 9th International Symposium on System Synthesis, La Jolla, California, November 6-8, 1996 : IEEE

Proceedings, 9th International Symposium on System Synthesis, La Jolla, California, November 6-8, 1996 : IEEE
Paper図書
co-sponsored by IEEE Computer Society, ACM SIGDA ; in cooperation with IFIP Workgroup 10.5 ; corporate support from Quickturn Design Systems, Inc.IEEE Computer Society Pressc1996
Other Libraries in Japan

Formal methods for VLSI design : IFIP WG 10.5 lecture notes

Formal methods for VLSI design : IFIP WG 10.5 lecture notes
Paper図書
edited by Jørgen StaunstrupNorth-Holland1990
Other Libraries in Japan

Hardware/software codesign : 7th International workshop : May 1999, Rome, Italy.

Hardware/software codesign : 7th International workshop : May 1999, Rome, Italy.
Paper図書
Association for Computing Machinery1999.<M17-00-0558>
National Diet Library

VLSI 89 : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Munich, Federal Republic of Germany, 16-18 August , 1989

VLSI 89 : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Munich, Federal Republic of Germany, 16-18 August , 1989
Paper図書
edited by G. Musgrave, U. LautherNorth-Holland1990
Other Libraries in Japan

VLSI 87 : VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Vancouver, Canada, 10-12 August 1987

VLSI 87 : VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Vancouver, Canada, 10-12 August 1987
Paper図書
edited by Carlo H. SéquinNorth-Holland1988
Other Libraries in Japan

Hardware/software codesign : 6th International workshop : Mar 1998, Seattle, WA.

Hardware/software codesign : 6th International workshop : Mar 1998, Seattle, WA.
Paper図書
IEEE Computer Society Press1998.<M17-99-1524>
National Diet Library

Proceedings : IFIP WG 10.5 Workshop on Applications of the Reed-Muller Expansion in Circuit Design, August 27-29, 1995, Makuhari, Chiba, Japan

Proceedings : IFIP WG 10.5 Workshop on Applications of the Reed-Muller Expansion in Circuit Design, August 27-29, 1995, Makuhari, Chiba, Japan
Paper図書
Program Committee1995
Other Libraries in Japan
RSS