前のページに戻る この文献は全文を取り寄せることができます
JDreamⅢ複写サービスから文献全文の複写(冊子体のコピー)をお申込みできます。
ご利用には、G-Searchデータベースサービスまたは、JDreamⅢのIDが必要です。
既に、G-Searchデータベースサービスまたは、JDreamⅢのIDをお持ちの方
JDreamⅢ複写サービスのご利用が初めての方
取り寄せる文献のタイトルと詳細
文献
J-GLOBAL ID:200902265210157773   整理番号:07A0445878

抽象によるビット-ベクトル演算の決定

Deciding Bit-Vector Arithmetic with Abstraction
著者 (6件):
BRYANT Randal E.
(Carnegie Mellon Univ., Pittsburgh)
KROENING Daniel
(ETH Zuerich)
OUAKNINE Joeel
(Oxford Univ. Computing Lab.)
SESHIA Sanjit A.
(Univ. California, Berkeley)
STRICHMAN Ofer
(Technion, Haifa)
BRADY Bryan
(Univ. California, Berkeley)

資料名:
Lecture Notes in Computer Science  (Lecture Notes in Computer Science)

巻: 4424  ページ: 358-372  発行年: 2007年 
JST資料番号: H0078D  ISSN: 0302-9743  資料種別: 会議録 (C)
発行国: ドイツ (DEU)  言語: 英語 (EN)
JDreamⅢ複写サービスとは
JDreamⅢ複写サービスは、学術文献の全文を複写(コピー)して取り寄せできる有料サービスです。インターネットに公開されていない文献や、図書館に収録されていない文献の全文を、オンラインで取り寄せることができます。J-GLOBALの整理番号にも対応しているので、申し込みも簡単にできます。全文の複写(コピー)は郵送またはFAXでお送りします

※ご利用には、G-Searchデータベースサービスまたは、JDreamⅢのIDが必要です
※初めてご利用される方は、JDreamⅢ複写サービスのご案内をご覧ください。