「Verification」の検索結果

30件

美は甦る検証・二枚の西周像 = Verification of the two portraits of Nishi Amane : 高橋由一から松本竣介まで

悠久堂書店
 東京都千代田区神田神保町

￥1,500

神奈川県立近代美術館 編、神奈川県立近代美術館、2013、71p、29cm、1冊

71頁。良品。

Indian chronology (solar, lunar, and planetary) : a practical guide to the interpretation and verification of tithis, nakshatras, horoscopes and other Indian time-records, B.C. 1 to A.D. 2000 New ed

円卓書店
 山梨県南都留郡富士河口湖町河口

￥2,000

L.D. Swamikannu Pillai、Asian Educational Services、･･･

再版、クロス装、

Symbolic Algebraic Methods and Verification Methods ＜Ppringer Mathematics＞

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

￥1,300

Goetz Alefeld、SPRINGER-VERLAG、2001、267、8vo soft la･･･

表紙少擦れ・天小口汚れ有、本文概ね良好。

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

Software Engineering: Specification Implementation Verification

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

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

Alagi? Suad、Springer、2018年8月18日、196、paperback

▼ 東京より発送▲ 若干スレキズ等ありますが、使用感少なく概ね良好

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

The Special Theory of Relativity Foundations, Theory, Verification, Applications ＜Undergraduate Lecture Notes in Physics＞

[書影]

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

￥4,000

Costas Christodoulides、SPRINGER-VERLAG、2016年、480、8･･･

少汚れ有。表紙少擦れ。本文は概ね良好。

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

Control but verify: Verification and the new non-proliferation agenda by Muti...

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

￥900 （送料：￥350～）

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

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

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

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) インボイス対応の領収書等ご入用の場合は、通信欄よりお知らせください

Systems and Software Verification: Model-Checking Techniques and Tools

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

￥3,854 （送料：￥350～）

Berard B.、Springer、0、202、hardcover

▼ 東京より発送 ▼ 巻頭奥付ページ：強めの開き癖 ▼ 全体的に若干使用感・スレキズ・薄ヤケ・薄汚れ少々、表紙角傷み少々

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

Systems and Software Verification: Model-Checking Techniques and Tools

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

￥3,856 （送料：￥350～）

Berard B.、Springer、0、202、hardcover

▼ 東京より発送▲ 若干スレキズ等ありますが、使用感少なく概ね良好

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

Introduction to Finite Element Analysis: Formulation Verification and Validation (Wiley Series in Computational Mechanics)

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

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

Szabo Barna、Wiley、2011年4月18日、384、hardcover

▼ 東京より発送 ▼ 表紙：カバーフィルム添付あり ▼ 全体的に多少使用感・スレキズ・薄ヤケ・汚れ少々

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

Verification Techniques for System-Level Design (Systems on Silicon)

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

￥3,233 （送料：￥350～）

Fujita Masahiro、Morgan Kaufmann、2007年10月31日、256、ha･･･

▼ 東京より発送 ▼ 側面：斑点状のシミ▼ 全体的に若干使用感・スレキズ・薄ヤケ・薄汚れ少々

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

Fracture Mechanics Verification by Large-Scale Testing (EGF/ESIS 8)

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

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

Kussmaul K. F.、Wiley、1991年9月2日、448、hardcover

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

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

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円以上でお願いいたします。通常は書籍のみの発送で書類は同封しておりません。必要書類がある方は当店の「書籍の購入について」をご覧の上、ご注文時にお問合せ欄より必要事項を事前にご連絡ください。

ESL Design and Verification: A Prescription for Electronic System Level Methodology (Systems on Silicon)

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

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

Martin Grant、Morgan Kaufmann、2007年3月9日、488、hardcov･･･

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

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

KAWASHIMA　No.22　特集：近代の検証

[書影]

氷川書房
 東京都葛飾区青戸

￥1,100 （送料：￥420～）

株式会社川島織物編、株式会社川島織物、昭62

川島織物PR誌　24×26cm　38頁　状態：良好

【水曜日・土曜日定休】 国税庁適格請求書発行事業者番号 T2810722326225

Verification of Object-Oriented Software : The KeY Approach

ヨウキ書店
 埼玉県草加市谷塚上町

￥11,700

Bernhard Beckert 他、2007、658p、A5判、送料600円

＊Springer 発行。　【大学除籍本】に付き見返しに蔵印・除籍印等があります。函やカバーのない裸本、Paperback。　多少のヤケがありますが、それ以外は概ね良好です。教員専用使用品。

記載の送料は国内発送のみ、複数冊ご注文の場合は1梱包で別途計算します。　海外発送の場合は実費。代引きご希望の場合は1冊でも宅配便(実費)の利用。　*送料600円以上の場合はレターパックプラス又は宅配便で発送。　　*定休日: 水・金・日曜日　　　*営業時間: 10:00～15:30

Validation and Verification of Knowledge Based Systems : Theory, Tools and Practice

ヨウキ書店
 埼玉県草加市谷塚上町

￥6,600

Anca Vermesan 他編、1999、364p、A5判、送料290円

＊Kluwer Academic Publishers 発行。　【大学除籍本】に付きシールや蔵印・除籍印等があります。函やカバーのない裸本、Hardback。　それ以外は良好です。教員専用使用品。

記載の送料は国内発送のみ、複数冊ご注文の場合は1梱包で別途計算します。　海外発送の場合は実費。代引きご希望の場合は1冊でも宅配便(実費)の利用。　*送料600円以上の場合はレターパックプラス又は宅配便で発送。　　*定休日: 水・金・日曜日　　　*営業時間: 10:00～15:30

国立民族学博物館調査報告82　「渡鴉のアーチ」(1903-2002)　ジェサップ北太平洋調査を追試検証する

氷川書房
 東京都葛飾区青戸

￥2,200

谷本一之・井上紘一編、国立民族学博物館、平21

B5版321頁　状態:並

【水曜日・土曜日定休】 国税庁適格請求書発行事業者番号 T2810722326225

XUnit test patterns : refactoring test code ＜The Addison-Wesley signature series＞

不死鳥BOOKS
 岡山県総社市駅前

￥8,330 （送料：￥600～）

Gerard Meszaros、Addison-Wesley、lx, 883 p、25cm

多少の使用感、経年感があります。

特別展　検証!関東の弥生文化-一粒の米が変えたくらし

氷川書房
 東京都葛飾区青戸

￥1,650

埼玉県立博物館編、埼玉県立博物館、1994

A4版67頁　状態:良好　カラー図版2頁

【水曜日・土曜日定休】 国税庁適格請求書発行事業者番号 T2810722326225

政府事故調　中間報告書/最終報告書　2分冊セット

[書影]

氷川書房
 東京都葛飾区青戸

￥4,950 （送料：￥890～）

東京電力福島原子力発電所における事故調査・検証委員会、メディアランド、平24、2冊

B5判　函　中間報告書（平成23年12月26日）：212頁　最終報告書（平成24年7月23日）：378頁　【ゆうパックで発送します】

【水曜日・土曜日定休】 国税庁適格請求書発行事業者番号 T2810722326225

木碑からの検証－戦時下の土浦駅構内事故　全2冊

[書影]

氷川書房
 東京都葛飾区青戸

￥1,650 （送料：￥275～）

佐賀純一、筑波書林、1984、2冊

ふるさと文庫　新書サイズ　177頁　状態：良好

【水曜日・土曜日定休】 国税庁適格請求書発行事業者番号 T2810722326225

Non - Ontological Constructs. The Effects of Abaelard's Logical and Ethical Theories on His Theology : A Study in Meaning and Verification. (Basler und Berner Studien zur historischen und systematischen Theologie.)

角口書店
 北海道札幌市中央区宮の森四条

￥9,000

Daniel F. Blackwell (検索用、非　オントロジー　構築)、Peter Lang、･･･

表紙端僅ヤケ　小口少すれ・シミ跡少・天小口僅ヤケ　ISBN 3261036842　ソフトカバー

送料は、実費です。 日本郵便のクリックポスト　レターパックプラスまたはライト　ゆうパック)の 料金表に基づきます。 海外発送の場合は、 EMSでのお取り扱いとなりますのでご了承ください。 大きさや重量により、選択させていただきます。 入金・決済の確認後に発送いたします。

検証・赤穂事件　1：殿中刃傷から赤穂城明け渡しまで/2：討ち入りへ、そして本懐、事件後　2冊

[書影]

氷川書房
 東京都葛飾区青戸

￥8,800 （送料：￥420～）

赤穂市立歴史博物館、赤穂市立歴史博物館、2001-2002、2冊

【展覧会図録】A4判　115頁/130頁　状態：良好

【水曜日・土曜日定休】 国税庁適格請求書発行事業者番号 T2810722326225

市制施行55周年記念　歴史シンポジウム　検証邪馬台国－安満宮山古墳をめぐって

[書影]

氷川書房
 東京都葛飾区青戸

￥2,200 （送料：￥330～）

高槻市立埋蔵文化財調査センター、高槻市立埋蔵文化財調査センター、平10

A4判78頁＋口絵4頁　状態：並　1998年5月10日

【水曜日・土曜日定休】 国税庁適格請求書発行事業者番号 T2810722326225

Wittgenstein on Thought, Language and Philosophy: From Theory to Therapy ＜Avebury series in philosophy＞

大山堂書店
 東京都文京区本郷　5-26-6　

￥2,750

Christoffer Gefwert、Ashgate、2000、xvii, 316 p.、23 c･･･

ハードカバー　少汚れ

ご来店の上でご購入希望の場合、事前にご連絡をお願い申し上げます。 店舗とは別の倉庫に保管している商品も多くございますので、事前にご連絡いただけませんと、お出しできない場合が多々ございます。また、在庫確認、本の状態確認はメールでお願い申し上げます。お電話いただきましても、その場ではお答えできません。

Ways of Meaning : An Introduction to a Philosophy of Language 2nd ed

大山堂書店
 東京都文京区本郷　5-26-6　

￥1,650

Mark de Bretton Platts、MIT Press、1997、304p、23cm、1冊

ペーパーバック　フィルムコーティング　天に少汚れ

ご来店の上でご購入希望の場合、事前にご連絡をお願い申し上げます。 店舗とは別の倉庫に保管している商品も多くございますので、事前にご連絡いただけませんと、お出しできない場合が多々ございます。また、在庫確認、本の状態確認はメールでお願い申し上げます。お電話いただきましても、その場ではお答えできません。

アサーションベース設計 原書2版

合同会社BRK-BOOKS
 東京都杉並区天沼

￥2,900 （送料：￥185～）

Harry D.Foster, Adam C.Krolnik, David J.Lacey 著 ; ･･･

【24時間以内発送】 カバー付　カバー上下フチややスレ・ヨレ　蛍光ラインマーカーによる線引きのあるページが30p程有

※領収書がご必要の場合は必ず事前にお申し付けください。押印希望の場合もご連絡くださいませ。 【24時間以内発送】 銀行振り込みは【ゆうちょ銀行】と【住信SBIネット銀行】がご利用可能です。 クリックポスト・レターパック・ゆうパック・佐川飛脚便のうち、最も安価な方法で発送します(追跡番号つき)。1万円以上の商品につきましてはクリックポストは利用いたしません。ゆうパックは全国一律1100円です。 ★単品スピード注文以外のご注文は、ご入金確認後24時間以内に発送いたします。

Introduction to cryptography : with coding theory

不死鳥BOOKS
 岡山県総社市駅前

￥7,100

Wade Trappe, Lawrence C. Washington、Pearson, Prent･･･

多少のヤケシミがあります。

現代哲学の基礎　　（分析哲学研究論集　その5）

金子書店
 東京都江東区森下

￥1,650

植田清次 編、早稲田大学出版部、昭和35年、503p (図版共)、22cm

函、ヨゴレ、スレ、あり。
本文は概ね良好。