ソフトウェア認証コンサイスガイド(テキスト)<br>Concise Guide to Software Verification : From Model Checking to Annotation Checking (Texts in Computer Science) (2023. ix, 248 S. IX, 248 p. 146 illus., 127 illus. in color. 235 mm)
  • 洋書
  • ポイントキャンペーン

ソフトウェア認証コンサイスガイド(テキスト)
Concise Guide to Software Verification : From Model Checking to Annotation Checking (Texts in Computer Science) (2023. ix, 248 S. IX, 248 p. 146 illus., 127 illus. in color. 235 mm)
 Hardcover,  言語:ENG

Huisman, Marieke/Wijs, Anton

  • ウェブストア価格 ¥21,907(本体¥19,916)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2023発売)
  • ポイント 398pt
  • 海外からお取り寄せ(通常6~9週間)
Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Gervasi, Osvaldo (EDT)/ Murgante, Beniamino (EDT)/ Rocha, Ana Maria A. C. (EDT)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 390pt
  • 海外取次在庫
Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part VII (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part VII (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Gervasi, Osvaldo (EDT)/ Murgante, Beniamino (EDT)/ Rocha, Ana Maria A. C. (EDT)

  • ウェブストア価格 ¥19,385(本体¥17,623)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 352pt
  • 海外取次在庫
Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Gervasi, Osvaldo (EDT)/ Murgante, Beniamino (EDT)/ Rocha, Ana Maria A. C. (EDT)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 390pt
  • 海外取次在庫
Metaheuristics : 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Metaheuristics : 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Di Gaspero, Luca (EDT)/ Festa, Paola (EDT)/ Nakib, Amir (EDT)

  • ウェブストア価格 ¥19,385(本体¥17,623)
  • Springer International Publishing AG(2023/02発売)
  • ポイント 352pt
  • 海外取次在庫
Advances in Information Retrieval : 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Advances in Information Retrieval : 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Kamps, Jaap (EDT)/ Goeuriot, Lorraine (EDT)/ Crestani, Fabio (EDT)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 390pt
  • 海外取次在庫
Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Gervasi, Osvaldo (EDT)/ Murgante, Beniamino (EDT)/ Rocha, Ana Maria A. C. (EDT)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 390pt
  • 海外取次在庫
3D Research Challenges in Cultural Heritage III : Complexity and Quality in Digitisation (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

3D Research Challenges in Cultural Heritage III : Complexity and Quality in Digitisation (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ioannides, Marinos (EDT)/ Patias, Petros (EDT)

  • ウェブストア価格 ¥10,769(本体¥9,790)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 194pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Electronic Government : 22nd IFIP WG 8.5 International Conference, EGOV 2023, Budapest, Hungary, September 5-7, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Electronic Government : 22nd IFIP WG 8.5 International Conference, EGOV 2023, Budapest, Hungary, September 5-7, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Lindgren, Ida (EDT)/ Csáki, Csaba (EDT)/ Kalampokis, Evangelos (EDT)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer International Publishing AG(2023/08発売)
  • ポイント 390pt
  • 海外取次在庫
Disinformation in Open Online Media : 5th Multidisciplinary International Symposium, MISDOOM 2023, Amsterdam, the Netherlands, November 21-22, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Disinformation in Open Online Media : 5th Multidisciplinary International Symposium, MISDOOM 2023, Amsterdam, the Netherlands, November 21-22, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Ceolin, Davide (EDT)/ Caselli, Tommaso (EDT)/ Tulin, Marina (EDT)

  • ウェブストア価格 ¥10,769(本体¥9,790)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 194pt
  • 海外取次在庫
Advances in Information Retrieval : 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Advances in Information Retrieval : 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback

Kamps, Jaap (EDT)/ Goeuriot, Lorraine (EDT)/ Crestani, Fabio (EDT)

  • ウェブストア価格 ¥23,694(本体¥21,540)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 430pt
  • 海外取次在庫
Algorithms and Complexity : 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Algorithms and Complexity : 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Mavronicolas, Marios (EDT)

  • ウェブストア価格 ¥18,308(本体¥16,644)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 332pt
  • 海外取次在庫
Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part V (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part V (Lecture Notes in Computer Science)  Paperback

Gervasi, Osvaldo (EDT)/ Murgante, Beniamino (EDT)/ Rocha, Ana Maria A. C. (EDT)

  • ウェブストア価格 ¥27,188(本体¥24,717)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 494pt
  • 海外からお取り寄せ(通常6~9週間)
Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part VIII (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part VIII (Lecture Notes in Computer Science)  Paperback

Gervasi, Osvaldo (EDT)/ Murgante, Beniamino (EDT)/ Rocha, Ana Maria A. C. (EDT)

  • ウェブストア価格 ¥25,847(本体¥23,498)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 468pt
  • 海外取次在庫
Clinical Image-Based Procedures : 11th Workshop, CLIP 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Clinical Image-Based Procedures : 11th Workshop, CLIP 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Chen, Yufei (EDT)/ Linguraru, Marius George (EDT)/ Shekhar, Raj (EDT)

  • ウェブストア価格 ¥12,922(本体¥11,748)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 234pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Electronic Participation : 14th IFIP WG 8.5 International Conference, ePart 2022, Linköping, Sweden, September 6-8, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Electronic Participation : 14th IFIP WG 8.5 International Conference, ePart 2022, Linköping, Sweden, September 6-8, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Krimmer, Robert (EDT)/ Rohde Johannessen, Marius (EDT)/ Lampoltshammer, Thomas (EDT)

  • ウェブストア価格 ¥13,999(本体¥12,727)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 254pt
  • 海外取次在庫
Optimization, Learning Algorithms and Applications : Second International Conference, OL2A 2022, Póvoa de Varzim, Portugal, October 24-25, 2022, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Optimization, Learning Algorithms and Applications : Second International Conference, OL2A 2022, Póvoa de Varzim, Portugal, October 24-25, 2022, Proceedings (Communications in Computer and Information Science)  Paperback

Pereira, Ana I. (EDT)/ Košir, Andrej (EDT)/ Fernandes, Florbela P. (EDT)

  • ウェブストア価格 ¥30,156(本体¥27,415)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 548pt
  • 海外取次在庫
Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities : 16th International Conference, NooJ 2022, Rosario, Argentina, June 14-16, 2022, Revised Selected Papers (Communications in Computer and Information Sc
  • 洋書
  • ポイントキャンペーン

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities : 16th International Conference, NooJ 2022, Rosario, Argentina, June 14-16, 2022, Revised Selected Papers (Communications in Computer and Information Sc  Paperback

González, Mariana (EDT)/ Reyes, Silvia Susana (EDT)/ Rodrigo, Andrea (EDT)

  • ウェブストア価格 ¥18,308(本体¥16,644)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 332pt
  • 海外取次在庫
Advances in Computer Graphics : 39th Computer Graphics International Conference, CGI 2022, Virtual Event, September 12-16, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Advances in Computer Graphics : 39th Computer Graphics International Conference, CGI 2022, Virtual Event, September 12-16, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Magnenat-Thalmann, Nadia (EDT)/ Zhang, Jian (EDT)/ Kim, Jinman (EDT)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 390pt
  • 海外取次在庫
Pattern Recognition Applications and Methods : 10th International Conference, ICPRAM 2021, and 11th International Conference, ICPRAM 2022, Virtual Event, February 4-6, 2021 and February 3-5, 2022, Revised Selected Papers (Lecture Notes in Computer Sc
  • 洋書
  • ポイントキャンペーン

Pattern Recognition Applications and Methods : 10th International Conference, ICPRAM 2021, and 11th International Conference, ICPRAM 2022, Virtual Event, February 4-6, 2021 and February 3-5, 2022, Revised Selected Papers (Lecture Notes in Computer Sc  Paperback

De Marsico, Maria (EDT)/ Sanniti di Baja, Gabriella (EDT)/ Fred, Ana (EDT)

  • ウェブストア価格 ¥12,922(本体¥11,748)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 234pt
  • 海外取次在庫