年 〜
年

検索結果 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)
紙図書
Springerc2013.<M17-13-3434>
国立国会図書館
  • 著者標目...IFIP. WG 10.2. IFIP WG 10.5.

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)
紙図書
Springerc2009.<M17-10-1214>
国立国会図書館
  • 著者標目...ttberg, Achim. IFIP WG 10.5. IFIP TC10 Working Conference:...

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)
紙図書
Springerc2008.<M17-08-2181>
国立国会図書館
  • 著者標目.... Wolf, Wayne. IFIP WG 10.5. IFIP World Computer Congress ...

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)
紙図書
Springerc2005.<M17-05-2663>
国立国会図書館
  • 著者標目IFIP WG 10.5. IFIP Working Group 3.6--Dista...

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)
紙図書
Springer[2015]<M17-16-305>
国立国会図書館

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)
紙図書
Springerc2013.<M17-14-1658>
国立国会図書館

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
紙図書
sponsored by IEEE Computer Society Technical Committee on Simulation ... [et al.] ; in cooepration with Brazilian Computer Society- SBCIEEE Computer Societyc2007
全国の図書館

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.
紙図書
Kluwer Academic Publishersc2002.<M17-03-3933>
国立国会図書館

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
紙図書
sponsored by : ACM SIGDA ... [et al.]ACMc2001
全国の図書館

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.
紙図書
North-Holland1983.<M15-A2948>
国立国会図書館
  • 著者標目....) IFIP TC-10. IFIP WG 10.5. International Federation for ...

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
紙図書
edited by Hon F. Li and David K. ProbstChapman & Hall on behalf of the International Federation for Information Processing (IFIP)1997
全国の図書館

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
紙図書
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]
全国の図書館

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
紙図書
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
全国の図書館

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
紙図書
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
全国の図書館

Formal methods for VLSI design : IFIP WG 10.5 lecture notes

Formal methods for VLSI design : IFIP WG 10.5 lecture notes
紙図書
edited by Jørgen StaunstrupNorth-Holland1990
全国の図書館

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

Hardware/software codesign : 7th International workshop : May 1999, Rome, Italy.
紙図書
Association for Computing Machinery1999.<M17-00-0558>
国立国会図書館

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
紙図書
edited by G. Musgrave, U. LautherNorth-Holland1990
全国の図書館

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
紙図書
edited by Carlo H. SéquinNorth-Holland1988
全国の図書館

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

Hardware/software codesign : 6th International workshop : Mar 1998, Seattle, WA.
紙図書
IEEE Computer Society Press1998.<M17-99-1524>
国立国会図書館

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
紙図書
Program Committee1995
全国の図書館