Optimization Algorithms for Distributed Machine Learning (Synthesis Lectures on Learning, Networks, and Algorithms) (2023)
  • 洋書

Optimization Algorithms for Distributed Machine Learning (Synthesis Lectures on Learning, Networks, and Algorithms) (2023)  Hardcover

Joshi, Gauri

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 94pt
  • 海外からお取り寄せ(通常6~9週間)
普遍代数論理学<br>Universal Algebraic Logic : Dedicated to the Unity of Science (Studies in Universal Logic) (2022)
  • 洋書

普遍代数論理学
Universal Algebraic Logic : Dedicated to the Unity of Science (Studies in Universal Logic) (2022)
 Hardcover

Andréka, Hajnal/ Gyenis, Zalán/ Németi, István

  • ウェブストア価格 ¥29,170(本体¥26,519)
  • Birkhauser Verlag AG(2022/11発売)
  • ポイント 265pt
  • 海外取次在庫
Thinking Programs : Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation) (2021)
  • 洋書

Thinking Programs : Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation) (2021)  Paperback,  言語:ENG

Schreiner, Wolfgang

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer Nature Switzerland AG(2022/10発売)
  • ポイント 151pt
  • 海外取次在庫
Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials in the Applied Mathematical Sciences)
  • 洋書

Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials in the Applied Mathematical Sciences)  Paperback

Löh, Clara

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 104pt
  • 海外からお取り寄せ(通常6~9週間)
A.P. Morse's Set Theory and Analysis (2022)
  • 洋書

A.P. Morse's Set Theory and Analysis (2022)  Hardcover

Alps, Robert A. (EDT)

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • Birkhauser Verlag AG(2022/08発売)
  • ポイント 322pt
  • 海外からお取り寄せ(通常6~9週間)
数理論理学(テキスト・第3版)<br>Mathematical Logic (Graduate Texts in Mathematics) (3RD)
  • 洋書

数理論理学(テキスト・第3版)
Mathematical Logic (Graduate Texts in Mathematics) (3RD)
 Paperback

Ebbinghaus, Heinz-Dieter/ Flum, Jörg/ Thomas, Wolfgang

  • ウェブストア価格 ¥12,995(本体¥11,814)
  • Springer Nature Switzerland AG(2022/05発売)
  • ポイント 118pt
  • 海外からお取り寄せ(通常6~9週間)
Logic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019) (Studies in Universal Logic)
  • 洋書

Logic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019) (Studies in Universal Logic)  Hardcover,  言語:ENG

Béziau, Jean-Yves (EDT)/ Desclés, Jean-Pierre (EDT)/ Moktefi, Amirouche (EDT)

  • ウェブストア価格 ¥41,674(本体¥37,886)
  • Springer Nature Switzerland AG(2023/01発売)
  • ポイント 378pt
  • 海外取次在庫
線形順序付け問題研究:組合せ最適化の厳密かつ全体論的な方法(第2版)<br>Exact and Heuristic Methods in Combinatorial Optimization : A Study on the Linear Ordering and the Maximum Diversity Problem (Applied Mathematical Sciences) (2ND)
  • 洋書

線形順序付け問題研究:組合せ最適化の厳密かつ全体論的な方法(第2版)
Exact and Heuristic Methods in Combinatorial Optimization : A Study on the Linear Ordering and the Maximum Diversity Problem (Applied Mathematical Sciences) (2ND)
 Hardcover

Martí, Rafael/ Reinelt, Gerhard

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2022/03発売)
  • ポイント 246pt
  • 海外取次在庫
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic) (2021)
  • 洋書

Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic) (2021)  Paperback,  言語:ENG

Indrzejczak, Andrzej

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2021/12発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
  • 洋書

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)  Paperback,  言語:ENG

Rasga, João/ Sernadas, Cristina

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 123pt
  • 海外からお取り寄せ(通常6~9週間)
思考するプログラム:言語・データ・計算・実行にかかわる論理的モデル化・推論(テキスト)<br>Thinking Programs : Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation)
  • 洋書

思考するプログラム:言語・データ・計算・実行にかかわる論理的モデル化・推論(テキスト)
Thinking Programs : Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation)
 Hardcover

Schreiner, Wolfgang

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 208pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
抽象数学への招待(学部生用テキスト・第2版)<br>An Invitation to Abstract Mathematics (Undergraduate Texts in Mathematics) (2ND)
  • 洋書

抽象数学への招待(学部生用テキスト・第2版)
An Invitation to Abstract Mathematics (Undergraduate Texts in Mathematics) (2ND)
 Paperback

Bajnok, Béla

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
ゲーデルの不完全定理とツェルメロの公理:数学の堅固な基盤(テキスト)<br>Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics (2020)
  • 洋書

ゲーデルの不完全定理とツェルメロの公理:数学の堅固な基盤(テキスト)
Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics (2020)
 Paperback

Halbeisen, Lorenz/ Krapf, Regula

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 113pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
数理論理学(テキスト)<br>Mathematical Logic : Exercises and Solutions (Problem Books in Mathematics)
  • 洋書

数理論理学(テキスト)
Mathematical Logic : Exercises and Solutions (Problem Books in Mathematics)
 Hardcover,  言語:ENG

Csirmaz, Laszlo/ Gyenis, Zalán

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 132pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
The Legacy of Kurt Schütte (2020)
  • 洋書

The Legacy of Kurt Schütte (2020)  Paperback,  言語:ENG

Kahle, Reinhard (EDT)/ Rathjen, Michael (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 246pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
数理論理学(テキスト・第3版)<br>Mathematical Logic (Graduate Texts in Mathematics) (3RD)
  • 洋書

数理論理学(テキスト・第3版)
Mathematical Logic (Graduate Texts in Mathematics) (3RD)
 Hardcover,  言語:ENG

Ebbinghaus, Heinz-Dieter/ Flum, Jörg/ Thomas, Wolfgang

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer Nature Switzerland AG(2021/05発売)
  • ポイント 132pt
  • 海外取次在庫
The Legacy of Kurt Schütte (2020)
  • 洋書

The Legacy of Kurt Schütte (2020)  Hardcover,  言語:ENG

Kahle, Reinhard (EDT)/ Rathjen, Michael (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 246pt
  • 海外取次在庫
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
  • 洋書

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)  Hardcover,  言語:ENG

Rasga, João/ Sernadas, Cristina

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 123pt
  • 海外からお取り寄せ(通常6~9週間)
Höhere Mathematik kompakt : mit Erklärvideos und interaktiven Visualisierungen (3RD)
  • 洋書

Höhere Mathematik kompakt : mit Erklärvideos und interaktiven Visualisierungen (3RD)  Paperback

Hoever, Georg

  • ウェブストア価格 ¥8,332(本体¥7,575)
  • Springer Spektrum(2020/09発売)
  • ポイント 75pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
ゲーデルの不完全定理とツェルメロの公理:数学の堅固な基盤(テキスト)<br>Gödel's Theorems and Zermelo's Axioms; . : A Firm Foundation of Mathematics (2020. xii, 236 S. XII, 236 p. 235 mm)
  • 洋書

ゲーデルの不完全定理とツェルメロの公理:数学の堅固な基盤(テキスト)
Gödel's Theorems and Zermelo's Axioms; . : A Firm Foundation of Mathematics (2020. xii, 236 S. XII, 236 p. 235 mm)
 Hardcover

Halbeisen, Lorenz/ Krapf, Regula

  • ウェブストア価格 ¥17,202(本体¥15,639)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2020発売)
  • ポイント 156pt
  • 海外からお取り寄せ(通常6~9週間)