Theoretical computer science 〜の在庫検索結果 / 日本の古本屋

Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science Series Number 41)

[書影]

ノースブックセンター
東京都八王子市越野　8-23

￥9,294 （送料：￥350～）

Meyer J.-J. Ch.、Cambridge University Press、1995年11･･･

▼ 東京より発送 ▼ 紙面：数頁にマーカー等の線引▼ 若干スレキズ等ありますが、使用感少なく概ね良好

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science Series Number 41)

￥9,294 （送料：￥350～）

Meyer J.-J. Ch. 、Cambridge University Press 、1995年11月24日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、368 、hardcover

▼ 東京より発送 ▼ 紙面：数頁にマーカー等の線引▼ 若干スレキズ等ありますが、使用感少なく概ね良好

ノースブックセンター

Logic of Domains ＜Progress in Theoretical Computer Science＞

明倫館書店
東京都千代田区神田神保町

￥3,500

Guo-Qiang Zhang、BIRKHAUSER VERLAG、1991、259、8vo har･･･

表紙少スレ、天小口薄く日焼けあり、本文良。

他サイトでも併売しておりますので売り切れの際は御了承ください。また、全ての書籍に当店の値札がございますので御了承ください。公費でお支払いをご希望の場合は商品代金合計3,000円以上でお願いいたします。通常は書籍のみの発送で書類は同封しておりません。必要書類がある方は当店の「書籍の購入について」をご覧の上、ご注文時にお問合せ欄より必要事項を事前にご連絡ください。

Logic of Domains ＜Progress in Theoretical Computer Science＞

￥3,500

Guo-Qiang Zhang 、BIRKHAUSER VERLAG 、1991 、259 、8vo hard 、1冊

表紙少スレ、天小口薄く日焼けあり、本文良。

明倫館書店

Boolean Functions and Computation Models ＜Texts in Theoretical Computer Science. An EATCS Series＞

明倫館書店
東京都千代田区神田神保町

￥3,000

Peter Clote & Evangelos Kranakis、SPRINGER-VERLAG、2･･･

裸本。経年少日焼け。本文良好です。

他サイトでも併売しておりますので売り切れの際は御了承ください。また、全ての書籍に当店の値札がございますので御了承ください。公費でお支払いをご希望の場合は商品代金合計3,000円以上でお願いいたします。通常は書籍のみの発送で書類は同封しておりません。必要書類がある方は当店の「書籍の購入について」をご覧の上、ご注文時にお問合せ欄より必要事項を事前にご連絡ください。

Boolean Functions and Computation Models ＜Texts in Theoretical Computer Science. An EATCS Series＞

￥3,000

Peter Clote & Evangelos Kranakis 、SPRINGER-VERLAG 、2002 、601 、8vo hard large 、1冊

裸本。経年少日焼け。本文良好です。

明倫館書店

Handbook of Theoretical Computer Science: Vol A : Algorithms and Complexity (Leeuwen: Handbook of Theoretical Compu: Handbook of Theoretical Compu)

ノースブックセンター
東京都八王子市越野　8-23

￥8,757 （送料：￥350～）

0、Mit Pr、1990年10月1日（発売年月日の記載となります、版・刷等について気になる際には別･･･

▼ 東京より発送 ▼ 紙面：巻末に字消印・シール等による消し▼ 全体的に若干使用感・スレキズ・薄ヤケ・薄汚れ少々跡

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

Handbook of Theoretical Computer Science: Vol A : Algorithms and Complexity (Leeuwen: Handbook of Theoretical Compu: Handbook of Theoretical Compu)

￥8,757 （送料：￥350～）

、Mit Pr 、1990年10月1日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、1006 、hardcover

▼ 東京より発送 ▼ 紙面：巻末に字消印・シール等による消し▼ 全体的に若干使用感・スレキズ・薄ヤケ・薄汚れ少々跡

ノースブックセンター

Concurrency Verification Introduction to Compositional and Noncompositional Methods ＜Cambridge Tracts in Theoretical Computer Science 54＞

[書影]

明倫館書店
東京都千代田区神田神保町

￥4,000

Willem-Paul de Roever, et al.、Cambridge University･･･

カド擦れ・少日焼け。本文概ね良好。

他サイトでも併売しておりますので売り切れの際は御了承ください。また、全ての書籍に当店の値札がございますので御了承ください。公費でお支払いをご希望の場合は商品代金合計3,000円以上でお願いいたします。通常は書籍のみの発送で書類は同封しておりません。必要書類がある方は当店の「書籍の購入について」をご覧の上、ご注文時にお問合せ欄より必要事項を事前にご連絡ください。

Concurrency Verification Introduction to Compositional and Noncompositional Methods ＜Cambridge Tracts in Theoretical Computer Science 54＞

￥4,000

Willem-Paul de Roever, et al. 、Cambridge University Press 、2001 、776 、8vo hard 、1冊

カド擦れ・少日焼け。本文概ね良好。

明倫館書店

Logic and Computation (Soft) Interactive proof with Cambridge LCF ＜Cambridge Tracts in Theoretical Computer Science 2＞

[書影]

明倫館書店
東京都千代田区神田神保町

￥2,000

L.C. Paulson、Cambridge University Press、1990、302、8･･･

少日焼け汚れ。カド擦れ反り有。本文概ね良好。

他サイトでも併売しておりますので売り切れの際は御了承ください。また、全ての書籍に当店の値札がございますので御了承ください。公費でお支払いをご希望の場合は商品代金合計3,000円以上でお願いいたします。通常は書籍のみの発送で書類は同封しておりません。必要書類がある方は当店の「書籍の購入について」をご覧の上、ご注文時にお問合せ欄より必要事項を事前にご連絡ください。

Logic and Computation (Soft) Interactive proof with Cambridge LCF ＜Cambridge Tracts in Theoretical Computer Science 2＞

￥2,000

L.C. Paulson 、Cambridge University Press 、1990 、302 、8vo soft 、1冊

少日焼け汚れ。カド擦れ反り有。本文概ね良好。

明倫館書店

Concurrency Verification : Introduction to Compositional and Non-compositional Methods ＜Cambridge Tracts in Theoretical Computer Science v. 54＞

池袋ブックサービス
東京都府中市南町3-49-12

￥1,980 （送料：￥600～）

Willem Paul de Roever et al.、Cambridge University ･･･

◇表紙傷み◇天小口汚れ◇通読には問題ない書籍です。

即決購入の場合は原則48時間以内に発送通知をお送りいたします。 (営業時間外・土日祝日・当店が定めた休業日が挟まる場合を除く) 当店は適格請求書発行事業者です (登録番号T3810765032267) インボイス対応の領収書等ご入用の場合は、通信欄よりお知らせください

Concurrency Verification : Introduction to Compositional and Non-compositional Methods ＜Cambridge Tracts in Theoretical Computer Science v. 54＞

￥1,980 （送料：￥600～）

Willem Paul de Roever et al. 、Cambridge University Press 、2010年、776p 、23cm

◇表紙傷み◇天小口汚れ◇通読には問題ない書籍です。

池袋ブックサービス

Graphs Morphisms and Statistical Physics: Dimacs Workshop Graphs Morphisms and Statistical Physics March 19-21 2001 Dimacs Center (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)

[書影]

ノースブックセンター
東京都八王子市越野　8-23

￥11,940 （送料：￥350～）

Winkler P.、Amer Mathematical Society、2004年3月1日（発売年･･･

▼ 東京より発送 ▼ 全体的に多少使用感・スレキズ・薄ヤケ・薄汚れ・シミ

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

Graphs Morphisms and Statistical Physics: Dimacs Workshop Graphs Morphisms and Statistical Physics March 19-21 2001 Dimacs Center (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)

￥11,940 （送料：￥350～）

Winkler P. 、Amer Mathematical Society 、2004年3月1日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、hardcover

▼ 東京より発送 ▼ 全体的に多少使用感・スレキズ・薄ヤケ・薄汚れ・シミ

ノースブックセンター

Computational Geometry in C Second Edition (Cambridge Tracts in Theoretical Computer Science (Paperback))

[書影]

ノースブックセンター
東京都八王子市越野　8-23

￥2,808 （送料：￥350～）

O'Rourke Joseph、Cambridge University Press、2001年2月･･･

▼ 東京より発送 ▼ 紙面：数頁に書込み▼ 全体的に使用感・スレキズ・ヤケ・汚れ・シミ

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

Computational Geometry in C Second Edition (Cambridge Tracts in Theoretical Computer Science (Paperback))

￥2,808 （送料：￥350～）

O'Rourke Joseph 、Cambridge University Press 、2001年2月15日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、390 、paperback

▼ 東京より発送 ▼ 紙面：数頁に書込み▼ 全体的に使用感・スレキズ・ヤケ・汚れ・シミ

ノースブックセンター

Formal Semantics and Pragmatics (Cambridge Tracts in Theoretical Computer Science Series Number 8)

[書影]

ノースブックセンター
東京都八王子市越野　8-23

￥5,580 （送料：￥350～）

Clifford James、Cambridge University Press、2008年8月2･･･

▼ 東京より発送 ▼ 紙面：角折れ多数▼ 全体的に使用感・スレキズ・ヤケ・汚れ・シミ

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

Formal Semantics and Pragmatics (Cambridge Tracts in Theoretical Computer Science Series Number 8)

￥5,580 （送料：￥350～）

Clifford James 、Cambridge University Press 、2008年8月21日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、210 、paperback

▼ 東京より発送 ▼ 紙面：角折れ多数▼ 全体的に使用感・スレキズ・ヤケ・汚れ・シミ

ノースブックセンター

Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science Series Number 44)

[書影]

ノースブックセンター
東京都八王子市越野　8-23

￥4,904 （送料：￥350～）

Barwise Jon、Cambridge University Press、1997年10月23日･･･

▼ 東京より発送 ▼ 紙面：数頁に書込み▼ 全体的に若干使用感・スレキズ・薄ヤケ・薄汚れ少々

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science Series Number 44)

￥4,904 （送料：￥350～）

Barwise Jon 、Cambridge University Press 、1997年10月23日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、292 、hardcover

▼ 東京より発送 ▼ 紙面：数頁に書込み▼ 全体的に若干使用感・スレキズ・薄ヤケ・薄汚れ少々

ノースブックセンター

Algorithmic Information Theory (Cambridge Tracts in Theoretical Computer Science Series Number 1)

[書影]

ノースブックセンター
東京都八王子市越野　8-23

￥8,820 （送料：￥350～）

Chaitin Gregory. J.、Cambridge University Press、198･･･

▼ 東京より発送 ▼ 見返しにシール貼付▼ 全体的に使用感・スレキズ・ヤケ・汚れ・シミ

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

Algorithmic Information Theory (Cambridge Tracts in Theoretical Computer Science Series Number 1)

￥8,820 （送料：￥350～）

Chaitin Gregory. J. 、Cambridge University Press 、1987年10月15日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、192 、hardcover

▼ 東京より発送 ▼ 見返しにシール貼付▼ 全体的に使用感・スレキズ・ヤケ・汚れ・シミ

ノースブックセンター

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science Series Number 56)

[書影]

ノースブックセンター
東京都八王子市越野　8-23

￥5,918 （送料：￥350～）

Bundy Alan、Cambridge University Press、2005年6月30日（発･･･

▼ 東京より発送 ▼ 紙面：ふちヤケ・シミ多少 ▼ 表紙：ふちヨレ▼ 全体的に使用感・スレキズ・ヤケ・汚れ・シミ

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science Series Number 56)

￥5,918 （送料：￥350～）

Bundy Alan 、Cambridge University Press 、2005年6月30日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、216 、hardcover

▼ 東京より発送 ▼ 紙面：ふちヤケ・シミ多少 ▼ 表紙：ふちヨレ▼ 全体的に使用感・スレキズ・ヤケ・汚れ・シミ

ノースブックセンター

Handbook of Weighted Automata (Monographs in Theoretical Computer Science. An EATCS Series)

ノースブックセンター
東京都八王子市越野　8-23

￥26,466 （送料：￥350～）

0、Springer、2009年9月28日（発売年月日の記載となります、版・刷等について気になる際に･･･

▼ 東京より発送 ▲ 外観：多少使用感、スレキズ・薄汚れ・薄ヤケ・傷み少々

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

Handbook of Weighted Automata (Monographs in Theoretical Computer Science. An EATCS Series)

￥26,466 （送料：￥350～）

、Springer 、2009年9月28日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、625 、hardcover

▼ 東京より発送 ▲ 外観：多少使用感、スレキズ・薄汚れ・薄ヤケ・傷み少々

ノースブックセンター

Iteration Theories: The Equational Logic of Iterative Processes (Monographs in Theoretical Computer Science. An EATCS Series)

ノースブックセンター
東京都八王子市越野　8-23

￥10,931 （送料：￥350～）

Bloom Stephen L.、Springer、1993年4月29日（発売年月日の記載となります･･･

▼ 東京より発送 ▼ 見返しにシール貼付▼ 全体的に使用感・スレキズ・ヤケ・汚れ・シミ

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

Iteration Theories: The Equational Logic of Iterative Processes (Monographs in Theoretical Computer Science. An EATCS Series)

￥10,931 （送料：￥350～）

Bloom Stephen L. 、Springer 、1993年4月29日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、630 、hardcover

▼ 東京より発送 ▼ 見返しにシール貼付▼ 全体的に使用感・スレキズ・ヤケ・汚れ・シミ

ノースブックセンター

Structural Complexity II (Monographs in Theoretical Computer Science. An EATCS Series)

ノースブックセンター
東京都八王子市越野　8-23

￥6,648 （送料：￥350～）

Balcazar Jose L.、Springer、1990年4月25日（発売年月日の記載となります･･･

▼ 東京より発送 ▲ カバーなし・裸本▲ 外観：若干使用感、スレキズ等ありますが、概ね良好

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

Structural Complexity II (Monographs in Theoretical Computer Science. An EATCS Series)

￥6,648 （送料：￥350～）

Balcazar Jose L. 、Springer 、1990年4月25日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、283 、hardcover

▼ 東京より発送 ▲ カバーなし・裸本▲ 外観：若干使用感、スレキズ等ありますが、概ね良好

ノースブックセンター

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

ノースブックセンター
東京都八王子市越野　8-23

￥7,560 （送料：￥350～）

Graedel Erich、Springer、2007年4月24日（発売年月日の記載となります、版・･･･

▼ 紙面：数頁に折れ跡▼ 全体的に使用感・スレキズ・ヤケ・汚れ・シミ

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

￥7,560 （送料：￥350～）

Graedel Erich 、Springer 、2007年4月24日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、448 、hardcover

▼ 紙面：数頁に折れ跡▼ 全体的に使用感・スレキズ・ヤケ・汚れ・シミ

ノースブックセンター

DNA Computing and Molecular Programming: 20th International Conference DNA 20 Kyoto Japan September 22-26 2014. Proceedings (Theoretical Computer Science and General Issues)

ノースブックセンター
東京都八王子市越野　8-23

￥6,287 （送料：￥350～）

0、Springer、2014年9月8日（発売年月日の記載となります、版・刷等について気になる際には･･･

▼ 東京より発送 ▼ 表紙：ふち傷み少々▼ 全体的に若干使用感・スレキズ・薄ヤケ・薄汚れ

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

DNA Computing and Molecular Programming: 20th International Conference DNA 20 Kyoto Japan September 22-26 2014. Proceedings (Theoretical Computer Science and General Issues)

￥6,287 （送料：￥350～）

、Springer 、2014年9月8日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、172 、paperback

▼ 東京より発送 ▼ 表紙：ふち傷み少々▼ 全体的に若干使用感・スレキズ・薄ヤケ・薄汚れ

ノースブックセンター

Graph Drawing and Network Visualization: 26th International Symposium GD 2018 Barcelona Spain September 26-28 2018 Proceedings (Theoretical Computer Science and General Issues)

ノースブックセンター
東京都八王子市越野　8-23

￥5,760 （送料：￥350～）

0、Springer、2018年12月18日（発売年月日の記載となります、版・刷等について気になる際･･･

▼ 東京より発送 ▼ 本体：歪み少々 ▼ 全体的に多少使用感・スレキズ・薄ヤケ・薄汚れ・角ヨレ少々

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

Graph Drawing and Network Visualization: 26th International Symposium GD 2018 Barcelona Spain September 26-28 2018 Proceedings (Theoretical Computer Science and General Issues)

￥5,760 （送料：￥350～）

、Springer 、2018年12月18日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、684 、paperback

▼ 東京より発送 ▼ 本体：歪み少々 ▼ 全体的に多少使用感・スレキズ・薄ヤケ・薄汚れ・角ヨレ少々

ノースブックセンター

Coloured Petri Nets (Monographs in Theoretical Computer Science. An EATCS Series)

ノースブックセンター
東京都八王子市越野　8-23

￥11,156 （送料：￥350～）

Jensen Kurt、Springer、1996年3月25日（発売年月日の記載となります、版・刷等･･･

▼ 東京より発送▼ 全体的に若干使用感・スレキズ・薄ヤケ・薄汚れ少々

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

Coloured Petri Nets (Monographs in Theoretical Computer Science. An EATCS Series)

￥11,156 （送料：￥350～）

Jensen Kurt 、Springer 、1996年3月25日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、248 、hardcover

▼ 東京より発送▼ 全体的に若干使用感・スレキズ・薄ヤケ・薄汚れ少々

ノースブックセンター

Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability (Texts in Theoretical Computer Science. An EATCS Series)

ノースブックセンター
東京都八王子市越野　8-23

￥5,686 （送料：￥350～）

Hutter Marcus、Springer、2004年10月12日（発売年月日の記載となります、版･･･

▼ 東京より発送 ▼ 紙面：背割れ ▼ 側面：若干薄シミ ▼ 表紙：打痕少々▼ 全体的に若干使用感・スレキズ・薄汚れ少々

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability (Texts in Theoretical Computer Science. An EATCS Series)

￥5,686 （送料：￥350～）

Hutter Marcus 、Springer 、2004年10月12日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、298 、hardcover

▼ 東京より発送 ▼ 紙面：背割れ ▼ 側面：若干薄シミ ▼ 表紙：打痕少々▼ 全体的に若干使用感・スレキズ・薄汚れ少々

ノースブックセンター

Derivation and Computation Taking the Curry-Howard Correspondence Seriously ＜Cambridge Tracts in Theoretical Computer Science 51＞

[書影]

明倫館書店
東京都千代田区神田神保町

￥7,000

H. Simmons、Cambridge University Press、2000、384、8vo･･･

ヤケシミ有、表紙擦れ・少角傷み有、本文は概ね良好。

他サイトでも併売しておりますので売り切れの際は御了承ください。また、全ての書籍に当店の値札がございますので御了承ください。公費でお支払いをご希望の場合は商品代金合計3,000円以上でお願いいたします。通常は書籍のみの発送で書類は同封しておりません。必要書類がある方は当店の「書籍の購入について」をご覧の上、ご注文時にお問合せ欄より必要事項を事前にご連絡ください。

Derivation and Computation Taking the Curry-Howard Correspondence Seriously ＜Cambridge Tracts in Theoretical Computer Science 51＞

[書影]

￥7,000

H. Simmons 、Cambridge University Press 、2000 、384 、8vo hard 、1冊

ヤケシミ有、表紙擦れ・少角傷み有、本文は概ね良好。

明倫館書店

The Language of Mathematics: A Linguistic and Philosophical Investigation (Theoretical Computer Science and General Issues)

[書影]

ノースブックセンター
東京都八王子市越野　8-23

￥9,257 （送料：￥350～）

Ganesalingam Mohan、Springer、2013年2月10日（発売年月日の記載となり･･･

▼ 東京より発送 ▼ 表紙：背に色あせ・ふちヨレ▼ 全体的に若干使用感・スレキズ・薄ヤケ・薄汚れ少々

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

The Language of Mathematics: A Linguistic and Philosophical Investigation (Theoretical Computer Science and General Issues)

[書影]

￥9,257 （送料：￥350～）

Ganesalingam Mohan 、Springer 、2013年2月10日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、280 、paperback

▼ 東京より発送 ▼ 表紙：背に色あせ・ふちヨレ▼ 全体的に若干使用感・スレキズ・薄ヤケ・薄汚れ少々

ノースブックセンター

The Logic of Typed Feature Structures : With Applications to Unification Grammars, Logic Programs and Constraint Resolution ＜Cambridge Tracts in Theoretical Computer Science, no. 32＞

河野書店
東京都目黒区駒場

￥2,000 （送料：￥360～）

Robert L. Carpenter、Cambridge : Cambridge Universi･･･

hbk ; やや反り　表紙少ヤケ、角ややアタリ　三方クスミ・少ヤケ・ややシミ斑　見返しに書入れと塗りつぶしあり　

梱包した厚さが3cm未満で重量1kg未満のものは、ゆうパケット(～360円)。それを超えるもの、および高額書籍はレターパック(600円)、ゆうパック、佐川急便でお送りいたします。送料表記のないものは、注文確認メールでご提示いたします。

The Logic of Typed Feature Structures : With Applications to Unification Grammars, Logic Programs and Constraint Resolution ＜Cambridge Tracts in Theoretical Computer Science, no. 32＞

￥2,000 （送料：￥360～）

Robert L. Carpenter 、Cambridge : Cambridge University Press, 、1992 、270 p. 、26 cm

hbk ; やや反り　表紙少ヤケ、角ややアタリ　三方クスミ・少ヤケ・ややシミ斑　見返しに書入れと塗りつぶしあり　

河野書店

Euro-Par 2010 - Parallel Processing: 16th International Euro-Par Conference Ischia Italy August 31 - September 3 2010 Proceedings Part I (Theoretical Computer Science and General Issues)

ノースブックセンター
東京都八王子市越野　8-23

￥11,882 （送料：￥350～）

0、Springer、2010年8月18日（発売年月日の記載となります、版・刷等について気になる際に･･･

▼ 東京より発送 ▼ 本体：反り・歪み ▼ 天：斑点状のシミ▼ 全体的に使用感・スレキズ・ヤケ・汚れ・シミ

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

Euro-Par 2010 - Parallel Processing: 16th International Euro-Par Conference Ischia Italy August 31 - September 3 2010 Proceedings Part I (Theoretical Computer Science and General Issues)

￥11,882 （送料：￥350～）

、Springer 、2010年8月18日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、632 、paperback

▼ 東京より発送 ▼ 本体：反り・歪み ▼ 天：斑点状のシミ▼ 全体的に使用感・スレキズ・ヤケ・汚れ・シミ

ノースブックセンター

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

ノースブックセンター
東京都八王子市越野　8-23

￥5,875 （送料：￥350～）

Kroening Daniel、Springer、2008年5月23日（発売年月日の記載となります、･･･

▼ 東京より発送 ▼ 紙面：数頁にふち傷み少々 ▼ 側面・見返しにシミ少々▼ 全体的に若干使用感・スレキズ・薄ヤケ・薄汚れ少々

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

￥5,875 （送料：￥350～）

Kroening Daniel 、Springer 、2008年5月23日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、322 、hardcover

▼ 東京より発送 ▼ 紙面：数頁にふち傷み少々 ▼ 側面・見返しにシミ少々▼ 全体的に若干使用感・スレキズ・薄ヤケ・薄汚れ少々

ノースブックセンター

High Performance Computing: 32nd International Conference ISC High Performance 2017 Frankfurt Germany June 18?22 2017 Proceedings (Theoretical Computer Science and General Issues)

ノースブックセンター
東京都八王子市越野　8-23

￥9,176 （送料：￥350～）

0、Springer、2017年5月12日（発売年月日の記載となります、版・刷等について気になる際に･･･

▼ 東京より発送 ▲ 紙面：扉に字消印等による消し跡▲ 外観：若干使用感、スレキズ等ありますが、概ね良好

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

High Performance Computing: 32nd International Conference ISC High Performance 2017 Frankfurt Germany June 18?22 2017 Proceedings (Theoretical Computer Science and General Issues)

￥9,176 （送料：￥350～）

、Springer 、2017年5月12日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、448 、paperback

▼ 東京より発送 ▲ 紙面：扉に字消印等による消し跡▲ 外観：若干使用感、スレキズ等ありますが、概ね良好

ノースブックセンター

Data Depth: Robust Multivariate Analysis, Computational Geometry and Applications (DIMACS Series in Discrete Mathematics and Theoretical Computer Science)

アカデミイ書店
広島県広島市中区本通

￥5,000

Regina Y. Liu (編集), Robert Serfling (編集)、American ･･･

B5判　246ページ　洋書　少イタミ、少ヤケ有　保存並＜登録書籍は店頭にない場合がありますので、ご来店の場合は前日までにご連絡下さい＞

商品は他の検索サイトに登録及び店頭にも並べている為、削除が間に合わず在庫切れの場合もございます。誠に申し訳ございませんが、ご了承の程お願い申し上げます。(品切れの際にはメールにてお知らせいたします。)代引きご希望の場合は、その旨をお知らせください。店頭でお受け取り希望のお客様は、大変お手間ではありますがメール・FAXにて事前にお問い合わせ下さい。※掲載の書籍が店頭にないものもございます。領収書はPDFファイルの送信のみとなります。海外発送はできません。

Data Depth: Robust Multivariate Analysis, Computational Geometry and Applications (DIMACS Series in Discrete Mathematics and Theoretical Computer Science)

￥5,000

Regina Y. Liu (編集), Robert Serfling (編集) 、American Mathematical Society 、2006 、1

B5判　246ページ　洋書　少イタミ、少ヤケ有　保存並＜登録書籍は店頭にない場合がありますので、ご来店の場合は前日までにご連絡下さい＞

アカデミイ書店

Cognitive science : an introduction to the science of the mind

ビーバーズブックス
北海道札幌市中央区南十七条西8丁目1-32

￥6,500

Jos〓 Luis Berm〓dez、Cambridge University Press、2010･･･

C+ 7～8頁ほど赤ペン線引あり。ほかは目立つイタミなし・並本

・単品スピード注文いただければ早期発送可能です。・複数購入は別途お見積りとなります。代金は基本的に「先払い」となります(公費購入は別途対応有)。・クレジット決済または振込頂いてから2営業日以内に出荷いたします。代引きは取扱しておりません。トラブルのないお取引を目指しております。よろしくお願いします。