年 〜
年

検索結果 29 件

2016 IEEE 17th international symposium on high assurance systems engineering (HASE 2016) : Orlando, Florida, USA : 7-9 January 2016 : Jan 2016, Orlando, FL.

2016 IEEE 17th international symposium on high assurance systems engineering (HASE 2016) : Orlando, Florida, USA : 7-9 January 2016 : Jan 2016, Orlando, FL.
紙図書
IEEE[2016]<M17-17-2438>
国立国会図書館
  • 件名...g--Congresses. Computer input-output equipment--Congresses. Reliability (Engineering)--Co...

2012 IEEE 14th international symposium on high-assurance systems engineering : (HASE 2012) : Omaha, Nebraska, USA : 25-27 October 2012 : 14th international on high assurance systems engineering symposium : Oct 2012, Omaha, NE.

2012 IEEE 14th international symposium on high-assurance systems engineering : (HASE 2012) : Omaha, Nebraska, USA : 25-27 October 2012 : 14th international on high assurance systems engineering symposium : Oct 2012, Omaha, NE.
紙図書
IEEEc2012.<M17-13-2599>
国立国会図書館
  • 件名...)--Congresses. Computer input-output equipment--Congresses. Software engineering--Congres...

2015 IEEE 16th international symposium on high assurance systems engineering : (HASE 2015) : Daytona Beach, Florida, USA : 8-10 January 2015 : HASE 2015 conference : Jan 2015, Daytona Beach, FL. CFP15072-CDR

2015 IEEE 16th international symposium on high assurance systems engineering : (HASE 2015) : Daytona Beach, Florida, USA : 8-10 January 2015 : HASE 2015 conference : Jan 2015, Daytona Beach, FL. CFP15072-CDR
紙図書
IEEE[2015]<M17-17-1099>
国立国会図書館
  • 件名...g--Congresses. Computer input-output equipment--Congresses. Reliability (Engineering)--Co...

2014 IEEE 15th international symposium on high-assurance systems engineering : (HASE 2014) : Miami Beach, Florida, USA : 9-11 January 2014 : 15th international high assurance systems engineering conference : Jan 2014, Miami Beach, FL. E3465 CFP14072-CDR

2014 IEEE 15th international symposium on high-assurance systems engineering : (HASE 2014) : Miami Beach, Florida, USA : 9-11 January 2014 : 15th international high assurance systems engineering conference : Jan 2014, Miami Beach, FL. E3465 CFP14072-CDR
紙図書
IEEE[2014]<M17-15-2069>
国立国会図書館
  • 件名...g--Congresses. Computer input-output equipment--Congresses. Reliability (Engineering)--Co...

11th IEEE high assurance systems engineering symposium : proceedings : Nanjing, China : December 3-5, 2008. : Dec 2008, Nanjing, China.

11th IEEE high assurance systems engineering symposium : proceedings : Nanjing, China : December 3-5, 2008. : Dec 2008, Nanjing, China.
紙図書
IEEEc2008.<M17-11-2819>
国立国会図書館

Hardware and software: verification and testing : 4th international Haifa verification conference, HVC 2008 : Haifa, Israel, October 27-30, 2008 : proceedings. : Oct 2008, Haifa, Israel. (Lecture Notes in Computer Science ; 5394)

Hardware and software: verification and testing : 4th international Haifa verification conference, HVC 2008 : Haifa, Israel, October 27-30, 2008 : proceedings. : Oct 2008, Haifa, Israel. (Lecture Notes in Computer Science ; 5394)
紙図書
Springerc2009.<M17-10-91>
国立国会図書館

Hardware and software : verification and testing : first international Haifa verification conference : Haifa, Israel, November 13-16, 2005 : revised selected papers. : Haifa verification conf. 2005 : Nov 2005, Haifa, Israel. (Lecture Notes in Computer Science ; 3875)

Hardware and software : verification and testing : first international Haifa verification conference : Haifa, Israel, November 13-16, 2005 : revised selected papers. : Haifa verification conf. 2005 : Nov 2005, Haifa, Israel. (Lecture Notes in Computer Science ; 3875)
紙図書
Springerc2006.<M17-06-2254>
国立国会図書館

Hardware and software: verification and testing : 5th international Haifa verification conference, HVC 2009 : Haifa, Israel, October 19-22, 2009 : revised selected papers. : Oct 2009, Haifa, Israel. (Lecture Notes in Computer Science ; 6405)

Hardware and software: verification and testing : 5th international Haifa verification conference, HVC 2009 : Haifa, Israel, October 19-22, 2009 : revised selected papers. : Oct 2009, Haifa, Israel. (Lecture Notes in Computer Science ; 6405)
紙図書
Springerc2011.<M17-11-2041>
国立国会図書館

Hardware and software: verification and testing : third international Haifa verification conference, HVC 2007 : Haifa, Israel, October 23-25, 2007 : proceedings. : HVC2007 : Oct 2007, Haifa, Israel. (Lecture Notes in Computer Science ; 4899)

Hardware and software: verification and testing : third international Haifa verification conference, HVC 2007 : Haifa, Israel, October 23-25, 2007 : proceedings. : HVC2007 : Oct 2007, Haifa, Israel. (Lecture Notes in Computer Science ; 4899)
紙図書
Springerc2008.<M17-08-939>
国立国会図書館

HASE 2005 : ninth IEEE international symposium on high-assurance systems engineering : 12-14 October 2005 : Heidelberg, Germany. : HASE conference : Oct 2005, Heidelberg, Germany.

HASE 2005 : ninth IEEE international symposium on high-assurance systems engineering : 12-14 October 2005 : Heidelberg, Germany. : HASE conference : Oct 2005, Heidelberg, Germany.
紙図書
IEEE Computer Societyc2005.<M17-06-2499>
国立国会図書館

Hardware and software, verification and testing : second international Haifa verification conference, HVC 2006 : Haifa, Israel, October 23-26, 2006 : revised selected papers. : Oct 2006, Haifa, Israel. (Lecture Notes in Computer Science ; 4383)

Hardware and software, verification and testing : second international Haifa verification conference, HVC 2006 : Haifa, Israel, October 23-26, 2006 : revised selected papers. : Oct 2006, Haifa, Israel. (Lecture Notes in Computer Science ; 4383)
紙図書
Springerc2007.<M17-07-1191>
国立国会図書館

Immersive projection technology and virtual environments 2001 : proceedings of the Eurographics workshop in Stuttgart, Germany, May 16-18, 2001. : May 2001, Stuttgart, Germany. (Eurographics) (Springer Computer Science)

Immersive projection technology and virtual environments 2001 : proceedings of the Eurographics workshop in Stuttgart, Germany, May 16-18, 2001. : May 2001, Stuttgart, Germany. (Eurographics) (Springer Computer Science)
紙図書
Springerc2001.<M17-03-813>
国立国会図書館

Digest of papers / Compcon ... Annual IEEE Computer Society International Conference.

Digest of papers / Compcon ... Annual IEEE Computer Society International Conference.
紙図書
IEEE Computer Societyc1972-c1996.<M154-78>
国立国会図書館

Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings

Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings
紙図書
Roderick Bloem, Eli Arbel (eds.)Springerc2016
全国の図書館

Hardware and software : verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings

Hardware and software : verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings
紙図書
Hana Chockler, Alan J. Hu (eds.)Springerc2009
全国の図書館

Hardware and software, verification and testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings : pbk

Hardware and software, verification and testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings : pbk
紙図書
Karen Yorav (ed.)Springerc2008
全国の図書館

Haptic and audio interaction design : Third International Workshop, HAID 2008 Jyväskylä, Finland, September 15-16, 2008 : proceedings

Haptic and audio interaction design : Third International Workshop, HAID 2008 Jyväskylä, Finland, September 15-16, 2008 : proceedings
紙図書
Antti Pirhonen, Stephen Brewster (eds.)Springerc2008
全国の図書館

Haptic and audio interaction design : Second International Workshop, HAID 2007 Seoul, South Korea, November 29-30, 2007 : proceedings

Haptic and audio interaction design : Second International Workshop, HAID 2007 Seoul, South Korea, November 29-30, 2007 : proceedings
紙図書
Ian Oakley, Stephen Brewster (eds.)Springerc2007
全国の図書館

Rendering, visualization and rasterization hardware : us : gw

Rendering, visualization and rasterization hardware : us : gw
紙図書
A. Kaufman (ed.)Springer-Verlagc1993
全国の図書館

Input/output in parallel and distributed computer systems

Input/output in parallel and distributed computer systems
紙図書
edited by Ravi Jain, John Werth, James C. BrowneKluwer Academic Publishers1996
全国の図書館