生命医学オントロジーの形式手法(第2版)<br>Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge) (2. Aufl. 2025. xvi, 256 S. XVI, 256 p. 102 illus., 73 illus. in color.)
  • 洋書
  • 電子版あり

生命医学オントロジーの形式手法(第2版)
Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge) (2. Aufl. 2025. xvi, 256 S. XVI, 256 p. 102 illus., 73 illus. in color.)
 Hardcover

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

  • ウェブストア価格 ¥15,566(本体¥14,151)
  • SPRINGER, BERLIN; SPRINGER(2025/10発売)
  • ポイント 141pt
  • 海外からお取り寄せ(通常6~9週間)
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.

  • ウェブストア価格 ¥46,114(本体¥41,922)
  • Springer(2010/12発売)
  • ポイント 419pt
  • 海外からお取り寄せ(通常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)

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer(2012/09発売)
  • ポイント 221pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥14,366(本体¥13,060)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 130pt
  • 海外取次在庫
Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge) (2022. xiv, 245 S. XIV, 245 p. 119 illus., 52 illus. in color. 240 mm)
  • 洋書

Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge) (2022. xiv, 245 S. XIV, 245 p. 119 illus., 52 illus. in color. 240 mm)  Hardcover,  言語:ENG

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

  • ウェブストア価格 ¥18,396(本体¥16,724)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2022発売)
  • ポイント 167pt
  • 海外からお取り寄せ(通常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発売)
  • ご注文いただけません
Advances in Knowledge Discovery and Data Mining : 23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part III (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

Advances in Knowledge Discovery and Data Mining : 23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part III (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Yang, Qiang (EDT)/ Zhou, Zhi-Hua (EDT)/ Gong, Zhiguo (EDT)

  • ウェブストア価格 ¥19,892(本体¥18,084)
  • Springer Nature Switzerland AG(2019/03発売)
  • ポイント 180pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Knowledge Discovery and Data Mining : 23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part II (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

Advances in Knowledge Discovery and Data Mining : 23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part II (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Yang, Qiang (EDT)/ Zhou, Zhi-Hua (EDT)/ Gong, Zhiguo (EDT)

  • ウェブストア価格 ¥19,892(本体¥18,084)
  • Springer Nature Switzerland AG(2019/03発売)
  • ポイント 180pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Knowledge Discovery and Data Mining : 23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part I (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

Advances in Knowledge Discovery and Data Mining : 23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part I (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Yang, Qiang (EDT)/ Zhou, Zhi-Hua (EDT)/ Gong, Zhiguo (EDT)

  • ウェブストア価格 ¥19,892(本体¥18,084)
  • Springer Nature Switzerland AG(2019/03発売)
  • ポイント 180pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。