コンピューターサイエンス

決定版 コンピュータサイエンス図鑑 ヘレン コールドウェル【中古】 脳に快感 アハ体験！ソニーコンピュータサイエンス研究所 茂木健一郎博士監修／PSP【中古】イラスト図解コンピュ-タの動くしくみ 1冊でわかるコンピュ-タサイエンスの基本 /日東書院本社/音葉哲（単行本（ソフトカバー））【中古】 PSP ソニーコンピュータサイエンス研究所 茂木健一郎博士監修 脳に快感 アハ体験 (20060622)オペレーティングシステム （コンピュータサイエンス教科書シリーズ） 大澤範高【中古】 コンピュータサイエンスのための離散数学 / 守屋 悦朗 / サイエンス社 単行本 【メール便送料無料】【あす楽対応】【中古】 コンピュータサイエンスのための離散数学 / 守屋 悦朗 / サイエンス社 単行本 【宅配便出荷】【中古】決定版コンピュータサイエンス図鑑 /創元社/ヘレン コールドウェル（単行本）【中古】教養としてのコンピューターサイエンス講義 今こそ知っておくべき「デジタル世界」の基礎知識 /日経BP/ブライアン カーニハン（単行本）みんなのコンピュータサイエンス Wladston Ferreira Filhoコンピュータサイエンス 計算を通して世界を観る （サイエンス パレット） 渡辺治【中古】 ソニーコンピュータサイエンス研究所 茂木健一郎博士監修 脳に快感 アハ体験！/PSP/ULJMー05135/A 全年齢対象 / セガ【メール便送料無料】【あす楽対応】【中古】 コンピュータサイエンス入門 / 日向 俊二 / カットシステム 単行本 【メール便送料無料】【あす楽対応】コンパイラ （コンピューターサイエンス ライブラリー） 中田育男【中古】 ソニーコンピュータサイエンス研究所 茂木健一郎博士監修 脳に快感 アハ体験！/PSP/ULJMー05135/A 全年齢対象 / セガ【宅配便出荷】教養のコンピュータサイエンス 情報科学入門 第3版 小舘 香椎子コンピュータサイエンスで学ぶ論理回路とその設計 柴山潔コンパイラ （コンピュータサイエンス教科書シリーズ） 中井央コンピュータサイエンスにおける様相論理 鹿島 亮【中古】離散数学 コンピュ-タサイエンスの基礎数学 /オ-ム社/シ-モア リップシュッツ（単行本）

決定版 コンピュータサイエンス図鑑 [ ヘレン・コールドウェル ]

ショップ 楽天ブックス
価格 ￥2,200 
商品の詳細ページへ(楽天市場)
 

商品の説明

  • ヘレン・コールドウェル クレール・クイグリー 創元社ケッテイバン コンピュータサイエンスズカン ヘレン コールドウェル クレール クイグリー 発行年月：2019年06月27日 予約締切日：2019年03月19日 ページ数：256p サイズ：単行本 ISBN：9784422414201 コールドウェル，ヘレン（Caldwell,Helen） ノーサンプトン大学上級講師。初等教育におけるコンピュータ科学教育を研究し、同大学でカリキュラム・コーディネータと、準修士向けのプログラム・コーディネータを務める。教員養成課程のコンピュータ科学専門部会の一員であり、ICT（情報通信技術）担当教員を訓練する団体の委員も務めている クイグリー，クレール（Quigley,Claire） グラスゴー大学でコンピュータ科学を学び、理学士と博士の学位を取得。ケンブリッジ大学コンピュータ研究所、グラスゴー・サイエンス・センタに勤務している。さらにグラスゴー地域の図書館でSTEM（科学・技術・工学・数学）コーディネータを務めるとともに、英国王立スコットランド音楽院の非常勤講師として音楽教師の卵たちを教えている。また、スコットランドのプログラミング道場の運営にも2012年から関わっている フォスター，パトリ...

    • 【中古】 脳に快感　アハ体験！ソニーコンピュータサイエンス研究所　茂木健一郎博士監修／PSP

    ショップ ブックオフ 楽天市場店
    価格 ￥297 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • PSP販売会社/発売会社：セガ発売年月日：2006/06/22JAN：4974365900182機種：PSP

    • 【中古】イラスト図解コンピュ-タの動くしくみ 1冊でわかるコンピュ-タサイエンスの基本 /日東書院本社/音葉哲（単行本（ソフトカバー））

    ショップ VALUE BOOKS
    価格 ￥315 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • ◆◆◆非常にきれいな状態です。中古商品のため使用感等ある場合がございますが、品質には十分注意して発送いたします。 【毎日発送】 商品状態 著者名 音葉哲、大槻有一郎 出版社名 日東書院本社 発売日 2009年10月 ISBN 9784528019201

    • 【中古】[PSP]ソニーコンピュータサイエンス研究所 茂木健一郎博士監修 脳に快感 アハ体験!(20060622)

    ショップ メディアワールド 販売＆買取SHOP
    価格 ￥470 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 【必ずご確認ください】・こちらは内容物の状態及び動作に問題のない中古商品となります。・外箱やパッケージに経年変化による軽度な擦れや、汚れ等がある場合がございます。・ディスク/カード/カセットには使用に支障のない程度の傷がある場合がございますが、プレイ自体に支障は御座いません。・DLコードやシリアル番号等の保証はございません。・バックアップ電池(レトロゲームのセーブに使われる電池)の保証はございません。【商品説明】--------------------【基本情報】■タイトル:ソニーコンピュータサイエンス研究所 茂木健一郎博士監修 脳に快感 アハ体験!■機種:プレイステーションポータブルソフト(PlayStation PortableGame)■発売日:2006/06/22■メーカー品番:ULJM-05135■JAN/EAN:4974365900182■メーカー:セガゲームス■ジャンル:アハ体験■対象年齢:CERO A 全年齢対象■プレイ人数:1人【商品説明】ニュートンが木から落ちるリンゴを見て重力を発見したように、一瞬のうちに新しいことを生み出す脳のはたらきを『アハ体験』と言います。現在、最先端の脳科学の中で注目されているキーワード『アハ体験』が、PSPで手軽に体験できるようになりました!アハの第一人者、...

    • オペレーティングシステム （コンピュータサイエンス教科書シリーズ） [ 大澤範高 ]

    ショップ 楽天ブックス
    価格 ￥3,190 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • コンピュータサイエンス教科書シリーズ 大澤範高 コロナ社オペレーティング システム オオサワ,ノリタカ 発行年月：2008年03月 ページ数：222p サイズ：全集・双書 ISBN：9784339027075 大澤範高（オオサワノリタカ） 1983年東京大学理学部情報科学科卒業。1988年東京大学大学院博士課程修了（情報科学）。理学博士。1988年パーソナルメディア株式会社勤務。1993年電気通信大学助手。1998年メディア教育開発センター助教授。2001年総合研究大学院大学助教授（併任）。2003年メディア教育開発センター教授。2003年総合研究大学院大学教授（併任）（本データはこの書籍が刊行された当時に掲載されていたものです） オペレーティングシステムとは／実行管理／同期・通信／デバイス管理／記憶領域管理／仮想記憶／ファイルシステム／ネットワーク／並列分散処理／ユーザインタフェース／保護とセキュリティ／構成法と事例／歴史と展望 本 パソコン・システム開発 その他

    • 【中古】 コンピュータサイエンスのための離散数学 / 守屋 悦朗 / サイエンス社 [単行本]【メール便送料無料】【あす楽対応】

    ショップ もったいない本舗　楽天市場店
    価格 ￥448 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 著者：守屋 悦朗出版社：サイエンス社サイズ：単行本ISBN-10：4781906435ISBN-13：9784781906430■こちらの商品もオススメです ● 宣告 上巻 上 / 加賀 乙彦 / 新潮社 [単行本] ● ナチスの時代 ドイツ現代史 / H.マウ, H.クラウスニック, 内山 敏 / 岩波書店 [新書] ● 57人の死刑囚 / 大塚 公子 / KADOKAWA [文庫] ● ゲームの理論入門 チェスから核戦略まで / モートン.D・デービス, 桐谷 維, 森 克美 / 講談社 [新書] ● STEINS；GATE 円環連鎖のウロボロス 1 / 海羽 超史郎, huke / 富士見書房 [文庫] ● 人々はなぜグローバル経済の本質を見誤るのか / 水野 和夫 / 日経BPマーケティング(日本経済新聞出版 [単行本] ● 政治学 / 関 寛治, 高畠 通敏 / 有斐閣 [ペーパーバック] ● 裁判官の論理を問う 社会科学者の視点から / 稲木 哲郎 / 朝日新聞出版 [文庫] ● 文明としての日本型資本主義 「富」と「権力」の構図 / 榊原 英資 / 東洋経済新報社 [単行本] ● 膨張中国 新ナショナリズムと歪んだ成長 / 読売新聞中国取材団 / 中央公論新社 [新書] ● 宇宙・地球・生命・脳 その原理を求めて / 立花 隆 / 朝日新聞出版 [単行本] ● 死刑囚の最後の瞬間 / 大塚 公子 / KADOKAWA [文...

    • 【中古】 コンピュータサイエンスのための離散数学 / 守屋 悦朗 / サイエンス社 [単行本]【宅配便出荷】

    ショップ もったいない本舗　おまとめ店
    価格 ￥398 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 著者：守屋 悦朗出版社：サイエンス社サイズ：単行本ISBN-10：4781906435ISBN-13：9784781906430■こちらの商品もオススメです ● 宣告 上巻 上 / 加賀 乙彦 / 新潮社 [単行本] ● ナチスの時代 ドイツ現代史 / H.マウ, H.クラウスニック, 内山 敏 / 岩波書店 [新書] ● 57人の死刑囚 / 大塚 公子 / KADOKAWA [文庫] ● ゲームの理論入門 チェスから核戦略まで / モートン.D・デービス, 桐谷 維, 森 克美 / 講談社 [新書] ● STEINS；GATE 円環連鎖のウロボロス 1 / 海羽 超史郎, huke / 富士見書房 [文庫] ● 人々はなぜグローバル経済の本質を見誤るのか / 水野 和夫 / 日経BPマーケティング(日本経済新聞出版 [単行本] ● 政治学 / 関 寛治, 高畠 通敏 / 有斐閣 [ペーパーバック] ● 裁判官の論理を問う 社会科学者の視点から / 稲木 哲郎 / 朝日新聞出版 [文庫] ● 文明としての日本型資本主義 「富」と「権力」の構図 / 榊原 英資 / 東洋経済新報社 [単行本] ● 膨張中国 新ナショナリズムと歪んだ成長 / 読売新聞中国取材団 / 中央公論新社 [新書] ● 宇宙・地球・生命・脳 その原理を求めて / 立花 隆 / 朝日新聞出版 [単行本] ● 死刑囚の最後の瞬間 / 大塚 公子 / KADOKAWA [文...

    • 【中古】決定版コンピュータサイエンス図鑑 /創元社/ヘレン・コールドウェル（単行本）

    ショップ VALUE BOOKS
    レビュー件数 1
    レビュー平均 5
    価格 ￥1,660 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • ◆◆◆おおむね良好な状態です。中古商品のため若干のスレ、日焼け、使用感等ある場合がございますが、品質には十分注意して発送いたします。 【毎日発送】 商品状態 著者名 ヘレン・コールドウェル、クレール・クイグリー 出版社名 創元社 発売日 2019年7月1日 ISBN 9784422414201

    • 【中古】教養としてのコンピューターサイエンス講義 今こそ知っておくべき「デジタル世界」の基礎知識 /日経BP/ブライアン・カーニハン（単行本）

    ショップ VALUE BOOKS
    価格 ￥672 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • ◆◆◆非常にきれいな状態です。中古商品のため使用感等ある場合がございますが、品質には十分注意して発送いたします。 【毎日発送】 商品状態 著者名 ブライアン・カーニハン、坂村健 出版社名 日経BP 発売日 2020年2月25日 ISBN 9784822288730

    • みんなのコンピュータサイエンス [ Wladston Ferreira Filho ]

    ショップ 楽天ブックス
    価格 ￥2,750 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • Wladston Ferreira Filho 小山 裕司 翔泳社ミンナノコンピュータサイエンス ウラドストン・フェレイラ・フィルォ コヤマ ヒロシ 発行年月：2019年01月15日 予約締切日：2018年11月22日 ページ数：200p サイズ：単行本 ISBN：9784798154817 フィルォ，ウラドストン・フェレイラ（Filho,Wladston Ferreira）（フィルォ，ウラドストンフェレイラ） 幼い頃からコンピュータとコーティングに常に関心を持っていた。ミナスジェライス連邦大学（UFMG）でコンピューターサイエンスの修士号を取得。「Computer　Science　Distilled」は計算科学をシンプルに説明するため執筆した処女作 小山裕司（コヤマヒロシ） 1998年東京都立科学技術大学大学院博士課程単位取得退学後、国際大学GLOCOM・新興企業・実践女子大学等を経て、2008年、産業技術大学院大学教授（情報アーキテクチャ専攻）。専門はシステムソフトウェア、情報アーキテクチャ、事業アーキテクチャ（本データはこの書籍が刊行された当時に掲載されていたものです） 1　基礎／2　計算量／3　戦略／4　データ／5　アルゴリズム／6　データベース／7　コンピュータ／8　プログラミング／9　おわりに／附録 本 パソコン・シス...

    • コンピュータサイエンス 計算を通して世界を観る （サイエンス・パレット） [ 渡辺治 ]

    ショップ 楽天ブックス
    価格 ￥1,100 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 計算を通して世界を観る サイエンス・パレット 渡辺治 丸善出版コンピュータ サイエンス ワタナベ,オサム 発行年月：2015年09月 ページ数：182p サイズ：全集・双書 ISBN：9784621089729 渡辺治（ワタナベオサム） 1958年神奈川県生まれ。東京工業大学大学院情報理工学研究科数理・計算科学専攻教授。博士（工学）。専門は計算の理論、とくにアルゴリズムの設計と解析、計算複雑さの理論（本データはこの書籍が刊行された当時に掲載されていたものです） 第1章　計算をとことん分解する／第2章　計算を実現する／第3章　プログラミングへの招待／第4章　アルゴリズムへの招待／第5章　計算世界観／第6章　コンピュータサイエンスの未来 本書では、そもそも計算とは一体何なのか？という素朴な疑問を皮切りに、プログラミングやアルゴリズム、シミュレーション、データマイニング、情報セキュリティといった話題からコンピュータサイエンスの全体像を見ていきます。計算を通して世の中を観るということの面白さと奥深さを実感してください。そして情報通信技術の未来を考えてみませんか。 本 パソコン・システム開発 その他

    • 【中古】 ソニーコンピュータサイエンス研究所 茂木健一郎博士監修 脳に快感 アハ体験！/PSP/ULJMー05135/A 全年齢対象 / セガ【メール便送料無料】【あす楽対応】

    ショップ もったいない本舗　楽天市場店
    価格 ￥328 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • EANコード：4974365900182■こちらの商品もオススメです ● フェイスニングで表情豊かに印象アップ 大人のDS顔トレーニング/DS/NTR3YKOJ/A 全年齢対象 / 任天堂 ● 実況パワフルメジャーリーグ/PS2/VW308J1/A 全年齢対象 / コナミデジタルエンタテインメント ● 戦国BASARA クロニクルヒーローズ/PSP/ULJM05903/B 12才以上対象 / カプコン ● ファンタシースターポータブル2/PSP/ULJMー05493/B 12才以上対象 / セガ ● ハイキュー！！ 4 / 古舘 春一 / 集英社 [コミック] ● テイルズ オブ バーサス / ナムコ ● バウンサー / スクウェア ● 討鬼伝/PSP/ULJM06290/C 15才以上対象 / コーエーテクモゲームス ● 漫画家とヤクザ 2 / コダ / ブライト出版 [コミック] ● 漫画家とヤクザ 3 / ブライト出版 [コミック] ● ハイキュー！！ 6 / 古舘 春一 / 集英社 [コミック] ● 激・戦国無双（PSP the Best）/PSP/ULJM-08012/B 12才以上対象 / コーエー ● 脳力トレーナー ポータブル 2/PSP/ULJMー05126/A 全年齢対象 / セガ ● ハイキュー！！ 5 / 古舘 春一 / 集英社 [コミック] ● ハイキュー！！ 7 / 古舘 春一 / 集英社 [コミック] ■通常24時間以内に出荷可能です。※繁忙期やセール等、ご注...

    • 【中古】 コンピュータサイエンス入門 / 日向 俊二 / カットシステム [単行本]【メール便送料無料】【あす楽対応】

    ショップ もったいない本舗　楽天市場店
    価格 ￥597 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 著者：日向 俊二出版社：カットシステムサイズ：単行本ISBN-10：4877831223ISBN-13：9784877831226■通常24時間以内に出荷可能です。※繁忙期やセール等、ご注文数が多い日につきましては　発送まで48時間かかる場合があります。あらかじめご了承ください。 ■メール便は、1冊から送料無料です。※宅配便の場合、2,500円以上送料無料です。※あす楽ご希望の方は、宅配便をご選択下さい。※「代引き」ご希望の方は宅配便をご選択下さい。※配送番号付きのゆうパケットをご希望の場合は、追跡可能メール便（送料210円）をご選択ください。■ただいま、オリジナルカレンダーをプレゼントしております。■お急ぎの方は「もったいない本舗　お急ぎ便店」をご利用ください。最短翌日配送、手数料298円から■まとめ買いの方は「もったいない本舗　おまとめ店」がお買い得です。■中古品ではございますが、良好なコンディションです。決済は、クレジットカード、代引き等、各種決済方法がご利用可能です。■万が一品質に不備が有った場合は、返金対応。■クリーニング済み。■商品画像に「帯」が付いているものがありますが、中古品のため、実際の商品には付いていない場合がございます。■商品状...

    • コンパイラ （コンピューターサイエンス・ライブラリー） [ 中田育男 ]

    ショップ 楽天ブックス
    価格 ￥3,520 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • コンピューターサイエンス・ライブラリー 中田育男 産業図書コンパイラ ナカタ,イクオ 発行年月：1981年09月 ページ数：278p サイズ：単行本 ISBN：9784782850572 本 パソコン・システム開発 その他

    • 【中古】 ソニーコンピュータサイエンス研究所 茂木健一郎博士監修 脳に快感 アハ体験！/PSP/ULJMー05135/A 全年齢対象 / セガ【宅配便出荷】

    ショップ もったいない本舗　おまとめ店
    価格 ￥278 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • EANコード：4974365900182■こちらの商品もオススメです ● フェイスニングで表情豊かに印象アップ 大人のDS顔トレーニング/DS/NTR3YKOJ/A 全年齢対象 / 任天堂 ● 実況パワフルメジャーリーグ/PS2/VW308J1/A 全年齢対象 / コナミデジタルエンタテインメント ● 戦国BASARA クロニクルヒーローズ/PSP/ULJM05903/B 12才以上対象 / カプコン ● ファンタシースターポータブル2/PSP/ULJMー05493/B 12才以上対象 / セガ ● ハイキュー！！ 4 / 古舘 春一 / 集英社 [コミック] ● テイルズ オブ バーサス / ナムコ ● バウンサー / スクウェア ● 討鬼伝/PSP/ULJM06290/C 15才以上対象 / コーエーテクモゲームス ● 漫画家とヤクザ 2 / コダ / ブライト出版 [コミック] ● 漫画家とヤクザ 3 / ブライト出版 [コミック] ● ハイキュー！！ 6 / 古舘 春一 / 集英社 [コミック] ● 激・戦国無双（PSP the Best）/PSP/ULJM-08012/B 12才以上対象 / コーエー ● 脳力トレーナー ポータブル 2/PSP/ULJMー05126/A 全年齢対象 / セガ ● ハイキュー！！ 5 / 古舘 春一 / 集英社 [コミック] ● ハイキュー！！ 7 / 古舘 春一 / 集英社 [コミック] ■通常24時間以内に出荷可能です。※繁忙期やセール等、ご注...

    • 教養のコンピュータサイエンス　情報科学入門　第3版 [ 小舘　香椎子 ]

    ショップ 楽天ブックス
    価格 ￥3,300 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 小舘　香椎子 岡部　洋一 丸善出版キョウヨウノコンピュータサイエンス　ジョウホウカガクニュウモン　ダイサンパン コダテ　カシコ オカベ　ヨウイチ 発行年月：2020年03月30日 予約締切日：2020年02月15日 ページ数：280p サイズ：単行本 ISBN：9784621305034 小舘香椎子（コダテカシコ） 日本女子大学名誉教授、電気通信大学特任教授 岡部洋一（オカベヨウイチ） 東京大学名誉教授、放送大学名誉教授、兼顧問 稲葉利江子（イナバリエコ） 津田塾大学学芸学部情報科学科准教授 小川賀代（オガワカヨ） 日本女子大学理学部数物科学科教授 上川井良太郎（カミカワイリョウタロウ） 日本女子大学名誉教授 横田裕介（ヨコタユウスケ） 日本女子大学理学部数物科学科准教授 小舘亮之（コダテアキヒサ） 津田塾大学総合政策学部総合政策学科教授 鈴木貴久（スズキタカヒサ） 津田塾大学総合政策学部総合政策学科特任教授 長谷川治久（ハセガワハルヒサ） 日本女子大学理学部数物科学科教授、副学長 辰己丈夫（タツミタケオ） 放送大学情報コース教授 曽根原登（ソネハラノボル） 国立情報学研究所名誉教授、津田塾大学総合政策学部総合政策学科教授・総合政策研究所所長（本デ...

    • コンピュータサイエンスで学ぶ論理回路とその設計 [ 柴山潔 ]

    ショップ 楽天ブックス
    レビュー件数 2
    レビュー平均 5
    価格 ￥2,750 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 柴山潔 近代科学社コンピュータ サイエンス デ マナブ ロンリ カイロ ト ソノ セッケイ シバヤマ,キヨシ 発行年月：1999年09月 ページ数：265p サイズ：単行本 ISBN：9784764902756 1　論理回路の数学（論理とは？／論理代数　ほか）／2　組み合わせ回路とその設計（論理関数と論理回路／論理ゲートと組み合わせ回路　ほか）／3　同期式順序回路とその設計（論理関数と同期式順序回路／フリップフロップ　ほか）／4　ソフトウェアによる論理回路設計（プログラム可能論理回路／ハードウェア記述言語と論理回路設計） 本書では、コンピュータサイエンスを支える論理代数とそのハードウェアによる実現である論理回路との関係について、電気に関する専門的知識がなくても理解できるように、解か明かしている。また、古典的な知識や理論だけでなく、最新の理論や実用的な手法についても平易に解説している。各所でコンピュータハードウェアの基本原理である「論理回路」を実例として紹介し、理論と実際との関連に興味をつなげるように工夫している。大学、高等専門学校、専修学校のコンピュータサイエンス系学科の新しいテキストとして最適である。 本 科学・技術 工学 電気工学

    • コンパイラ （コンピュータサイエンス教科書シリーズ） [ 中井央 ]

    ショップ 楽天ブックス
    価格 ￥2,750 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • コンピュータサイエンス教科書シリーズ 中井央 中田育男 コロナ社コンパイラ ナカイ,ヒサシ ナカタ,イクオ 発行年月：2007年07月 ページ数：193p サイズ：全集・双書 ISBN：9784339027082 中田育男（ナカタイクオ） 1958年東京大学理学部数学科卒業。1960年東京大学大学院数物系研究科修士課程修了。1960年（株）日立製作所勤務。1977年理学博士（東京大学）。1979年筑波大学教授。1997年図書館情報大学教授。1998年筑波大学名誉教授。2000年法政大学教授。2006年法政大学客員教授 中井央（ナカイヒサシ） 1992年筑波大学第三学群情報学類卒業。1997年筑波大学大学院博士課程工学研究科修了（電子情報工学専攻）。博士（工学）。1997年図書館情報大学助手。2001年図書館情報大学講師。2002年図書館情報大学助教授。2002年大学統合により筑波大学助教授。2007年筑波大学准教授（本データはこの書籍が刊行された当時に掲載されていたものです） 1　はじめに／2　字句解析／3　構文解析／4　意味解析／5　実行時環境／6　仮想計算機とコード生成／7　まとめの演習 本 パソコン・システム開発 その他

    • コンピュータサイエンスにおける様相論理 [ 鹿島 亮 ]

    ショップ 楽天ブックス
    価格 ￥3,520 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • 鹿島 亮 森北出版コンピュータサイエンスニオケルヨウソウロンリ カシマ リョウ 発行年月：2022年01月20日 予約締切日：2021年11月25日 ページ数：176p サイズ：単行本 ISBN：9784627856417 鹿島亮（カシマリョウ） 1988年東京工業大学理学部情報科学科卒業。1991年東京工業大学理工学研究科情報科学専攻博士課程中退。1991年東京工業大学助手。北陸先端科学技術大学院大学助手などを経て、東京工業大学情報理工学院准教授。博士（理学）（本データはこの書籍が刊行された当時に掲載されていたものです） 第1章　準備：命題論理／第2章　K／第3章　CTL／第4章　様相ミュー計算／第5章　PDL／第6章　ホーア論理 モデル検査、プログラム検証…計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載！ 本 パソコン・システム開発 その他

    • 【中古】離散数学 コンピュ-タサイエンスの基礎数学 /オ-ム社/シ-モア・リップシュッツ（単行本）

    ショップ VALUE BOOKS
    価格 ￥1,015 
    商品の詳細ページへ(楽天市場)
     

    商品の説明

  • ◆◆◆非常にきれいな状態です。中古商品のため使用感等ある場合がございますが、品質には十分注意して発送いたします。 【毎日発送】 商品状態 著者名 シ−モア・リップシュッツ、成嶋弘 出版社名 オ−ム社 発売日 1995年3月24日 ISBN 9784274130052
    • 掲載アイテムレビュー
    計3件　平均 5.0
    キーワード検索
    1.  
    最近検索されたキーワード
    ブランド マスク / クラウン 210 リアバンパー / 天板 75 / インプレッサ ラテラルリンク / 5kg dumbbell / 問題児 / ボートカバー / 軽自動車 サンシェード フロント / placenta / 大島優子デジタルフォトブックlife 【楽天kobo限定カット付き】 / グラフギア1000 限定カラー / モバイルバッテリー 20000mah / evolution 南條愛乃 / レディース りゅっく 大人 / ピーナッツバター ダイショウ / ピアス スタンド / コーチジャケット メンズ ブランド / メルセデス Cクラス ワゴン / 320gb ssd 2.5 / pe 0.8号 / リリカルなのは 一番くじ きゅん / dune 砂の惑星 / カメラフィルム 14 pro / 牧場物語 welcome ワンダフルライフ 攻略本 / plaza mayor
    ピックアップ キーワード
    茅原実里 CD / 大陸棚 / プロ野球 ドリームチーム / 一番くじ 青の / toy story / 音楽出版社 / キヤノン マクロレンズ / スペースボール / ノースフェイス ベスト レディース / イヤーマフラー 子供 / 絵本棚 / オークリー ボードショーツ / 拳西 虚化 / ガングリフォン ブレイズ / hg アストレア / e17 LED レフ / フリクションボール 3色 / UVERworld グッズ 2012 / 黒ビキニ / ゴスペラーズ step / 弁財天 大阪 / ニューバランス 576 / 玄関ドア 木製 / ベストキッド ダニエル / ワコール ペアパジャマ
    リンク
    Amazon.co.jp
    楽天市場
    楽天オークション
    Amazon Web Services
    Supported by 楽天ウェブサービス

    上に戻る