yr 〜
yr

Search results 14

Embedded computer systems: architectures, modeling, and simulation : 9th international workshop, SAMOS 2009 : Samos, Greece, July 20-23, 2009 : proceedings. : SAMOS conference : SAMOS 9 : Jul 2009, ------. (Lecture Notes in Computer Science ; 5657)

Embedded computer systems: architectures, modeling, and simulation : 9th international workshop, SAMOS 2009 : Samos, Greece, July 20-23, 2009 : proceedings. : SAMOS conference : SAMOS 9 : Jul 2009, ------. (Lecture Notes in Computer Science ; 5657)
Paper図書
Springerc2009.<M17-10-2367>
National Diet Library
  • Subject Heading...erarchitektur. Eingebettetes System. Hardwareentwurf. Rekonfigurat...

Software technologies for embedded and ubiquitous systems : 7th IFIP WG 10.2 international workshop, SEUS 2009 : Newport Beach, CA, USA, November 16-18, 2009 : proceedings. : 7th IFIP workshop on software technologies for future embedded and ubiquitous systems : Nov 2009, Newport Beach, CA. (Lecture Notes in Computer Science ; 5860)

Software technologies for embedded and ubiquitous systems : 7th IFIP WG 10.2 international workshop, SEUS 2009 : Newport Beach, CA, USA, November 16-18, 2009 : proceedings. : 7th IFIP workshop on software technologies for future embedded and ubiquitous systems : Nov 2009, Newport Beach, CA. (Lecture Notes in Computer Science ; 5860)
Paper図書
Springerc2009.<M17-10-1773>
National Diet Library
  • Subject Heading...chtzeitsystem. Eingebettetes System. Funktechnik. Leistungsbewertu...

Cryptographic hardware and embedded systems -- CHES 2009 : 11th international workshop : Lausanne, Switzerland, September 6-9, 2009 : proceedings. : Sep 2009, Lausanne, Switzerland. (Lecture Notes in Computer Science ; 5747)

Cryptographic hardware and embedded systems -- CHES 2009 : 11th international workshop : Lausanne, Switzerland, September 6-9, 2009 : proceedings. : Sep 2009, Lausanne, Switzerland. (Lecture Notes in Computer Science ; 5747)
Paper図書
Springerc2009.<M17-10-1919>
National Diet Library
  • Subject Heading...ausanne <2009> Eingebettetes System. Hardwareentwurf. Kryptologie....

Cryptographic hardware and embedded systems -- CHES 2010 : 12th international workshop : Santa Barbara, USA, August 17-20, 2010 : proceedings. : Aug 2010, Santa Barbara, CA. (Lecture Notes in Computer Science ; 6225)

Cryptographic hardware and embedded systems -- CHES 2010 : 12th international workshop : Santa Barbara, USA, August 17-20, 2010 : proceedings. : Aug 2010, Santa Barbara, CA. (Lecture Notes in Computer Science ; 6225)
Paper図書
Springerc2010.<M17-10-4286>
National Diet Library
  • Subject Heading...-- Congresses. Eingebettetes System. Hardwareentwurf. Kryptologie....

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

Architecture of computing systems -- ARCS 2014 : 27th international conference : Lübeck, Germany, February 25-28, 2014 : proceedings : Feb 2014, Lübeck, Germany. (Lecture Notes in Computer Science ; 8350)

Architecture of computing systems -- ARCS 2014 : 27th international conference : Lübeck, Germany, February 25-28, 2014 : proceedings : Feb 2014, Lübeck, Germany. (Lecture Notes in Computer Science ; 8350)
Paper図書
Springerc2014.<M17-14-1776>
National Diet Library
  • Subject Heading...erarchitektur. Eingebettetes System. Field programmable gate array...

Architecture of computing systems -- ARCS 2010 : 23rd international conference : Hannover, Germany, February 22-25, 2010 : proceedings. : Feb 2010, Hannover, Germany. (Lecture Notes in Computer Science ; 5974)

Architecture of computing systems -- ARCS 2010 : 23rd international conference : Hannover, Germany, February 22-25, 2010 : proceedings. : Feb 2010, Hannover, Germany. (Lecture Notes in Computer Science ; 5974)
Paper図書
Springerc2010.<M17-10-3112>
National Diet Library
  • Subject Heading...erarchitektur. Eingebettetes System. Energieeffizienz. Mehrprozess...

Architecture of computing systems -- ARCS 2011 : 24th international conference : Como, Italy, February 24-25, 2011 : proceedings. : Feb 2011, Como, Italy. (Lecture Notes in Computer Science ; 6566)

Architecture of computing systems -- ARCS 2011 : 24th international conference : Como, Italy, February 24-25, 2011 : proceedings. : Feb 2011, Como, Italy. (Lecture Notes in Computer Science ; 6566)
Paper図書
Springerc2011.<M17-11-1918>
National Diet Library
  • Subject Heading...ystem-on-Chip. Eingebettetes System. Adaptives System. Kontextbezo...

Automated technology for verification and analysis : 7th international symposium, ATVA 2009 : Macao, China, October 14-16, 2009 : proceedings. : ATVA conferences : Oct 2009, Macao, China. (Lecture Notes in Computer Science ; 5799)

Automated technology for verification and analysis : 7th international symposium, ATVA 2009 : Macao, China, October 14-16, 2009 : proceedings. : ATVA conferences : Oct 2009, Macao, China. (Lecture Notes in Computer Science ; 5799)
Paper図書
Springerc2009.<M17-10-1261>
National Diet Library

Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009 : Hamburg, Germany, September 15-18, 2009 : proceedings. : Sep 2009, Hamburg, Germany. (Lecture Notes in Computer Science ; 5775)

Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009 : Hamburg, Germany, September 15-18, 2009 : proceedings. : Sep 2009, Hamburg, Germany. (Lecture Notes in Computer Science ; 5775)
Paper図書
Springerc2009.<M17-10-1921>
National Diet Library
  • Subject Heading...atensicherung. Eingebettetes System. Fehlertoleranz. Formale Metho...

Identity and privacy in the internet age : 14th Nordic conference on secure IT systems, NordSec 2009 : Oslo, Norway, 14-16 October 2009 : proceedings. : Oct 2009, Oslo, Norway. (Lecture Notes in Computer Science ; 5838)

Identity and privacy in the internet age : 14th Nordic conference on secure IT systems, NordSec 2009 : Oslo, Norway, 14-16 October 2009 : proceedings. : Oct 2009, Oslo, Norway. (Lecture Notes in Computer Science ; 5838)
Paper図書
Springerc2009.<M17-10-1259>
National Diet Library

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008 : L'Aquila, Italy, September 15-16, 2008 : revised selected papers. : Sep 2008, L'Aquila, Italy. (Lecture Notes in Computer Science ; 5596)

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008 : L'Aquila, Italy, September 15-16, 2008 : revised selected papers. : Sep 2008, L'Aquila, Italy. (Lecture Notes in Computer Science ; 5596)
Paper図書
Springerc2009.<M17-10-1593>
National Diet Library

Cyber-physical systems : Innovation durch softwareintensive eingebettete systeme

Cyber-physical systems : Innovation durch softwareintensive eingebettete systeme
Paper図書
Manfred BroySpringer-Verlagc2010
Other Libraries in Japan

Security engineering for vehicular IT systems : improving the trustworthiness and dependability of automotive IT applications 1. ed

Security engineering for vehicular IT systems : improving the trustworthiness and dependability of automotive IT applications 1. ed
Paper図書
Marko WolfVieweg + Teubner2009
Other Libraries in Japan

Reached to the end of result.