Logical Foundations of Computer Science : Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Logical Foundations of Computer Science : Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Nerode, Anil/ Matiiasevich, Iu V

  • Springer(1994/07発売)
  • ご注文いただけません
Logic for Applications (Monographs in Computer Science) (Reprint)
  • 洋書
  • ポイントキャンペーン

Logic for Applications (Monographs in Computer Science) (Reprint)  Paperback,  言語:ENG

Nerode, Anil/ Shore, Richard A.

  • Springer-Verlag New York Inc(2012/07発売)
  • ご注文いただけません
Automata Theory and its Applications (Progress in Computer Science and Applied Logic)
  • 洋書
  • ポイントキャンペーン

Automata Theory and its Applications (Progress in Computer Science and Applied Logic)  Paperback,  言語:ENG

Khoussainov, Bakhadyr/ Nerode, Anil

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer-Verlag New York Inc.(2012/11発売)
  • ポイント 545pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logical Foundations of Computer Science: International Symposium, Lfcs 2007 New York, NY, USA, June 4-7, 2007 Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Logical Foundations of Computer Science: International Symposium, Lfcs 2007 New York, NY, USA, June 4-7, 2007 Proceedings (Lecture Notes in Computer Science)  言語:ENG

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

  • Springer(2007/01発売)
  • ご注文いただけません
Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 (Lecture Notes in Mathematics, Volume 1429) (2008. 176 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 (Lecture Notes in Mathematics, Volume 1429) (2008. 176 S. 235 mm)  Paperback

Homer, Steven/ Nerode, Anil/ Platek, Richard A./ Sacks, Gerald E./ Scedrov, Andre/ Herausgeber: Odifreddi, Piergiorgio

  • ウェブストア価格 ¥6,871(本体¥6,247)
  • SPRINGER, BERLIN(2008発売)
  • ポイント 310pt
  • 海外取次在庫
Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

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

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

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 545pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

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

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

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 545pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Hybrid Systems (Lecture Notes in Computer Science, Volume 736) (2007. 488 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Hybrid Systems (Lecture Notes in Computer Science, Volume 736) (2007. 488 S. 235 mm)  Paperback

Herausgeber: Ravn, Anders P., Nerode, Anil, Grossman, Robert L., Rischel, Hans

  • ウェブストア価格 ¥13,767(本体¥12,516)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 625pt
  • 海外取次在庫
Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/11発売)
  • ポイント 545pt
  • 海外取次在庫
学部生のための代数曲線とリーマン面(テキスト)<br>Algebraic Curves and Riemann Surfaces for Undergraduates : The Theory of the Donut (1st ed. 2022. 2023. xiv, 450 S. XIV, 450 p. 1 illus. 235 mm)
  • 洋書
  • ポイントキャンペーン

学部生のための代数曲線とリーマン面(テキスト)
Algebraic Curves and Riemann Surfaces for Undergraduates : The Theory of the Donut (1st ed. 2022. 2023. xiv, 450 S. XIV, 450 p. 1 illus. 235 mm)
 Paperback

Nerode, Anil/Greenberg, Noam

  • ウェブストア価格 ¥15,144(本体¥13,768)
  • SPRINGER, BERLIN; ROYAL SOCIETY TE APARANGI; SPRINGER(2023発売)
  • ポイント 685pt
  • 海外からお取り寄せ(通常6~9週間)