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 石尾 隆
Google Scholar では、さまざまな学術文献を簡単に検索できます。多岐にわたる分野と出典の論説、論文、書籍、要約、法律関係資料をお探しいただけます。
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
ストーリー by mhatta 2007年06月19日 23時30分 Release-Early-Release-Often 部門より O'reilly Radarのエントリで気がついたが、 ここ/.Jでもよく登場するNature Publishingが、 ピアレビューのない科学論文サイトである Nature Precedingsを立ち上げたとのことだ。 時間が永遠のようにかかる等幾つか問題を指摘されることはあるが、 専門家によるピアレビューは現在のところ最も信頼できる論文審査の方法だと言われている。 これに対しNature Precedingsでは、管理者側によるフィルタはあるようだが、投稿から数時間内に Creative Commons Attribution Licenseの下で論文が掲載されるらしい。 評価はネット上の誰からでも受けつけるコメントと投票に任せる方針のようである。 専
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く