本文に飛ぶ

年 〜
年

検索結果 236 件

Computer aided verification : 26th international conference, CAV 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 18-22, 2014 : proceedings. (Lecture Notes in Computer Science ; 8559)

Computer aided verification : 26th international conference, CAV 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 18-22, 2014 : proceedings. (Lecture Notes in Computer Science ; 8559)
紙図書
Springer[2014]<M17-15-1518>
国立国会図書館
  • 件名Computer software--Verification--Congresses. Computer software--Verification.

Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings. (Lecture Notes in Computer Science ; 9206-9207)

Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings. (Lecture Notes in Computer Science ; 9206-9207)
紙図書
Springer[2015]<M17-16-504>
国立国会図書館
  • 件名...n--Congresses. Computer software--Verification.

Theory and applications of satisfiability testing--SAT 2015 : 18th international conference : Austin, TX, USA, September 24-27, 2015 : proceedings. (Lecture Notes in Computer Science ; 9340)

Theory and applications of satisfiability testing--SAT 2015 : 18th international conference : Austin, TX, USA, September 24-27, 2015 : proceedings. (Lecture Notes in Computer Science ; 9340)
紙図書
Springer[2015]<M17-16-763>
国立国会図書館
  • 件名...er algorithms. Computer software--Verification.

Theory and applications of satisfiability testing--SAT 2014 : 17th international conference : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings. (Lecture Notes in Computer Science ; 8561)

Theory and applications of satisfiability testing--SAT 2014 : 17th international conference : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings. (Lecture Notes in Computer Science ; 8561)
紙図書
Springer[2014]<M17-15-1591>
国立国会図書館
  • 件名...er algorithms. Computer software--Verification.

2016 1st IEEE international verification and security workshop (IVSW 2016) : Sant Feliu de Guixols, Spain : 4-6 July 2016.

2016 1st IEEE international verification and security workshop (IVSW 2016) : Sant Feliu de Guixols, Spain : 4-6 July 2016.
紙図書
IEEE[2016]<M17-18-1625>
国立国会図書館
  • 件名...g--Congresses. Computer software--Verification. Electronic apparatus and appl...

E-voting and identity : 5th international conference, VoteID 2015 : Bern, Switzerland, September 2-4, 2015 : proceedings. (Lecture Notes in Computer Science ; 9269)

E-voting and identity : 5th international conference, VoteID 2015 : Bern, Switzerland, September 2-4, 2015 : proceedings. (Lecture Notes in Computer Science ; 9269)
紙図書
Springer[2015]<M17-16-599>
国立国会図書館
  • 件名...n--Congresses. Computer software--Verification. Data encryption (Computer sci...

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)
紙図書
Springer[2015]<M17-15-1660>
国立国会図書館全国の図書館

2016 IEEE international conference on software testing, verification and validation (ICST 2016) : Chicago, Illinois, USA : 11-15 April 2016.

2016 IEEE international conference on software testing, verification and validation (ICST 2016) : Chicago, Illinois, USA : 11-15 April 2016.
紙図書
IEEE[2016]<M17-18-1531>
国立国会図書館
  • 件名...e--Validation. Computer software--Verification.

2016 IEEE ninth international conference on software testing, verification and validation workshops (ICSTW 2016) : Chicago, Illinois, USA : 11-15 April 2016.

2016 IEEE ninth international conference on software testing, verification and validation workshops (ICSTW 2016) : Chicago, Illinois, USA : 11-15 April 2016.
紙図書
IEEE[2016]<M17-18-1530>
国立国会図書館
  • 件名...e--Validation. Computer software--Verification.

Tests and proofs : 9th international conference, TAP 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 22-24, 2015 : proceedings. (Lecture Notes in Computer Science ; 9154)

Tests and proofs : 9th international conference, TAP 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 22-24, 2015 : proceedings. (Lecture Notes in Computer Science ; 9154)
紙図書
Springer[2015]<M17-16-412>
国立国会図書館
  • 件名...ware--Testing. Computer software--Verification. Software engineering.

Computer aided verification : 24th international conference, CAV 2012 : Berkeley, CA, USA, July 7-13, 2012 : proceedings. (Lecture Notes in Computer Science ; 7358)

Computer aided verification : 24th international conference, CAV 2012 : Berkeley, CA, USA, July 7-13, 2012 : proceedings. (Lecture Notes in Computer Science ; 7358)
紙図書
Springerc2012.<M17-13-561>
国立国会図書館全国の図書館

Runtime verification : 6th international conference, RV 2015 : Vienna, Austria, September 22-25, 2015 : proceedings. (Lecture Notes in Computer Science ; 9333)

Runtime verification : 6th international conference, RV 2015 : Vienna, Austria, September 22-25, 2015 : proceedings. (Lecture Notes in Computer Science ; 9333)
紙図書
Springer[2015]<M17-16-759>
国立国会図書館
  • 件名...ware--Testing. Computer software--Verification. Formal methods (Computer scie...

Model checking software : 22nd international symposium, SPIN 2015 : Stellenbosch, South Africa, August 24-26, 2015 : proceedings. (Lecture Notes in Computer Science ; 9232)

Model checking software : 22nd international symposium, SPIN 2015 : Stellenbosch, South Africa, August 24-26, 2015 : proceedings. (Lecture Notes in Computer Science ; 9232)
紙図書
Springer[2015]<M17-16-521>
国立国会図書館
  • 件名...ware--Testing. Computer software--Verification. Software engineering.

Verification, model checking, and abstract interpretation : 15th international conference, VMCAI 2014 : San Diego, CA, USA, January 19-21, 2014 : proceedings. (Lecture Notes in Computer Science ; 8318. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 15th international conference, VMCAI 2014 : San Diego, CA, USA, January 19-21, 2014 : proceedings. (Lecture Notes in Computer Science ; 8318. Advanced Research in Computing and Software Science)
紙図書
Springerc2014.<M17-14-1756>
国立国会図書館

Tests and proofs : 8th international conference, TAP 2014 : held as part of STAF 2014 : York, UK, July 24-25, 2014 : proceedings. (Lecture Notes in Computer Science ; 8570)

Tests and proofs : 8th international conference, TAP 2014 : held as part of STAF 2014 : York, UK, July 24-25, 2014 : proceedings. (Lecture Notes in Computer Science ; 8570)
紙図書
Springer[2014]<M17-15-1251>
国立国会図書館
  • 件名...ware--Testing. Computer software--Verification. Software engineering.

2015 IEEE eighth international conference on software testing, verification and validation workshops : (ICSTW 2015) : Graz, Austria : 13-17 April 2015.

2015 IEEE eighth international conference on software testing, verification and validation workshops : (ICSTW 2015) : Graz, Austria : 13-17 April 2015.
紙図書
IEEE[2015]<M17-17-1595>
国立国会図書館
  • 件名...e--Validation. Computer software--Verification.

Verified software: theories, tools and experiments : 6th international conference, VSTTE 2014 : Vienna, Austria, July 17-18, 2014 : revised selected papers. (Lecture Notes in Computer Science ; 8471)

Verified software: theories, tools and experiments : 6th international conference, VSTTE 2014 : Vienna, Austria, July 17-18, 2014 : revised selected papers. (Lecture Notes in Computer Science ; 8471)
紙図書
Springer[2014]<M17-15-1585>
国立国会図書館
  • 件名...ality control. Computer software--Verification.

2015 IEEE 8th international conference on software testing, verification and validation : (ICST 2015) : Graz, Austria : 13-17 April 2015.

2015 IEEE 8th international conference on software testing, verification and validation : (ICST 2015) : Graz, Austria : 13-17 April 2015.
紙図書
IEEE[2015]<M17-17-1596>
国立国会図書館
  • 件名...e--Validation. Computer software--Verification.

Assurances for self-adaptive systems : principles, models, and techniques. (Lecture Notes in Computer Science ; 7740. State-of-the-Art Survey)

Assurances for self-adaptive systems : principles, models, and techniques. (Lecture Notes in Computer Science ; 7740. State-of-the-Art Survey)
紙図書
Springerc2013.<M17-13-1637>
国立国会図書館
  • 件名Self-adaptive software. Computer software--Verification. Adaptive computing systems.

Time for verification : essays in memory of Amir Pnueli / Zohar Manna, Doron A. Peled (eds.). (Lecture notes in computer science ; 6200 ; Festschrift)

Time for verification : essays in memory of Amir Pnueli / Zohar Manna, Doron A. Peled (eds.). (Lecture notes in computer science ; 6200 ; Festschrift)
紙図書
Springerc2010.<X>
国立国会図書館
RSS