Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, I
  • 洋書
  • 電子版あり

Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, I  Paperback

ter Beek, Maurice H. (EDT)/ Gnesi, Stefania (EDT)/ Knapp, Alexander (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods - the Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Formal Methods - the Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ McIver, Annabelle (EDT)/ Oliveira, José N. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Coordination Models and Languages (Lecture Notes in Computer Science 13271) (1st ed. 2022. 2022. Approx. 220 p. 235 mm)
  • 洋書

Coordination Models and Languages (Lecture Notes in Computer Science 13271) (1st ed. 2022. 2022. Approx. 220 p. 235 mm)  Hardcover

Herausgegeben:ter Beek, Maurice H./ Sirjani, Marjan

  • ウェブストア価格 ¥17,202(本体¥15,639)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2022発売)
  • ポイント 156pt
  • 海外からお取り寄せ(通常6~9週間)
Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

ter Beek, Maurice H. (EDT)/ Monahan, Rosemary (EDT)

  • ウェブストア価格 ¥18,140(本体¥16,491)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 164pt
  • 海外からお取り寄せ(通常6~9週間)
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ Fantechi, Alessandro (EDT)/ Semini, Laura (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 104pt
  • 海外取次在庫
Robotics, Computer Vision and Intelligent Systems : First International Conference, ROBOVIS 2020, Virtual Event, November 4-6, 2020, and Second International Conference, ROBOVIS 2021, Virtual Event, October 27-28, 2021, Revised Selected Papers (Commu
  • 洋書

Robotics, Computer Vision and Intelligent Systems : First International Conference, ROBOVIS 2020, Virtual Event, November 4-6, 2020, and Second International Conference, ROBOVIS 2021, Virtual Event, October 27-28, 2021, Revised Selected Papers (Commu  Paperback

Galambos, Péter (EDT)/ Kayacan, Erdal (EDT)/ Madani, Kurosh (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 161pt
  • 海外取次在庫
Das V-Modell : Anpassung und Einführung kompakt für V-Modell (Informatik im Fokus) (2011. X, 216 S. 19 cm)
  • 洋書

Das V-Modell : Anpassung und Einführung kompakt für V-Modell (Informatik im Fokus) (2011. X, 216 S. 19 cm)  Paperback

Kuhrmann, Marco/ Ternit

  • SPRINGER, BERLIN(2010発売)
  • ご注文いただけません
Software Process Improvement and Capability Determination : 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9-10, 2018, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Software Process Improvement and Capability Determination : 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9-10, 2018, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Stamelos, Ioannis (EDT)/ O'Connor, Rory V. (EDT)/ Rout, Terry (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2018/09発売)
  • ポイント 104pt
  • 海外取次在庫
The Semantic Web - ISWC 2023 : 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

The Semantic Web - ISWC 2023 : 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Payne, Terry R. (EDT)/ Presutti, Valentina (EDT)/ Qi, Guilin (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 189pt
  • 海外取次在庫
The Semantic Web - ISWC 2023 : 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

The Semantic Web - ISWC 2023 : 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Payne, Terry R. (EDT)/ Presutti, Valentina (EDT)/ Qi, Guilin (EDT)

  • ウェブストア価格 ¥25,003(本体¥22,730)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 227pt
  • 海外取次在庫
Advanced Research in Technologies, Information, Innovation and Sustainability : Second International Conference, ARTIIS 2022, Santiago de Compostela, Spain, September 12-15, 2022, Revised Selected Papers, Part II (Communications in Computer and Infor
  • 洋書

Advanced Research in Technologies, Information, Innovation and Sustainability : Second International Conference, ARTIIS 2022, Santiago de Compostela, Spain, September 12-15, 2022, Revised Selected Papers, Part II (Communications in Computer and Infor  Paperback

Guarda, Teresa (EDT)/ Portela, Filipe (EDT)/ Augusto, Maria Fernanda (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 189pt
  • 海外取次在庫
Advanced Research in Technologies, Information, Innovation and Sustainability : Second International Conference, ARTIIS 2022, Santiago de Compostela, Spain, September 12-15, 2022, Revised Selected Papers, Part I (Communications in Computer and Inform
  • 洋書

Advanced Research in Technologies, Information, Innovation and Sustainability : Second International Conference, ARTIIS 2022, Santiago de Compostela, Spain, September 12-15, 2022, Revised Selected Papers, Part I (Communications in Computer and Inform  Paperback

Guarda, Teresa (EDT)/ Portela, Filipe (EDT)/ Augusto, Maria Fernanda (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 208pt
  • 海外取次在庫
Advanced Research in Technologies, Information, Innovation and Sustainability : Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part II (Communications in Computer and Information Science)
  • 洋書

Advanced Research in Technologies, Information, Innovation and Sustainability : Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part II (Communications in Computer and Information Science)  Paperback

Guarda, Teresa (EDT)/ Portela, Filipe (EDT)/ Diaz-Nafria, Jose Maria (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 189pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advanced Research in Technologies, Information, Innovation and Sustainability : Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part I (Communications in Computer and Information Science)
  • 洋書

Advanced Research in Technologies, Information, Innovation and Sustainability : Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part I (Communications in Computer and Information Science)  Paperback

Guarda, Teresa (EDT)/ Portela, Filipe (EDT)/ Diaz-Nafria, Jose Maria (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 208pt
  • 海外取次在庫
Advanced Research in Technologies, Information, Innovation and Sustainability : Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part III (Communications in Computer and Information Science)
  • 洋書

Advanced Research in Technologies, Information, Innovation and Sustainability : Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part III (Communications in Computer and Information Science)  Paperback

Guarda, Teresa (EDT)/ Portela, Filipe (EDT)/ Diaz-Nafria, Jose Maria (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 208pt
  • 海外取次在庫
Advanced Research in Technologies, Information, Innovation and Sustainability : First International Conference, ARTIIS 2021, La Libertad, Ecuador, November 25-27, 2021, Proceedings (Communications in Computer and Information Science)
  • 洋書

Advanced Research in Technologies, Information, Innovation and Sustainability : First International Conference, ARTIIS 2021, La Libertad, Ecuador, November 25-27, 2021, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Guarda, Teresa (EDT)/ Portela, Filipe (EDT)/ Santos, Manuel Filipe (EDT)

  • ウェブストア価格 ¥29,170(本体¥26,519)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 265pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
iRODS Primer 2 : Integrated Rule-Oriented Data System (Synthesis Lectures on Information Concepts, Retrieval, and Services)
  • 洋書

iRODS Primer 2 : Integrated Rule-Oriented Data System (Synthesis Lectures on Information Concepts, Retrieval, and Services)  Paperback,  言語:ENG

Xu, Hao/ Russell, Terrell/ Coposky, Jason

  • ウェブストア価格 ¥9,765(本体¥8,878)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 88pt
  • 海外からお取り寄せ(通常6~9週間)
Software Process Improvement and Capability Determination : 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings (Communications in Computer and Information Science)
  • 洋書

Software Process Improvement and Capability Determination : 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings (Communications in Computer and Information Science)  Paperback

Clarke, Paul M. (EDT)/ O'Connor, Rory V. (EDT)/ Rout, Terry (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/05発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Structural, Syntactic, and Statistical Pattern Recognition, SSPR 2004 : Joint IAPR International Workshops, SSPR 2004 and SPR 2004, Lisbon, Portugal, August 18-20, 2004 Proceedings (Lecture Notes in Computer Science Vol.3138) (2004. XXI, 1168 p. 23,5 cm)
  • 洋書

Structural, Syntactic, and Statistical Pattern Recognition, SSPR 2004 : Joint IAPR International Workshops, SSPR 2004 and SPR 2004, Lisbon, Portugal, August 18-20, 2004 Proceedings (Lecture Notes in Computer Science Vol.3138) (2004. XXI, 1168 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Ana Fred, Terry Caelli, Robert P.W. Duin et al.

  • ウェブストア価格 ¥39,703(本体¥36,094)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 360pt
  • 海外取次在庫
Algorithms in Bioinformatics : 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics .6833) (2011. 370 S.)
  • 洋書

Algorithms in Bioinformatics : 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics .6833) (2011. 370 S.)  Paperback,  言語:ENG

Herausgegeben von Przytycka, Teresa/ Sagot, Marie-France

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫