1～3件／全3件 セーフサーチON
  •  
Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Hansen, Helle Hvid (EDT)/ Scedrov, Andre (EDT)/ de Queiroz, Ruy J.G.B. (EDT)

  • ウェブストア価格 ¥17,829（本体¥16,209）
  • Springer International Publishing AG（2023/10発売）
  • ポイント 162pt
  • 海外取次在庫
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,604（本体¥6,004）
  • SPRINGER, BERLIN（2008発売）
  • ポイント 60pt
  • 海外取次在庫
Tools and Methods of Program Analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Tools and Methods of Program Analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語：ENG

Itsykson, Vladimir (EDT)/ Scedrov, Andre (EDT)/ Zakharov, Victor (EDT)

  • ウェブストア価格 ¥11,535（本体¥10,487）
  • Springer International Publishing AG（2017/12発売）
  • ポイント 104pt
  • 海外取次在庫
1～3件／全3件
  •