Jump to main content

yr 〜
yr

Search results 198

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India. (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 : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)
Paper図書
Springer[2015]<M17-15-1660>
National Diet Library

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

Computer aided verification : 24th international conference, CAV 2012 : Berkeley, CA, USA, July 7-13, 2012 : proceedings : 24th international conference on computer-aided verification : Jul 2012, Berkeley, CA. (Lecture Notes in Computer Science ; 7358)
Paper図書
Springerc2012.<M17-13-561>
National Diet Library

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 : federated logic conference (FLoC) : CAV workshops : Jul 2014, Vienna, Austria. (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 : federated logic conference (FLoC) : CAV workshops : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8559)
Paper図書
Springer[2014]<M17-15-1518>
National Diet Library

Verification, model checking, and abstract interpretation : 15th international conference, VMCAI 2014 : San Diego, CA, USA, January 19-21, 2014 : proceedings : Jan 2014, San Diego, CA. (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 : Jan 2014, San Diego, CA. (Lecture Notes in Computer Science ; 8318. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-1756>
National Diet Library

Theory and applications of satisfiability testing -- SAT 2013 : 16th international conference : Helsinki, Finland, July 8-12, 2013 : proceedings : Jul 2013, Helsinki, Finland. (Lecture Notes in Computer Science ; 7962)

Theory and applications of satisfiability testing -- SAT 2013 : 16th international conference : Helsinki, Finland, July 8-12, 2013 : proceedings : Jul 2013, Helsinki, Finland. (Lecture Notes in Computer Science ; 7962)
Paper図書
Springerc2013.<M17-14-553>
National Diet Library

Verification, model checking, and abstract interpretation : 14th international conference, VMCAI 2013 : Rome, Italy, January 20-22, 2013 : proceedings : Jan 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7737. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 14th international conference, VMCAI 2013 : Rome, Italy, January 20-22, 2013 : proceedings : Jan 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7737. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-13-2103>
National Diet Library

Model checking software : 20th international symposium, SPIN 2013 : Stony Brook, NY, USA, July 8-9, 2013 : proceedings : SPIN workshop : Jul 2013, Stony Brook, NY. (Lecture Notes in Computer Science ; 7976)

Model checking software : 20th international symposium, SPIN 2013 : Stony Brook, NY, USA, July 8-9, 2013 : proceedings : SPIN workshop : Jul 2013, Stony Brook, NY. (Lecture Notes in Computer Science ; 7976)
Paper図書
Springerc2013.<M17-14-557>
National Diet Library

Theory and applications of satisfiability testing--SAT 2015 : 18th international conference : Austin, TX, USA, September 24-27, 2015 : proceedings : Sep 2015, Austin, TX. (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 : Sep 2015, Austin, TX. (Lecture Notes in Computer Science ; 9340)
Paper図書
Springer[2015]<M17-16-763>
National Diet Library

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

Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings : 27th international conference on computer-aided verification : Jul 2015, San Francisco, CA. (Lecture Notes in Computer Science ; 9206-9207)
Paper図書
Springer[2015]<M17-16-504>
National Diet Library

Tools for practical software verification : LASER, international summer school 2011 : Elba Island, Italy : revised tutorial lectures : 8th LASER summer school on software engineering: tools for practical software verification : Sep 2011, ------. (Lecture Notes in Computer Science ; 7682. Tutorial)

Tools for practical software verification : LASER, international summer school 2011 : Elba Island, Italy : revised tutorial lectures : 8th LASER summer school on software engineering: tools for practical software verification : Sep 2011, ------. (Lecture Notes in Computer Science ; 7682. Tutorial)
Paper図書
Springerc2012.<M17-13-1522>
National Diet Library

Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8413. Advanced Research in Computing and Software Science)

Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8413. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-2140>
National Diet Library

Software safety and security : tools for analysis and verification : NATO Advanced Study Institute on tools for analysis and verification of software safety and security : Marktoberdorf PhD summer school : Aug 2011, Bayrischzell, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 33)

Software safety and security : tools for analysis and verification : NATO Advanced Study Institute on tools for analysis and verification of software safety and security : Marktoberdorf PhD summer school : Aug 2011, Bayrischzell, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 33)
Paper図書
IOS Pressc2012.<M17-13-420>
National Diet Library

Model checking software : 18th international SPIN workshop : Snowbird, UT, USA, July 14-15, 2011 : proceedings : Jul 2011, Snowbird, UT. (Lecture Notes in Computer Science ; 6823)

Model checking software : 18th international SPIN workshop : Snowbird, UT, USA, July 14-15, 2011 : proceedings : Jul 2011, Snowbird, UT. (Lecture Notes in Computer Science ; 6823)
Paper図書
Springerc2011.<M17-12-56>
National Diet Library

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 : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (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 : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8561)
Paper図書
Springer[2014]<M17-15-1591>
National Diet Library

Tools and algorithms for the construction and analysis of systems : 19th international conference, TACAS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : 16th European joint conference on theory and practice of software : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7795. Advanced Research in Computing and Software Science)

Tools and algorithms for the construction and analysis of systems : 19th international conference, TACAS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : 16th European joint conference on theory and practice of software : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7795. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-13-2122>
National Diet Library

Model checking and artificial intelligence : 6th international workshop, MoChArt 2010 : Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers. : Jul 2010, Atlanta, GA. (Lecture Notes in Computer Science ; 6572. Lecture Notes in Artificial Intelligence)

Model checking and artificial intelligence : 6th international workshop, MoChArt 2010 : Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers. : Jul 2010, Atlanta, GA. (Lecture Notes in Computer Science ; 6572. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-11-2291>
National Diet Library
  • Subject HeadingComputer software -- Verification -- Congresses. Artificial intelligence -- C...

E-voting and identity : 4th international conference, Vote-ID 2013 : Guildford, UK, July 17-19, 2013 : proceedings : Jul 2013, Guildford, UK. (Lecture Notes in Computer Science ; 7985)

E-voting and identity : 4th international conference, Vote-ID 2013 : Guildford, UK, July 17-19, 2013 : proceedings : Jul 2013, Guildford, UK. (Lecture Notes in Computer Science ; 7985)
Paper図書
Springerc2013.<M17-14-569>
National Diet Library

Formal methods and software engineering : 15th international conference on formal engineering methods, ICFEM 2013 : Queenstown, New Zealand, October 29-November 1, 2013 : proceedings : Oct 2013, Queenstown, New Zealand. (Lecture Notes in Computer Science ; 8144)

Formal methods and software engineering : 15th international conference on formal engineering methods, ICFEM 2013 : Queenstown, New Zealand, October 29-November 1, 2013 : proceedings : Oct 2013, Queenstown, New Zealand. (Lecture Notes in Computer Science ; 8144)
Paper図書
Springerc2013.<M17-14-760>
National Diet Library

Runtime verification : 5th international conference, RV 2014 : Toronto, ON, Canada, September 22-25, 2014 : proceedings : Sep 2014, Toronto, Canada. (Lecture Notes in Computer Science ; 8734)

Runtime verification : 5th international conference, RV 2014 : Toronto, ON, Canada, September 22-25, 2014 : proceedings : Sep 2014, Toronto, Canada. (Lecture Notes in Computer Science ; 8734)
Paper図書
Springer[2014]<M17-15-738>
National Diet Library

Verified software: theories, tools, experiments : 5th international conference, VSTTE 2013 : Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers : 5th international conference on verified software: theories, tool and experiments (VSTTE) : May 2013, Menlo Park, CA. (Lecture Notes in Computer Science ; 8164)

Verified software: theories, tools, experiments : 5th international conference, VSTTE 2013 : Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers : 5th international conference on verified software: theories, tool and experiments (VSTTE) : May 2013, Menlo Park, CA. (Lecture Notes in Computer Science ; 8164)
Paper図書
Springerc2014.<M17-14-1741>
National Diet Library
RSS