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

  • ウェブストア価格 ¥12,827(本体¥11,661)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 116pt
  • 海外からお取り寄せ(通常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)

  • ウェブストア価格 ¥37,062(本体¥33,693)
  • Birkhauser Verlag AG(2022/08発売)
  • ポイント 336pt
  • 海外からお取り寄せ(通常6~9週間)
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

  • ウェブストア価格 ¥11,401(本体¥10,365)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 103pt
  • 海外からお取り寄せ(通常6~9週間)
線形順序付け問題研究:組合せ最適化の厳密かつ全体論的な方法(第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

  • ウェブストア価格 ¥29,283(本体¥26,621)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2022/03発売)
  • ポイント 266pt
  • 海外取次在庫
普遍代数論理学<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

  • ウェブストア価格 ¥31,535(本体¥28,669)
  • Birkhauser Verlag AG(2022/11発売)
  • ポイント 286pt
  • 海外取次在庫
Mathematik für Ingenieure 2 : Angewandte Analysis im Bachelorstudium (2. Aufl.)
  • 洋書

Mathematik für Ingenieure 2 : Angewandte Analysis im Bachelorstudium (2. Aufl.)  Paperback

Knorrenschild, Michael

  • ウェブストア価格 ¥9,256(本体¥8,415)
  • Hanser Fachbuchverlag(2022/03発売)
  • ポイント 84pt
  • 海外からお取り寄せ(通常6~9週間)
Mathe - kann ich : Band 1: Grundlagen
  • 洋書

Mathe - kann ich : Band 1: Grundlagen  Hardcover

Schmidt-Groettrup, Markus/ Best, Katharina

  • ウェブストア価格 ¥5,287(本体¥4,807)
  • Hanser Fachbuchverlag(2022/01発売)
  • ポイント 48pt
  • 海外からお取り寄せ(通常6~9週間)
Vom Universum des Denkens : Eine Geistesgeschichte der Logik (1. Aufl. 2022)
  • 洋書

Vom Universum des Denkens : Eine Geistesgeschichte der Logik (1. Aufl. 2022)  Hardcover

Tschirk, Wolfgang

  • ウェブストア価格 ¥6,611(本体¥6,010)
  • Springer, Berlin; Springer(2022/08発売)
  • ポイント 60pt
  • 海外取次在庫
Matrizen : Rechenregeln in der Matrizenrechnung
  • 洋書

Matrizen : Rechenregeln in der Matrizenrechnung

Schulze Media GmbH

  • ウェブストア価格 ¥2,438(本体¥2,217)
  • Dreipunkt Verlag; Schulze Media(2022/09発売)
  • ポイント 22pt
  • 海外取次在庫
Vorkurs der Ingenieurmathematik (5. Aufl.)
  • 洋書

Vorkurs der Ingenieurmathematik (5. Aufl.)

Wendeler, Juergen

  • ウェブストア価格 ¥10,396(本体¥9,451)
  • Europa-Lehrmittel(2022/09発売)
  • ポイント 94pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥45,052(本体¥40,957)
  • Springer Nature Switzerland AG(2023/01発売)
  • ポイント 409pt
  • 海外取次在庫
The Legacy of Kurt Schütte (2020)
  • 洋書

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

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

  • ウェブストア価格 ¥29,283(本体¥26,621)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 266pt
  • オンデマンド(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

  • ウェブストア価格 ¥15,678(本体¥14,253)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 142pt
  • 海外からお取り寄せ(通常6~9週間)
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

  • ウェブストア価格 ¥12,387(本体¥11,261)
  • Springer Nature Switzerland AG(2021/12発売)
  • ポイント 112pt
  • オンデマンド(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

  • ウェブストア価格 ¥12,387(本体¥11,261)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 112pt
  • オンデマンド(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

  • ウェブストア価格 ¥13,513(本体¥12,285)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 122pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Mathematik für Ingenieure 1 : Grundlagen im Bachelorstudium (2. Aufl.)
  • 洋書

Mathematik für Ingenieure 1 : Grundlagen im Bachelorstudium (2. Aufl.)  Paperback

Knorrenschild, Michael

  • ウェブストア価格 ¥7,933(本体¥7,212)
  • Hanser Fachbuchverlag(2021/11発売)
  • ポイント 72pt
  • 海外からお取り寄せ(通常6~9週間)
Trigonometrie : Eine Einführung in die ebene Trigonometrie. Herleitungen, Definitionen, Gesetze und Regeln. (NED)
  • 洋書

Trigonometrie : Eine Einführung in die ebene Trigonometrie. Herleitungen, Definitionen, Gesetze und Regeln. (NED)

Schulze Media GmbH

  • ウェブストア価格 ¥2,426(本体¥2,206)
  • Dreipunkt Verlag; Schulze Media(2021/06発売)
  • ポイント 22pt
  • 海外取次在庫
思考するプログラム:言語・データ・計算・実行にかかわる論理的モデル化・推論(テキスト)<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

  • ウェブストア価格 ¥28,304(本体¥25,731)
  • Springer, Berlin; Springer International Publishing; Springe(2021発売)
  • ポイント 257pt
  • 海外からお取り寄せ(通常6~9週間)
The Legacy of Kurt Schütte (2020)
  • 洋書

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

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

  • ウェブストア価格 ¥29,283(本体¥26,621)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 266pt
  • 海外取次在庫