Edsger Wybe Dijkstra : His Life, Work, and Legacy
  • 洋書

Edsger Wybe Dijkstra : His Life, Work, and Legacy  Paperback,  言語:ENG

Apt, Krzysztof R. (EDT)/ Hoare, Tony (EDT)

  • ウェブストア価格 ¥17,553(本体¥15,958)
  • Association of Computing Machinery,U.S.(2022/07発売)
  • ポイント 159pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Edsger Wybe Dijkstra : His Life, Work, and Legacy
  • 洋書

Edsger Wybe Dijkstra : His Life, Work, and Legacy  Hardcover,  言語:ENG

Apt, Krzysztof R./ Hoare, Tony

  • ウェブストア価格 ¥22,891(本体¥20,810)
  • Association of Computing Machinery,U.S.(2022/07発売)
  • ポイント 208pt
  • 海外取次在庫
Verification of Sequential and Concurrent Programs (Texts in Computer Science) (3RD)
  • 洋書

Verification of Sequential and Concurrent Programs (Texts in Computer Science) (3RD)  Paperback,  言語:ENG

Apt, Krzysztof R./ De Boer, Frank S./ Olderog, Ernst-Rudiger/ Pnueli,

  • ウェブストア価格 ¥17,561(本体¥15,965)
  • Springer-Verlag New York Inc(2012/03発売)
  • ポイント 159pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logics and Models of Concurrent Systems (NATO Asi Series (Closed) / NATO Asi Subseries F: (Closed)) (Reprint)
  • 洋書

Logics and Models of Concurrent Systems (NATO Asi Series (Closed) / NATO Asi Subseries F: (Closed)) (Reprint)  Paperback,  言語:ENG

Apt, Krzysztof R. (EDT)

  • ウェブストア価格 ¥21,464(本体¥19,513)
  • Springer-Verlag New York Inc(2012/07発売)
  • ポイント 195pt
  • 海外取次在庫
The Logic Programming Paradigm : A 25year Perspective (Artificial Intelligence) (Reprint)
  • 洋書

The Logic Programming Paradigm : A 25year Perspective (Artificial Intelligence) (Reprint)  Paperback,  言語:ENG

Apt, Krzysztof R. (EDT)/ Marek, Victor W. (EDT)/ Truszczynski, Mirek (

  • ウェブストア価格 ¥21,464(本体¥19,513)
  • Springer-Verlag New York Inc(2012/07発売)
  • ポイント 195pt
  • 海外取次在庫
コンピュータ科学者のためのゲーム理論:講義録<br>Lectures in Game Theory for Computer Scientists
  • 洋書

コンピュータ科学者のためのゲーム理論:講義録
Lectures in Game Theory for Computer Scientists
 Hardcover,  言語:ENG

Apt, Krzysztof R. (EDT)/ Grädel, Erich (EDT)

  • ウェブストア価格 ¥27,711(本体¥25,192)
  • Cambridge University Press(2011/01発売)
  • ポイント 251pt
  • 海外取次在庫
Constraint Logic Programming using Eclipse
  • 洋書

Constraint Logic Programming using Eclipse  Hardcover,  言語:ENG

Apt, Krzysztof R./ Wallace, Mark

  • ウェブストア価格 ¥18,146(本体¥16,497)
  • Cambridge University Press(2006/12発売)
  • ポイント 164pt
  • 海外取次在庫
Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers (Lecture Notes in Computer Science Vol.3010) (2004. CCLXXXV, 8 p. 23,5 cm)
  • 洋書

Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers (Lecture Notes in Computer Science Vol.3010) (2004. CCLXXXV, 8 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Krzysztof R. Apt, Francois Fages, Francesca Rossi et al.

  • ウェブストア価格 ¥12,576(本体¥11,433)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 114pt
  • 海外取次在庫