Jump to main content

yr 〜
yr

Search results 6

Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)

Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)
Paper図書
Springerc2013.<M17-14-137>
National Diet Library
  • Author HeadingCAV (Conference) (25th : 2013 : Saint Petersburg, Russia) Sharygina, Natasha. Veith, Helmut.

Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008 : Doha, Qatar, November 22-27, 2008 : proceedings. : Nov 2008, Doha, Qatar. (Lecture Notes in Computer Science ; 5330. Lecture Notes in Artificial Intelligence)

Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008 : Doha, Qatar, November 22-27, 2008 : proceedings. : Nov 2008, Doha, Qatar. (Lecture Notes in Computer Science ; 5330. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2008.<M17-10-536>
National Diet Library
  • Author HeadingCervesato, Iliano. Veith, Helmut. Voronkov, A. (Andreĭ) , 1959-...

Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23 - 27, 2010, proceedings

Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23 - 27, 2010, proceedings
Paper図書
Anuj Dawar, Helmut Veith (eds.)Springerc2010
Other Libraries in Japan

25 years of model checking : history, achievements, perspectives

25 years of model checking : history, achievements, perspectives
Paper図書
Orna Grumberg, Helmut Veith (eds.)Springerc2008
Other Libraries in Japan

Logic for programming, aritficial intelligence, and reasoning : 15th International Conference, LPAR 2008 Doha, Qatar, November 22-27, 2008 : proceedings

Logic for programming, aritficial intelligence, and reasoning : 15th International Conference, LPAR 2008 Doha, Qatar, November 22-27, 2008 : proceedings
Paper図書
Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)Springerc2008
Other Libraries in Japan

ZUM SPANNUNGS-DEHNUNGS-VERHALTEN VON BAUSTÄHLEN BEI WECHSELBEANSPRUCHUNG

ZUM SPANNUNGS-DEHNUNGS-VERHALTEN VON BAUSTÄHLEN BEI WECHSELBEANSPRUCHUNG
Paper博士論文
Veith, Helmut.Technische Universität Berlin1971.<M-DIGBE-649>
National Diet Library
  • Author HeadingVeith, Helmut.

Reached to the end of result.

RSS