Axiomatic Thinking I
  • 洋書

Axiomatic Thinking I  Paperback,  言語:ENG

Ferreira, Fernando (EDT)/ Kahle, Reinhard (EDT)/ Sommaruga, Giovanni (EDT)

  • ウェブストア価格 ¥22,524(本体¥20,477)
  • Springer Nature Switzerland AG(2023/10発売)
  • ポイント 204pt
  • 海外取次在庫
Axiomatic Thinking II
  • 洋書

Axiomatic Thinking II  Paperback

Ferreira, Fernando (EDT)/ Kahle, Reinhard (EDT)/ Sommaruga, Giovanni (EDT)

  • ウェブストア価格 ¥24,777(本体¥22,525)
  • Springer Nature Switzerland AG(2023/09発売)
  • ポイント 225pt
  • 海外取次在庫
Turing's Revolution : The Impact of His Ideas about Computability
  • 洋書

Turing's Revolution : The Impact of His Ideas about Computability  Paperback

Sommaruga, Giovanni (EDT)/ Strahm, Thomas (EDT)

  • ウェブストア価格 ¥29,283(本体¥26,621)
  • Birkhauser Verlag AG(2018/03発売)
  • ポイント 266pt
  • 海外取次在庫
Berechenbarkeit : Berechnungsmodelle und Unentscheidbarkeit (essentials)
  • 洋書

Berechenbarkeit : Berechnungsmodelle und Unentscheidbarkeit (essentials)  Paperback,  言語:GER

Zimmermann, Karl-Heinz

  • ウェブストア価格 ¥4,052(本体¥3,684)
  • Springer Spektrum(2020/10発売)
  • ポイント 36pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Zur Philosophie der Mathematik : Logizismus, Intuitionismus, Finitismus, Gödel'sche Unvollständigkeitssätze
  • 洋書

Zur Philosophie der Mathematik : Logizismus, Intuitionismus, Finitismus, Gödel'sche Unvollständigkeitssätze  Paperback

George, Alexander/ Velleman, Daniel J./ Bedürftig, Thomas (TRN)

  • ウェブストア価格 ¥9,007(本体¥8,189)
  • Springer Spektrum(2018/04発売)
  • ポイント 81pt
  • 海外取次在庫
Beweisen lernen Schritt für Schritt : für einen gelungenen Einstieg ins Mathestudium
  • 洋書

Beweisen lernen Schritt für Schritt : für einen gelungenen Einstieg ins Mathestudium  Paperback

Junk, Michael/ Treude, Jan-Hendrik

  • ウェブストア価格 ¥10,134(本体¥9,213)
  • Springer Spektrum(2020/08発売)
  • ポイント 92pt
  • 海外取次在庫
Einführung in die Mengenlehre (5TH)
  • 洋書

Einführung in die Mengenlehre (5TH)  Paperback

Ebbinghaus, Heinz-Dieter

  • ウェブストア価格 ¥8,558(本体¥7,780)
  • Springer Spektrum(2021/07発売)
  • ポイント 77pt
  • 海外取次在庫
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Artemov, Sergei (EDT)/ Nerode, Anil (EDT)

  • ウェブストア価格 ¥12,387(本体¥11,261)
  • Springer Nature Switzerland AG(2019/12発売)
  • ポイント 112pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings (
  • 洋書

Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings (  Paperback,  言語:ENG

Goubault-Larrecq, Jean (EDT)/ König, Barbara (EDT)

  • ウェブストア価格 ¥11,260(本体¥10,237)
  • Springer Nature Switzerland AG(2020/04発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics (Outstanding Contributions to Logic)
  • 洋書
  • 電子版あり

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics (Outstanding Contributions to Logic)  Hardcover,  言語:ENG

Citkin, Alex (EDT)/ Vandoulakis, Ioannis M. (EDT)

  • ウェブストア価格 ¥36,041(本体¥32,765)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 327pt
  • 海外取次在庫
Formal Methods Teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Formal Methods Teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Dubois, Catherine (EDT)/ San Pietro, Pierluigi (EDT)

  • ウェブストア価格 ¥13,513(本体¥12,285)
  • Springer International Publishing AG(2023/02発売)
  • ポイント 122pt
  • 海外取次在庫
Unity of Logic and Computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Unity of Logic and Computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Della Vedova, Gianluca (EDT)/ Dundua, Besik (EDT)/ Lempp, Steffen (EDT)

  • ウェブストア価格 ¥18,019(本体¥16,381)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 163pt
  • 海外取次在庫
Church's Thesis After 70 Years (ontos mathematical logic)
  • 洋書

Church's Thesis After 70 Years (ontos mathematical logic)  Hardcover

Olszewski, AdamEDT/ Wolenski, JanEDT/ Janusz, RobertEDT

  • ウェブストア価格 ¥43,637(本体¥39,670)
  • De Gruyter(2006発売)
  • ポイント 396pt
  • 海外取次在庫
EINS PLUS 1 (LP 2023) | Digitale Toolbox EL : Einzellizenz / Ausgabe Österreich (Eins plus (A))
  • 洋書

EINS PLUS 1 (LP 2023) | Digitale Toolbox EL : Einzellizenz / Ausgabe Österreich (Eins plus (A))

Wohlhart, David/ Scharnreitner, Michael/ Wohlhart, Elisa

  • ウェブストア価格 ¥16,534(本体¥15,031)
  • Helbling Verlag(2023発売)
  • ポイント 150pt
  • 海外からお取り寄せ(通常6~9週間)
Algebra without Borders - Classical and Constructive Nonassociative Algebraic Structures : Foundations and Applications (Steam-h: Science, Technology, Engineering, Agriculture, Mathematics & Health)
  • 洋書
  • 電子版あり

Algebra without Borders - Classical and Constructive Nonassociative Algebraic Structures : Foundations and Applications (Steam-h: Science, Technology, Engineering, Agriculture, Mathematics & Health)  Hardcover

Hounkonnou, Mahouton Norbert (EDT)/ Mitrović, Melanija (EDT)/ Abbas, Mujahid (EDT)

  • ウェブストア価格 ¥38,294(本体¥34,813)
  • Springer International Publishing AG(2023/12発売)
  • ポイント 348pt
  • 海外取次在庫
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書
  • 電子版あり

Formal Methods Teaching : 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Sekerinski, Emil (EDT)/ Ribeiro, Leila (EDT)

  • ウェブストア価格 ¥10,134(本体¥9,213)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 92pt
  • 海外取次在庫
Astronomie und Mathematik in ihrer Wechselwirkung : Mathematische Probleme in der Theorie der Figur der Himmelskörper (Edition Classic) (Repr. d. Ausg. v. 1922)
  • 洋書

Astronomie und Mathematik in ihrer Wechselwirkung : Mathematische Probleme in der Theorie der Figur der Himmelskörper (Edition Classic) (Repr. d. Ausg. v. 1922)  Paperback

Lichtenstein, Leon/ Krosigk, Esther vonEDT

  • ウェブストア価格 ¥11,111(本体¥10,101)
  • VDM Verlag Dr. Müller(2012発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
String Processing and Information Retrieval : 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

String Processing and Information Retrieval : 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Nardini, Franco Maria (EDT)/ Pisanti, Nadia (EDT)/ Venturini, Rossano (EDT)

  • ウェブストア価格 ¥19,145(本体¥17,405)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 174pt
  • 海外取次在庫
Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書
  • 電子版あり

Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

König, Barbara (EDT)/ Urbat, Henning (EDT)

  • ウェブストア価格 ¥15,766(本体¥14,333)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 143pt
  • 海外取次在庫
Brücken zur Mathematik - Band 1 : Grundlagen (4., neubearbeitete Auflage) - Vorkurs für Studienanfänger - Schulbuch mit CD-ROM (Brücken zur Mathematik) (4., neubearb. Aufl.)
  • 洋書

Brücken zur Mathematik - Band 1 : Grundlagen (4., neubearbeitete Auflage) - Vorkurs für Studienanfänger - Schulbuch mit CD-ROM (Brücken zur Mathematik) (4., neubearb. Aufl.)  Paperback

Hohloch, EberhardEDT/ Kuemmerer, HarroEDT/ Kurz, GuentherEDT

  • ウェブストア価格 ¥6,481(本体¥5,892)
  • Cornelsen Verlag(2006発売)
  • ポイント 58pt
  • 海外からお取り寄せ(通常6~9週間)