Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motiva
情報処理学会電子図書館サービス終了のお知らせ 平素は当サービスをご利用いただきまして、誠にありがとうございます。 この度、「情報処理学会 電子図書館 サービス」は本サイトを閉鎖しサービスを終了することとなりました。 サービス終了につきまして、下記の通りご案内申し上げます。 何卒ご了承いただきますようお願い申し上げます。 長年のご愛顧誠にありがとうございました。 ■サービス終了日時■ 2013年 4月1日(月) 午前10時 をもって本サイトを終了いたしました。 ■今後について 今後は情報処理学会が運営する、「情報学広場」をご利用ください。 「情報学広場」では、情報処理学会発行の出版物のうち、会誌、論文誌、研究報告、シンポジウム論文集、欧文誌、英文誌の創刊号から最新号までのデータが掲載されています。 情報学広場はこちら 情報学広場の利用方法はこちら 情報処理学会に関するお問い合わせはこちら
チュートリアルシリーズ『ソフトウェア工学の実証的アプローチ』第2回 プログラムの動的解析 公開日: 2012/03/26 | 29 巻 1 号 p. 1_47-1_60 石尾 隆
case-insensitive prefix search: default e.g., sig matches "SIGIR" as well as "signal"exact word search: append dollar sign ($) to word e.g., graph$ matches "graph", but not "graphics"boolean and: separate words by space e.g., codd modelboolean or: connect words by pipe symbol (|) e.g., graph|networkUpdate May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolea
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
