1～3件／全3件 セーフサーチON
  •  
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers (Lecture Notes in Computer Science)
  • 洋書

Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Okada, M. (EDT)/ Pierce, B./ Scedrov, A. (EDT)/ Tokuda, H. (EDT)/ Yome

  • ウェブストア価格 ¥12,310（本体¥11,191）
  • Springer-Verlag New York Inc（2003/04発売）
  • ポイント 111pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥19,026（本体¥17,297）
  • Springer International Publishing AG（2023/10発売）
  • ポイント 172pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥7,101（本体¥6,456）
  • SPRINGER, BERLIN（2008発売）
  • ポイント 64pt
  • 海外取次在庫
1～3件／全3件
  •