yr 〜
yr

Search results 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.
Paper図書
IEEE[2016]<M17-17-2438>
National Diet Library

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.
Paper図書
IEEEc2012.<M17-13-2599>
National Diet Library

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
Paper図書
IEEE[2015]<M17-17-1099>
National Diet Library

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
Paper図書
IEEE[2014]<M17-15-2069>
National Diet Library

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.
Paper図書
IEEEc2008.<M17-11-2819>
National Diet Library
  • Subject Heading...-- Congresses. Computer input-output equipment -- Congresses. Software engineering -- Cong...

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)
Paper図書
Springerc2009.<M17-10-91>
National Diet Library
  • Subject Heading...-- Congresses. Computer input-output equipment -- Congresses. Computer software -- Verific...

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)
Paper図書
Springerc2006.<M17-06-2254>
National Diet Library
  • Subject Heading...-- Congresses. Computer input-output equipment -- Congresses.

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)
Paper図書
Springerc2011.<M17-11-2041>
National Diet Library
  • Subject Heading...-- Congresses. Computer input-output equipment -- Congresses. Computer software -- Verific...

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)
Paper図書
Springerc2008.<M17-08-939>
National Diet Library
  • Subject Heading...-- Congresses. Computer input-output equipment -- Congresses. Computer software -- Verific...

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.
Paper図書
IEEE Computer Societyc2005.<M17-06-2499>
National Diet Library
  • Subject Heading...-- Congresses. Computer input-output equipment -- Congresses. Software engineering. -- Con...

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)
Paper図書
Springerc2007.<M17-07-1191>
National Diet Library
  • Subject Heading...-- Congresses. Computer input-output equipment -- Congresses. Computer software -- Verific...

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)
Paper図書
Springerc2001.<M17-03-813>
National Diet Library
  • Subject Heading...-- Congresses. Computer input-output equipment -- Congresses.

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

Digest of papers / Compcon ... Annual IEEE Computer Society International Conference.
Paper図書
IEEE Computer Societyc1972-c1996.<M154-78>
National Diet Library
  • Subject Heading...-- Congresses. Computer input-output equipment -- Congresses. Data transmission systems --...

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
Paper図書
Roderick Bloem, Eli Arbel (eds.)Springerc2016
Other Libraries in Japan
  • Subject Heading... -- Congresses Computer input-output equipment -- Congresses Computer software -- Verifica...
  • Subject Heading (ID)... -- Congresses Computer input-output equipment -- Congresses Computer software -- Verifica...

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
Paper図書
Hana Chockler, Alan J. Hu (eds.)Springerc2009
Other Libraries in Japan
  • Subject Heading... -- Congresses Computer input-output equipment -- Congresses Computer software -- Verifica...
  • Subject Heading (ID)... -- Congresses Computer input-output equipment -- Congresses Computer software -- Verifica...

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
Paper図書
Karen Yorav (ed.)Springerc2008
Other Libraries in Japan
  • Subject Heading... -- Congresses Computer input-output equipment -- Congresses Computer software -- Verifica...
  • Subject Heading (ID)... -- Congresses Computer input-output equipment -- Congresses Computer software -- Verifica...

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
Paper図書
Antti Pirhonen, Stephen Brewster (eds.)Springerc2008
Other Libraries in Japan
  • Subject Heading... -- Congresses Computer input-output equipment -- Congresses Touch -- Congresses Sound -- ...
  • Subject Heading (ID)... -- Congresses Computer input-output equipment -- Congresses Touch -- Congresses Sound -- ...

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
Paper図書
Ian Oakley, Stephen Brewster (eds.)Springerc2007
Other Libraries in Japan
  • Subject Heading... -- Congresses Computer input-output equipment -- Congresses Touch -- Congresses Sound -- ...
  • Subject Heading (ID)... -- Congresses Computer input-output equipment -- Congresses Touch -- Congresses Sound -- ...

Rendering, visualization and rasterization hardware : us : gw

Rendering, visualization and rasterization hardware : us : gw
Paper図書
A. Kaufman (ed.)Springer-Verlagc1993
Other Libraries in Japan
  • Subject HeadingComputer graphics -- Congresses Computer input-output equipment -- Congresses
  • Subject Heading (ID)Computer graphics -- Congresses Computer input-output equipment -- Congresses

Input/output in parallel and distributed computer systems

Input/output in parallel and distributed computer systems
Paper図書
edited by Ravi Jain, John Werth, James C. BrowneKluwer Academic Publishers1996
Other Libraries in Japan
  • Subject Heading... -- Congresses Computer input-output equipment -- Congresses
  • Subject Heading (ID)... -- Congresses Computer input-output equipment -- Congresses