本文に飛ぶ

年 〜
年

検索結果 57 件

Formal methods for eternal networked software systems : 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011 : Bertinoro, Italy, June 13-18, 2011 : advanced lectures. : Jun 2011, Bertinoro, Italy. (Lecture Notes in Computer Science ; 6659. Tutorial)

Formal methods for eternal networked software systems : 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011 : Bertinoro, Italy, June 13-18, 2011 : advanced lectures. : Jun 2011, Bertinoro, Italy. (Lecture Notes in Computer Science ; 6659. Tutorial)
紙図書
Springerc2011.<M17-11-3208>
国立国会図書館

2013 IEEE international symposium on hardware-oriented security and trust : (HOST 2013) : Austin, Texas, USA : 2-3 June 2013 : HOST meeting : Jun 2013, Austin, TX.

2013 IEEE international symposium on hardware-oriented security and trust : (HOST 2013) : Austin, Texas, USA : 2-3 June 2013 : HOST meeting : Jun 2013, Austin, TX.
紙図書
IEEEc2013.<M17-14-1004>
国立国会図書館
  • 件名...n--Congresses. Integrated circuits--Verification--Congresses. Computer security--Congresses...

2016 IEEE international symposium on hardware oriented security and trust : (HOST 2016) : McLean, Virginia, USA : 3-5 May 2016 : 2016 IEEE international symposium on hardware-oriented security and trust : May 2016, McLean, VA.

2016 IEEE international symposium on hardware oriented security and trust : (HOST 2016) : McLean, Virginia, USA : 3-5 May 2016 : 2016 IEEE international symposium on hardware-oriented security and trust : May 2016, McLean, VA.
紙図書
IEEE[2016]<M17-17-2437>
国立国会図書館
  • 件名...n--Congresses. Integrated circuits--Verification--Congresses. Computer security--Congresses...

Formal methods for computational systems biology : 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 : Bertinoro, Italy, June 2-7, 2008 : advanced lectures. : Jun 2008, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5016. Tutorial)

Formal methods for computational systems biology : 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 : Bertinoro, Italy, June 2-7, 2008 : advanced lectures. : Jun 2008, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5016. Tutorial)
紙図書
Springerc2008.<M17-08-1785>
国立国会図書館

2015 IEEE international symposium on hardware oriented security and trust : (HOST 2015) : Washington, DC, USA : 5-7 May 2015 : 2015 IEEE international symposium on hardware-oriented security and trust : May 2015, Washington, DC.

2015 IEEE international symposium on hardware oriented security and trust : (HOST 2015) : Washington, DC, USA : 5-7 May 2015 : 2015 IEEE international symposium on hardware-oriented security and trust : May 2015, Washington, DC.
紙図書
IEEE[2015]<M17-17-1097>
国立国会図書館
  • 件名...n--Congresses. Integrated circuits--Verification--Congresses. Computer security--Congresses...

Formal methods for performance evaluation : 7th international school on formal methods for the design of computer, communication and software systems, SFM 2007 : Bertinoro, Italy, May 28-June 2, 2007 : advanced lectures. : May 2007, Bertinoro, Italy. (Lecture Notes in Computer Science ; 4486. Tutorial)

Formal methods for performance evaluation : 7th international school on formal methods for the design of computer, communication and software systems, SFM 2007 : Bertinoro, Italy, May 28-June 2, 2007 : advanced lectures. : May 2007, Bertinoro, Italy. (Lecture Notes in Computer Science ; 4486. Tutorial)
紙図書
Springerc2007.<M17-07-2107>
国立国会図書館

Computer aided verification : 19th international conference, CAV 2007 : Berlin, Germany, July 3-7, 2007 : proceedings. : Jul 2007, Berlin, Germany. (Lecture Notes in Computer Science ; 4590)

Computer aided verification : 19th international conference, CAV 2007 : Berlin, Germany, July 3-7, 2007 : proceedings. : Jul 2007, Berlin, Germany. (Lecture Notes in Computer Science ; 4590)
紙図書
Springerc2007.<M17-07-2815>
国立国会図書館

2013 14th international workshop on microprocessor test and verification : (MTV 2013) : Austin, Texas, USA : 11-13 December 2013 : MTV forum : Dec 2013, Austin, TX.

2013 14th international workshop on microprocessor test and verification : (MTV 2013) : Austin, Texas, USA : 11-13 December 2013 : MTV forum : Dec 2013, Austin, TX.
紙図書
IEEE[2013]<M17-15-2965>
国立国会図書館
  • 件名...g--Congresses. Integrated circuits--Verification--Congresses. Integrated circuits--Testing-...

2014 IEEE international symposium on hardware-oriented security and trust : (HOST 2014) : Arlington, Virginia, USA : 6-7 May 2014 : May 2014, Arlington, VA.

2014 IEEE international symposium on hardware-oriented security and trust : (HOST 2014) : Arlington, Virginia, USA : 6-7 May 2014 : May 2014, Arlington, VA.
紙図書
IEEE[2014]<M17-15-2065>
国立国会図書館
  • 件名...n--Congresses. Integrated circuits--Verification--Congresses.

2012 IEEE international symposium on hardware-oriented security and trust : (HOST 2012) : San Francisco, California, USA : 3-4 June 2012 : HOST meeting : Jun 2012, San Francisco, CA.

2012 IEEE international symposium on hardware-oriented security and trust : (HOST 2012) : San Francisco, California, USA : 3-4 June 2012 : HOST meeting : Jun 2012, San Francisco, CA.
紙図書
IEEEc2012.<M17-13-319>
国立国会図書館
  • 件名...n--Congresses. Integrated circuits--Verification--Congresses. Computer security--Congresses...

2016 IEEE international high level design validation and test workshop (HLDVT 2016) : Santa Cruz, California, USA : 7-8 October 2016 : 18th IEEE international high level design validation and test workshop : Oct 2016, Santa Cruz, CA.

2016 IEEE international high level design validation and test workshop (HLDVT 2016) : Santa Cruz, California, USA : 7-8 October 2016 : 18th IEEE international high level design validation and test workshop : Oct 2016, Santa Cruz, CA.
紙図書
IEEE[2016]<M17-18-888>
国立国会図書館
  • 件名...n--Congresses. Integrated circuits--Verification--Congresses. Electronic Digital Computers-...

Formal methods for hardware verification : 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006 : Bertinoro, Italy, May 22-27, 2006 : advanced lectures. : May 2006, Bertinoro, Italy. (Lecture Notes in Computer Science ; 3965. Tutorial)

Formal methods for hardware verification : 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006 : Bertinoro, Italy, May 22-27, 2006 : advanced lectures. : May 2006, Bertinoro, Italy. (Lecture Notes in Computer Science ; 3965. Tutorial)
紙図書
Springerc2006.<M17-06-2256>
国立国会図書館

2012 13th international workshop on microprocessor test and verification : (MTV 2012) : Austin, Texas, USA : 10-13 December 2012 : MTV forum : MTV events : MTV2012 : Dec 2012, Austin, TX. E4877

2012 13th international workshop on microprocessor test and verification : (MTV 2012) : Austin, Texas, USA : 10-13 December 2012 : MTV forum : MTV events : MTV2012 : Dec 2012, Austin, TX. E4877
紙図書
IEEEc2012.<M17-14-272>
国立国会図書館
  • 件名...g--Congresses. Integrated circuits--Verification--Congresses. Integrated circuits--Testing-...

Computer aided verification : 18th international conference, CAV 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : federated logic conference (FLoC 2006) : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4144)

Computer aided verification : 18th international conference, CAV 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : federated logic conference (FLoC 2006) : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4144)
紙図書
Springerc2006.<M17-07-171>
国立国会図書館

Computer aided verification : 21st international conference, CAV 2009 : Grenoble, France, June 26-July 2, 2009 : proceedings. : 21st international conference on computer-aided verification : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5643)

Computer aided verification : 21st international conference, CAV 2009 : Grenoble, France, June 26-July 2, 2009 : proceedings. : 21st international conference on computer-aided verification : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5643)
紙図書
Springerc2009.<M17-10-1485>
国立国会図書館

2012 formal methods in computer-aided design : (FMCAD 2012) : Cambridge, United Kingdom : 22-25 October 2012 : international conference on formal methods in computer-aided design : 12th conference on formal methods in computer-aided design : Oct 2012, Cambridge, UK.

2012 formal methods in computer-aided design : (FMCAD 2012) : Cambridge, United Kingdom : 22-25 October 2012 : international conference on formal methods in computer-aided design : 12th conference on formal methods in computer-aided design : Oct 2012, Cambridge, UK.
紙図書
IEEEc2012.<M17-13-3179>
国立国会図書館
  • 件名...n--Congresses. Integrated circuits--Verification--Congresses. Computer-aided design--Congre...

2011 IEEE international symposium on hardware-oriented security and trust : (HOST 2011) : San Diego, California, USA : 5-6 June 2011 : 2011 IEEE international symposium on hardware- oriented security and trust : HOST meeting : Jun 2011, San Diego CA.

2011 IEEE international symposium on hardware-oriented security and trust : (HOST 2011) : San Diego, California, USA : 5-6 June 2011 : 2011 IEEE international symposium on hardware- oriented security and trust : HOST meeting : Jun 2011, San Diego CA.
紙図書
IEEEc2011.<M17-12-1443>
国立国会図書館
  • 件名...n--Congresses. Integrated circuits--Verification--Congresses. Computer security--Congresses...

2014 formal methods in computer-aided design : (FMCAD 2014) : Lausanne, Switzerland : 21-24 October 2014 : international conference on formal methods in computer-aided design : FMCAD 2014 graduate student forum : Oct 2014, Lausanne, Switzerland.

2014 formal methods in computer-aided design : (FMCAD 2014) : Lausanne, Switzerland : 21-24 October 2014 : international conference on formal methods in computer-aided design : FMCAD 2014 graduate student forum : Oct 2014, Lausanne, Switzerland.
紙図書
IEEE[2014]<M17-16-1394>
国立国会図書館
  • 件名...n--Congresses. Integrated circuits--Verification--Congresses. Formal methods (Computer scie...

2010 IEEE international symposium on hardware-oriented security and trust : (HOST 2010) : Anaheim, California, USA : 13-14 June 2010. : HOST meeting : Jun 2010, Anaheim, CA.

2010 IEEE international symposium on hardware-oriented security and trust : (HOST 2010) : Anaheim, California, USA : 13-14 June 2010. : HOST meeting : Jun 2010, Anaheim, CA.
紙図書
IEEEc2010.<M17-11-1656>
国立国会図書館

2010 11th international workshop on microprocessor test and verification : (MTV 2010) : Austin, Texas, USA : 13-15 December 2010 : MTV forum : MTV events : Dec 2010, Austin, TX.

2010 11th international workshop on microprocessor test and verification : (MTV 2010) : Austin, Texas, USA : 13-15 December 2010 : MTV forum : MTV events : Dec 2010, Austin, TX.
紙図書
IEEEc2010.<M17-12-3268>
国立国会図書館
  • 件名...g--Congresses. Integrated circuits--Verification--Congresses. Systems on a chip--Testing--C...
RSS