Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge) (2ND)
  • 洋書
  • 予約

Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge) (2ND)  Hardcover,  言語:ENG

Zhang, Guo-Qiang/ Abeysinghe, Rashmie/ Cui, Licong

  • Springer International Publishing AG(2025/09発売)
  • ご注文いただけません
Domain Theory, Logic and Computation (Semantics Structures in Computation)
  • 洋書

Domain Theory, Logic and Computation (Semantics Structures in Computation)  Paperback,  言語:ENG

Zhang, Guo-Qiang/ Lawson, J. (EDT)/ Ying Ming Liu, Ying/ Luo, M. K.

  • ウェブストア価格 ¥35,183(本体¥31,985)
  • Springer(2010/12発売)
  • ポイント 319pt
  • 海外からお取り寄せ(通常6~9週間)
Domains and Processes : Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999 (Semantics Structures in Computation)
  • 洋書

Domains and Processes : Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999 (Semantics Structures in Computation)  Paperback,  言語:ENG

Keimel, Klaus (EDT)/ Guo-Qiang Zhang (EDT)/ Ying Ming Liu (EDT)

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer(2012/09発売)
  • ポイント 206pt
  • 海外取次在庫
Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge)
  • 洋書

Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge)  Paperback

Zhang, Guo-Qiang/ Abeysinghe, Rashmie/ Cui, Licong

  • ウェブストア価格 ¥13,450(本体¥12,228)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 122pt
  • 海外取次在庫
Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge)
  • 洋書

Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge)  Hardcover,  言語:ENG

Zhang, Guo-Qiang/ Abeysinghe, Rashmie/ Cui, Licong

  • ウェブストア価格 ¥14,485(本体¥13,169)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 131pt
  • 海外からお取り寄せ(通常6~9週間)
Logic of Domains (Progress in Theoretical Computer Science)
  • 洋書

Logic of Domains (Progress in Theoretical Computer Science)  Hardcover,  言語:ENG

Zhang, Guo-Qiang

  • Birkhauser Verlag AG(1991/06発売)
  • ご注文いただけません