前のページに戻る
この文献は全文を取り寄せることができます
JDreamⅢ複写サービスから文献全文の複写（冊子体のコピー）をお申込みできます。
ご利用には、G-Searchデータベースサービスまたは、JDreamⅢのIDが必要です。
ご利用には、G-Searchデータベースサービスまたは、JDreamⅢのIDが必要です。
既に、G-Searchデータベースサービスまたは、JDreamⅢのIDをお持ちの方
JDreamⅢ複写サービスのご利用が初めての方
取り寄せる文献のタイトルと詳細
文献
J-GLOBAL ID：201802280367113552
整理番号：18A0650388
ストリング操作関数を含むプログラムのための自動化ストリング制約解法【JST・京大機械翻訳】
Automated String Constraints Solving for Programs Containing String Manipulation Functions
Xu-Zhou Zhang
(STATE KEY LABORATORY OF NETWORKING AND SWITCHING TECHNOLOGY, BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS BEIJING 100876, CHINA)
,
Yun-Zhan Gong
(STATE KEY LABORATORY OF NETWORKING AND SWITCHING TECHNOLOGY, BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS BEIJING 100876, CHINA)
,
Ya-Wen Wang
(STATE KEY LABORATORY OF NETWORKING AND SWITCHING TECHNOLOGY, BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS BEIJING 100876, CHINA)
,
Ying Xing
(AUTOMATION SCHOOL, BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS, BEIJING 100876, CHINA)
,
Ming-Zhe Zhang
(STATE KEY LABORATORY OF NETWORKING AND SWITCHING TECHNOLOGY, BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS BEIJING 100876, CHINA)
資料名：
Journal of Computer Science and Technology
(Journal of Computer Science and Technology)
巻： 32 号： 6 ページ： 1125-1135 発行年： 2017年
JST資料番号： W0182A ISSN： 1000-9000 CODEN： JCTEEM 資料種別： 逐次刊行物 (A)
記事区分： 原著論文 発行国： 中国 (CHN) 言語： 英語 (EN)
JDreamⅢ複写サービスとは
JDreamⅢ複写サービスは、学術文献の全文を複写（コピー）して取り寄せできる有料サービスです。インターネットに公開されていない文献や、図書館に収録されていない文献の全文を、オンラインで取り寄せることができます。J-GLOBALの整理番号にも対応しているので、申し込みも簡単にできます。全文の複写（コピー）は郵送またはFAXでお送りします
※ご利用には、G-Searchデータベースサービスまたは、JDreamⅢのIDが必要です
※初めてご利用される方は、JDreamⅢ複写サービスのご案内をご覧ください。
※ご利用には、G-Searchデータベースサービスまたは、JDreamⅢのIDが必要です
※初めてご利用される方は、JDreamⅢ複写サービスのご案内をご覧ください。