1～4件／全4件 セーフサーチON
  •  
ダイアグラムとしてのプログラム<br>Programs as Diagrams : From Categorical Computability to Computable Categories (Theory and Applications of Computability)
  • 洋書

ダイアグラムとしてのプログラム
Programs as Diagrams : From Categorical Computability to Computable Categories (Theory and Applications of Computability)  Hardcover

Pavlovic, Dusko

  • ウェブストア価格 ¥22,102（本体¥20,093）
  • Springer International Publishing AG（2023/09発売）
  • ポイント 200pt
  • 海外取次在庫
Programs as Diagrams : From Categorical Computability to Computable Categories (Theory and Applications of Computability)
  • 洋書

Programs as Diagrams : From Categorical Computability to Computable Categories (Theory and Applications of Computability)  Paperback,  言語：ENG

Pavlovic, Dusko

  • ウェブストア価格 ¥15,097（本体¥13,725）
  • Springer International Publishing AG（2024/09発売）
  • ポイント 137pt
  • 海外からお取り寄せ（通常6～9週間）
Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Guttman, Joshua D. (EDT)/ Landwehr, Carl E. (EDT)/ Meseguer, José (EDT)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer Nature Switzerland AG（2019/04発売）
  • ポイント 110pt
  • 海外取次在庫
Introduction to Security Science : Basic Concepts and Mathematical Foundations (Information Security and Cryptography) （2026. xvi, 220 S. XVI, 220 p. 102 illus., 59 illus. in color. 235 mm）
  • 洋書
  • 予約

Introduction to Security Science : Basic Concepts and Mathematical Foundations (Information Security and Cryptography) （2026. xvi, 220 S. XVI, 220 p. 102 illus., 59 illus. in color. 235 mm）  Hardcover,  言語：ENG

Pavlovic, Dusko/Seidel, Peter-Michael

  • ウェブストア価格 ¥18,098（本体¥16,453）
  • SPRINGER, BERLIN; SPRINGER（2026/01発売）
  • ポイント 164pt
  • ご予約受付中。出版後の入荷・発送
1～4件／全4件
  •