本文に飛ぶ

年 〜
年

検索結果 41 件

Integrated circuit and system design : power and timing modeling, optimization and simulation : 20th international workshop, PATMOS 2010 : Grenoble, France, September 7-10, 2010 : revised selected papers. : 20th international workshop on power and timing modeling, optimization and simulations : Sep 2010, Grenoble, France. (Lecture Notes in Computer Science ; 6448)

Integrated circuit and system design : power and timing modeling, optimization and simulation : 20th international workshop, PATMOS 2010 : Grenoble, France, September 7-10, 2010 : revised selected papers. : 20th international workshop on power and timing modeling, optimization and simulations : Sep 2010, Grenoble, France. (Lecture Notes in Computer Science ; 6448)
紙図書
Springerc2011.<M17-11-2058>
国立国会図書館

Integrated circuit and system design : power and timing modeling, optimization and simulation : 19th international workshop, PATMOS 2009 : Delft, the Netherlands, September 9-11, 2009 : revised selected papers. : Sep 2009, Delft, the Netherlands. (Lecture Notes in Computer Science ; 5953)

Integrated circuit and system design : power and timing modeling, optimization and simulation : 19th international workshop, PATMOS 2009 : Delft, the Netherlands, September 9-11, 2009 : revised selected papers. : Sep 2009, Delft, the Netherlands. (Lecture Notes in Computer Science ; 5953)
紙図書
Springerc2010.<M17-10-3379>
国立国会図書館

Integrated circuit and system design : power and timing modeling, optimization and simulation : 17th international workshop, PATMOS 2007 : Gothenburg, Sweden, September 3-5, 2007 : proceedings. : Sep 2007, Gothenburg, Sweden. (Lecture Notes in Computer Science ; 4644)

Integrated circuit and system design : power and timing modeling, optimization and simulation : 17th international workshop, PATMOS 2007 : Gothenburg, Sweden, September 3-5, 2007 : proceedings. : Sep 2007, Gothenburg, Sweden. (Lecture Notes in Computer Science ; 4644)
紙図書
Springerc2007.<M17-07-2726>
国立国会図書館

Integrated circuit and system design : power and timing modeling, optimization and simulation : 16th international workshop, PATMOS 2006 : Montpellier, France, September 13-15, 2006 : proceedings. : Sep 2006, Montpellier, France. (Lecture Notes in Computer Science ; 4148)

Integrated circuit and system design : power and timing modeling, optimization and simulation : 16th international workshop, PATMOS 2006 : Montpellier, France, September 13-15, 2006 : proceedings. : Sep 2006, Montpellier, France. (Lecture Notes in Computer Science ; 4148)
紙図書
Springerc2006.<M17-06-3053>
国立国会図書館

2012 IEEE seventh international conference on global software engineering : (ICGSE 2012) : Porto Alegre, Rio Grande do Sul, Brazil : 27-30 August 2012 : international conferences on global software engineering (GSE) : Aug 2012, Porto Alegre, Brazil.

2012 IEEE seventh international conference on global software engineering : (ICGSE 2012) : Porto Alegre, Rio Grande do Sul, Brazil : 27-30 August 2012 : international conferences on global software engineering (GSE) : Aug 2012, Porto Alegre, Brazil.
紙図書
IEEEc2012.<M17-13-1724>
国立国会図書館
  • 件名...n--Congresses. Integrated circuits--Very large scale integration--Computer-aided design--Congresses.

Integrated circuit and system design : power and timing modeling, optimization and simulation : 15th international workshop, PATMOS 2005 : Leuven, Belgium, September 21-23, 2005 : proceedings. : Sep 2005, Leuven, Belgium. (Lecture Notes in Computer Science ; 3728)

Integrated circuit and system design : power and timing modeling, optimization and simulation : 15th international workshop, PATMOS 2005 : Leuven, Belgium, September 21-23, 2005 : proceedings. : Sep 2005, Leuven, Belgium. (Lecture Notes in Computer Science ; 3728)
紙図書
Springerc2005.<M17-06-737>
国立国会図書館

2011 6th IEEE international conference on global software engineering : (ICGSE 2011) : Helsinki, Finland : 15-18 August 2011 : Aug 2011, Helsinki, Finland.

2011 6th IEEE international conference on global software engineering : (ICGSE 2011) : Helsinki, Finland : 15-18 August 2011 : Aug 2011, Helsinki, Finland.
紙図書
IEEEc2011.<M17-12-2349>
国立国会図書館
  • 件名...n--Congresses. Integrated circuits--Very large scale integration--Computer-aided design--Congresses.

Integrated circuit and system design : power and timing modeling, optimization and simulation : 14th international workshop, PATMOS 2004 : Santorini, Greece, September 15-17, 2004 : proceedings. : Sep 2004, Santorini, Greece. (Lecture Notes in Computer Science ; 3254)

Integrated circuit and system design : power and timing modeling, optimization and simulation : 14th international workshop, PATMOS 2004 : Santorini, Greece, September 15-17, 2004 : proceedings. : Sep 2004, Santorini, Greece. (Lecture Notes in Computer Science ; 3254)
紙図書
Springerc2004.<M17-05-114>
国立国会図書館

2010 5th IEEE international conference on global software engineering : (ICGSE 2010) : Princeton, New Jersey, USA : 23-26 August 2010. : PARIS'10: methods and tools for project/architecture/risk management in globally distributed software development projects : 4th international workshop on toll [i.e. tool] support development and management in distributed software projects : KNOWING'10: knowledge engineering in global software development : Knowing : REMIDI : Aug 2010, Princeton, NJ.

2010 5th IEEE international conference on global software engineering : (ICGSE 2010) : Princeton, New Jersey, USA : 23-26 August 2010. : PARIS'10: methods and tools for project/architecture/risk management in globally distributed software development projects : 4th international workshop on toll [i.e. tool] support development and management in distributed software projects : KNOWING'10: knowledge engineering in global software development : Knowing : REMIDI : Aug 2010, Princeton, NJ.
紙図書
IEEEc2010.<M17-11-1472>
国立国会図書館

Integrated circuit and system design : power and timing modeling, optimization and simulation : 13th international workshop, PATMOS 2003 : Turin, Italy, September 10-12, 2003 : proceedings. : Sep 2003, Turin, Italy. (Lecture Notes in Computer Science ; 2799)

Integrated circuit and system design : power and timing modeling, optimization and simulation : 13th international workshop, PATMOS 2003 : Turin, Italy, September 10-12, 2003 : proceedings. : Sep 2003, Turin, Italy. (Lecture Notes in Computer Science ; 2799)
紙図書
Springerc2003.<M17-04-1128>
国立国会図書館

AGILE 2006 : proceedings : 23-28 July 2006 Minneapolis, Minnesota. : 6th annual North American conference on agile software development : Jul 2006, Minneapolis, MN.

AGILE 2006 : proceedings : 23-28 July 2006 Minneapolis, Minnesota. : 6th annual North American conference on agile software development : Jul 2006, Minneapolis, MN.
紙図書
IEEE Computer Societyc2006.<M17-06-2758>
国立国会図書館

International symposium on quality electronic design : (ISQED 2013) : Santa Clara, California, USA : 4-6 March 2013 : ISQED 2013 conference : 14th international symposium on quality electronic design : Mar 2013, Santa Clara, CA.

International symposium on quality electronic design : (ISQED 2013) : Santa Clara, California, USA : 4-6 March 2013 : ISQED 2013 conference : 14th international symposium on quality electronic design : Mar 2013, Santa Clara, CA.
紙図書
IEEEc2013.<M17-14-459>
国立国会図書館
  • 件名...n--Congresses. Integrated circuits--Very large scale integration--Computer-aided design--Congresses. Three-dimensional integrated ...

2009 4th IEEE international conference global software engineering : (ICGSE 2009) : Limerick, Ireland : 13-16 July 2009. : REMIDI'09: 3rd international workshop on tool support development and management in distributed software projects : Jul 2009, Limerick, Ireland.

2009 4th IEEE international conference global software engineering : (ICGSE 2009) : Limerick, Ireland : 13-16 July 2009. : REMIDI'09: 3rd international workshop on tool support development and management in distributed software projects : Jul 2009, Limerick, Ireland.
紙図書
IEEEc2009.<M17-10-3367>
国立国会図書館

Integrated circuit design : power and timing modeling, optimization and simulation : 12th international workshop, PATMOS 2002, Seville, Spain, September 11-13, 2002 : proceedings. : Sep 2002, Seville, Spain. (Lecture Notes in Computer Science ; 2451)

Integrated circuit design : power and timing modeling, optimization and simulation : 12th international workshop, PATMOS 2002, Seville, Spain, September 11-13, 2002 : proceedings. : Sep 2002, Seville, Spain. (Lecture Notes in Computer Science ; 2451)
紙図書
Springer2002.<M17-03-129>
国立国会図書館

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005 : Saarbrucken, Germany, October 3-6, 2005 : proceedings. : 2005 advanced research working conference on correct hardware-like design and verification methods : Oct 2005, Saarbrucken, Germany. (Lecture Notes in Computer Science ; 3725)

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005 : Saarbrucken, Germany, October 3-6, 2005 : proceedings. : 2005 advanced research working conference on correct hardware-like design and verification methods : Oct 2005, Saarbrucken, Germany. (Lecture Notes in Computer Science ; 3725)
紙図書
Springerc2005.<M17-05-2680>
国立国会図書館

ICGSE 2008 : 2008 3rd IEEE international conference global software engineering : proceedings : 17-20 August 2008 : Bangalore, India. : ICGSE-08 : Aug 2008, Bangalore, India.

ICGSE 2008 : 2008 3rd IEEE international conference global software engineering : proceedings : 17-20 August 2008 : Bangalore, India. : ICGSE-08 : Aug 2008, Bangalore, India.
紙図書
IEEE Computer Societyc2008.<M17-09-345>
国立国会図書館

GLSVLSI'14 : proceedings of the 2014 Great Lakes symposium on VLSI : May 21-23, 2014 : Houston, Texas, USA : GLSVLSI 2014 conference : May 2014, Houston, TX.

GLSVLSI'14 : proceedings of the 2014 Great Lakes symposium on VLSI : May 21-23, 2014 : Houston, Texas, USA : GLSVLSI 2014 conference : May 2014, Houston, TX.
紙図書
The Association for Computing Machinery[2014]<M17-15-1556>
国立国会図書館
  • 件名...n--Congresses. Integrated circuits--Very large scale integration--Computer-aided design--Congresses. Integrated circuits--Very lar...

Correct hardware design and verification methods : 12th IFIP WG 10.5 advanced research working conference, CHARME 2003 : L'Aquila, Italy, October 21-24, 2003 : proceedings. : Oct 2003, L'Aquila, Italy. (Lecture Notes in Computer Science ; 2860)

Correct hardware design and verification methods : 12th IFIP WG 10.5 advanced research working conference, CHARME 2003 : L'Aquila, Italy, October 21-24, 2003 : proceedings. : Oct 2003, L'Aquila, Italy. (Lecture Notes in Computer Science ; 2860)
紙図書
Springerc2003.<M17-04-2324>
国立国会図書館

2006 IEEE international conference on global software engineering : ICGSE 2006 : proceedings : 16-19 October 2006 : Florianopolis, Brazil. : conference on GSE : 1st ICGSE : Oct 2006, Florianopolis, Brazil.

2006 IEEE international conference on global software engineering : ICGSE 2006 : proceedings : 16-19 October 2006 : Florianopolis, Brazil. : conference on GSE : 1st ICGSE : Oct 2006, Florianopolis, Brazil.
紙図書
IEEE Computer Societyc2006.<M17-08-493>
国立国会図書館

2016 17th international symposium on quality electronic design (ISQED 2016) : Santa Clara, California, USA : 15-16 March 2016 : ISQED 2016 conference : 17th int'l symposium on quality electronic design : Mar 2016, Santa Clara, CA.

2016 17th international symposium on quality electronic design (ISQED 2016) : Santa Clara, California, USA : 15-16 March 2016 : ISQED 2016 conference : 17th int'l symposium on quality electronic design : Mar 2016, Santa Clara, CA.
紙図書
IEEE[2016]<M17-17-2496>
国立国会図書館
  • 件名Integrated circuits--Very large scale integration--Computer-aided design--Congresses. Three-dimensional integrated ...
RSS