Validation of Evolving Software
  • 洋書
  • ポイントキャンペーン

Validation of Evolving Software  Paperback

Chockler, Hana (EDT)/ Kroening, Daniel (EDT)/ Mariani, Leonardo (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 214pt
  • 海外取次在庫
Social Networks Analysis and Mining : 16th International Conference, ASONAM 2024, Rende, Italy, September 2-5, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Social Networks Analysis and Mining : 16th International Conference, ASONAM 2024, Rende, Italy, September 2-5, 2024, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Aiello, Luca Maria (EDT)/ Chakraborty, Tanmoy (EDT)/ Gaito, Sabrina (EDT)

  • ウェブストア価格 ¥19,385(本体¥17,623)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 352pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
ICT Systems Security and Privacy Protection : 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings (Ifip Advances in Information and Communication Technology) (2015)
  • 洋書
  • ポイントキャンペーン

ICT Systems Security and Privacy Protection : 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings (Ifip Advances in Information and Communication Technology) (2015)  Hardcover

Federrath, Hannes (EDT)/ Gollmann, Dieter (EDT)

  • Springer International Publishing AG(2015/05発売)
  • ご注文いただけません
Image and Video Technology : 7th Pacific-Rim Symposium, PSIVT 2015, Auckland, New Zealand, November 25-27, 2015, Revised Selected Papers (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • ポイントキャンペーン

Image and Video Technology : 7th Pacific-Rim Symposium, PSIVT 2015, Auckland, New Zealand, November 25-27, 2015, Revised Selected Papers (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback

Bräunl, Thomas (EDT)/ McCane, Brendan (EDT)/ Rivera, Mariano (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Engagement Design : Designing for Interaction Motivations (Human-computer Interaction Series) (2020)
  • 洋書
  • ポイントキャンペーン

Engagement Design : Designing for Interaction Motivations (Human-computer Interaction Series) (2020)  Paperback,  言語:ENG

Zagalo, Nelson

  • ウェブストア価格 ¥29,907(本体¥27,189)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 542pt
  • 海外からお取り寄せ(通常6~9週間)
Hyper-Heuristics: Theory and Applications (Natural Computing Series)
  • 洋書
  • ポイントキャンペーン

Hyper-Heuristics: Theory and Applications (Natural Computing Series)  Paperback,  言語:ENG

Pillay, Nelishia/ Qu, Rong

  • ウェブストア価格 ¥23,694(本体¥21,540)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 430pt
  • 海外取次在庫
Stochastic Model Checking : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures (Lecture Notes in Computer Science) (2014)
  • 洋書
  • ポイントキャンペーン

Stochastic Model Checking : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Remke, Anne (EDT)/ Stoelinga, Mariëlle (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/10発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Atomic Force Microscopy Based Nanorobotics : Modelling, Simulation, Setup Building and Experiments (Springer Tracts in Advanced Robotics) (2012)
  • 洋書
  • ポイントキャンペーン

Atomic Force Microscopy Based Nanorobotics : Modelling, Simulation, Setup Building and Experiments (Springer Tracts in Advanced Robotics) (2012)  Paperback

Xie, Hui/ Onal, Cagdas/ Régnier, Stéphane

  • ウェブストア価格 ¥36,619(本体¥33,290)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/11発売)
  • ポイント 664pt
  • 海外取次在庫
Information Security Applications : 15th International Workshop, WISA 2014, Jeju Island, Korea, August 25-27, 2014. Revised Selected Papers (Security and Cryptology) (2015)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Information Security Applications : 15th International Workshop, WISA 2014, Jeju Island, Korea, August 25-27, 2014. Revised Selected Papers (Security and Cryptology) (2015)  Paperback,  言語:ENG

Rhee, Kyung-Hyune (EDT)/ Yi, Jeong Hyun (EDT)

  • Springer International Publishing AG(2015/01発売)
  • ご注文いただけません
Databases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Databases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings (Communications in Computer and Information Science)  Paperback

Arnicans, Guntis (EDT)/ Arnicane, Vineta (EDT)/ Borzovs, Juris (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Dependable Computing - EDCC 2022 Workshops : SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Dependable Computing - EDCC 2022 Workshops : SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Marrone, Stefano (EDT)/ De Sanctis, Martina (EDT)/ Kocsis, Imre (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 214pt
  • 海外取次在庫
Motion Design mit After Effects : Arbeitsstrategien für Einsteiger und Fortgeschrittene (x.media.press) (2013. 650 S. m. 300 Farbabb. 26 cm)
  • 洋書
  • ポイントキャンペーン

Motion Design mit After Effects : Arbeitsstrategien für Einsteiger und Fortgeschrittene (x.media.press) (2013. 650 S. m. 300 Farbabb. 26 cm)  Hardcover

Hegewald, Falk/ Ruempler, Steffen/ Tritschler, Johannes

  • SPRINGER, BERLIN(2013/01発売)
  • ご注文いただけません
Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings (Programming and Software Engineering) (2014)
  • 洋書
  • ポイントキャンペーン

Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings (Programming and Software Engineering) (2014)  Paperback,  言語:ENG

Ortmeier, Frank (EDT)/ Rauzy, Antoine (EDT)

  • ウェブストア価格 ¥11,779(本体¥10,709)
  • Springer International Publishing AG(2014/10発売)
  • ポイント 214pt
  • 海外からお取り寄せ(通常6~9週間)
Operating Systems of the 90s and Beyond : International Workshop, Dagstuhl Castle, Germany July 8-12, 1991. Proceedings (Lecture Notes in Computer Science, Volume 563) (2007. 308 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Operating Systems of the 90s and Beyond : International Workshop, Dagstuhl Castle, Germany July 8-12, 1991. Proceedings (Lecture Notes in Computer Science, Volume 563) (2007. 308 S. 235 mm)  Paperback

Herausgeber: Nehmer, Juergen, Karshmer, Arthur

  • ウェブストア価格 ¥12,870(本体¥11,700)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 234pt
  • 海外取次在庫
Navigating VMware Turmoil in the Broadcom Era : Insights and Strategies for Transitioning to Alternative Solutions
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Navigating VMware Turmoil in the Broadcom Era : Insights and Strategies for Transitioning to Alternative Solutions  Paperback,  言語:ENG

Bhatia, Sumit/ Gabhane, Chetan

  • ウェブストア価格 ¥9,785(本体¥8,896)
  • APress(2025/03発売)
  • ポイント 176pt
  • 海外からお取り寄せ(通常6~9週間)
Software for Exascale Computing - SPPEXA 2013-2015 (Lecture Notes in Computational Science and Engineering)
  • 洋書
  • ポイントキャンペーン

Software for Exascale Computing - SPPEXA 2013-2015 (Lecture Notes in Computational Science and Engineering)  Hardcover

Bungartz, Hans-Joachim (EDT)/ Neumann, Philipp (EDT)/ Nagel, Wolfgang E. (EDT)

  • Springer International Publishing AG(2016/09発売)
  • ご注文いただけません
Computer Supported Education : 12th International Conference, CSEDU 2020, Virtual Event, May 2-4, 2020, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Computer Supported Education : 12th International Conference, CSEDU 2020, Virtual Event, May 2-4, 2020, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Lane, H. Chad (EDT)/ Zvacek, Susan (EDT)/ Uhomoibhi, James (EDT)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 390pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Sequences and Their Applications - SETA 2014 : 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings (Theoretical Computer Science and General Issues) (2014)
  • 洋書
  • ポイントキャンペーン

Sequences and Their Applications - SETA 2014 : 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings (Theoretical Computer Science and General Issues) (2014)  Paperback,  言語:ENG

Schmidt, Kai-Uwe (EDT)/ Winterhof, Arne (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2014/12発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
String Processing and Information Retrieval : 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

String Processing and Information Retrieval : 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Inenaga, Shunsuke (EDT)/ Sadakane, Kunihiko (EDT)/ Sakai, Tetsuya (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Conceptual Modeling for Traditional and Spatio-Temporal Applications : The MADS Approach (2006. 448 p.)
  • 洋書
  • ポイントキャンペーン

Conceptual Modeling for Traditional and Spatio-Temporal Applications : The MADS Approach (2006. 448 p.)  Hardcover

Parent, Christine/ Spaccapietra, Stefano/ Zimanyi, Esteban

  • ウェブストア価格 ¥27,385(本体¥24,896)
  • SPRINGER, BERLIN(2006発売)
  • ポイント 496pt
  • 海外取次在庫