Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)
  • 洋書

Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)  Paperback

Ahrendt, Wolfgang (EDT)/ Beckert, Bernhard (EDT)/ Bubel, Richard (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Big Data Analytics and Knowledge Discovery : 23rd International Conference, DaWaK 2021, Virtual Event, September 27-30, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Big Data Analytics and Knowledge Discovery : 23rd International Conference, DaWaK 2021, Virtual Event, September 27-30, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback

Golfarelli, Matteo (EDT)/ Wrembel, Robert (EDT)/ Kotsis, Gabriele (EDT)

  • ウェブストア価格 ¥14,978(本体¥13,617)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 136pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2025)
  • 洋書

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2025)  Paperback

Platzer, André (EDT)/ Rozier, Kristin Yvonne (EDT)/ Pradella, Matteo (EDT)

  • ウェブストア価格 ¥10,698(本体¥9,726)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 97pt
  • 海外取次在庫
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2025)
  • 洋書

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2025)  Paperback

Platzer, Andre (EDT)/ Rozier, Kristin Yvonne (EDT)/ Pradella, Matteo (EDT)

  • ウェブストア価格 ¥36,380(本体¥33,073)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 330pt
  • 海外取次在庫
Advances in Production Management Systems. Production Management Systems for Volatile, Uncertain, Complex, and Ambiguous Environments : 43rd IFIP WG 5.7 International Conference, APMS 2024, Chemnitz, Germany, September 8-12, 2024, Proceedings, Part I (2024)
  • 洋書

Advances in Production Management Systems. Production Management Systems for Volatile, Uncertain, Complex, and Ambiguous Environments : 43rd IFIP WG 5.7 International Conference, APMS 2024, Chemnitz, Germany, September 8-12, 2024, Proceedings, Part I (2024)  Hardcover

Thürer, Matthias (EDT)/ Riedel, Ralph (EDT)/ von Cieminski, Gregor (EDT)

  • ウェブストア価格 ¥25,679(本体¥23,345)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 233pt
  • 海外取次在庫
Advances in Production Management Systems. Production Management Systems for Volatile, Uncertain, Complex, and Ambiguous Environments : 43rd IFIP WG 5.7 International Conference, APMS 2024, Chemnitz, Germany, September 8-12, 2024, Proceedings, Part V (2024)
  • 洋書

Advances in Production Management Systems. Production Management Systems for Volatile, Uncertain, Complex, and Ambiguous Environments : 43rd IFIP WG 5.7 International Conference, APMS 2024, Chemnitz, Germany, September 8-12, 2024, Proceedings, Part V (2024)  Hardcover

Thürer, Matthias (EDT)/ Riedel, Ralph (EDT)/ von Cieminski, Gregor (EDT)

  • ウェブストア価格 ¥27,819(本体¥25,290)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 252pt
  • 海外取次在庫
Advances in Production Management Systems. Production Management Systems for Volatile, Uncertain, Complex, and Ambiguous Environments : 43rd IFIP WG 5.7 International Conference, APMS 2024, Chemnitz, Germany, September 8-12, 2024, Proceedings, Part V (2024)
  • 洋書

Advances in Production Management Systems. Production Management Systems for Volatile, Uncertain, Complex, and Ambiguous Environments : 43rd IFIP WG 5.7 International Conference, APMS 2024, Chemnitz, Germany, September 8-12, 2024, Proceedings, Part V (2024)  Hardcover

Thürer, Matthias (EDT)/ Riedel, Ralph (EDT)/ von Cieminski, Gregor (EDT)

  • ウェブストア価格 ¥27,819(本体¥25,290)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 252pt
  • 海外取次在庫
Advances in Production Management Systems. Production Management Systems for Volatile, Uncertain, Complex, and Ambiguous Environments : 43rd IFIP WG 5.7 International Conference, APMS 2024, Chemnitz, Germany, September 8-12, 2024, Proceedings, Part I (2024)
  • 洋書

Advances in Production Management Systems. Production Management Systems for Volatile, Uncertain, Complex, and Ambiguous Environments : 43rd IFIP WG 5.7 International Conference, APMS 2024, Chemnitz, Germany, September 8-12, 2024, Proceedings, Part I (2024)  Hardcover

Thürer, Matthias (EDT)/ Riedel, Ralph (EDT)/ von Cieminski, Gregor (EDT)

  • ウェブストア価格 ¥25,679(本体¥23,345)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 233pt
  • 海外取次在庫
Subject-Oriented Business Process Management. Models for Designing Digital Transformations : 15th International Conference, S-BPM ONE 2024, Weiden, Germany, May 21-22, 2024, Proceedings (Communications in Computer and Information Science) (2024)
  • 洋書

Subject-Oriented Business Process Management. Models for Designing Digital Transformations : 15th International Conference, S-BPM ONE 2024, Weiden, Germany, May 21-22, 2024, Proceedings (Communications in Computer and Information Science) (2024)  Paperback

Elstermann, Matthes (EDT)/ Lederer, Matthias (EDT)

  • ウェブストア価格 ¥18,188(本体¥16,535)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 165pt
  • 海外取次在庫
Smart Cities, Green Technologies, and Intelligent Transport Systems : 12th International Conference, SMARTGREENS 2023, and 9th International Conference, VEHITS 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers (Communications i (2024)
  • 洋書

Smart Cities, Green Technologies, and Intelligent Transport Systems : 12th International Conference, SMARTGREENS 2023, and 9th International Conference, VEHITS 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers (Communications i (2024)  Paperback,  言語:ENG

Klein, Cornel (EDT)/ Jarke, Matthias (EDT)/ Ploeg, Jeroen (EDT)

  • ウェブストア価格 ¥17,118(本体¥15,562)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 155pt
  • 海外取次在庫
Proceedings of the 22nd International Meshing Roundtable
  • 洋書

Proceedings of the 22nd International Meshing Roundtable  Hardcover,  言語:ENG

Sarrate, Josep (EDT)/ Staten, Matthew (EDT)

  • Springer International Publishing AG(2013/09発売)
  • ご注文いただけません
Practical Aspects of Declarative Languages : 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings (Programming and Software Engineering)
  • 洋書

Practical Aspects of Declarative Languages : 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Flatt, Matthew (EDT)/ Guo, Hai-Feng (EDT)

  • Springer International Publishing AG(2013/12発売)
  • ご注文いただけません
AUTONOMY2003:エージェントと計算自律性 - ワークショップ<br>Agents and Computational Autonomy : Potential, Risks and Solutions (Lecture Notes in Computer Science Vol.2969) (2004. X, 275 p.)
  • 洋書

AUTONOMY2003:エージェントと計算自律性 - ワークショップ
Agents and Computational Autonomy : Potential, Risks and Solutions (Lecture Notes in Computer Science Vol.2969) (2004. X, 275 p.)
 Paperback

Ed. by Matthias Nickles, Michael Rovatsos and Gerhard Weiss

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
An Approach to Knowledge Base Management (Lecture Notes in Computer Science, Volume 513) (2007. 264 S. 235 mm)
  • 洋書

An Approach to Knowledge Base Management (Lecture Notes in Computer Science, Volume 513) (2007. 264 S. 235 mm)  Paperback

Mattos, Nelson M.

  • ウェブストア価格 ¥9,529(本体¥8,663)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 86pt
  • 海外取次在庫
KI & Recht kompakt, m. 1 Buch, m. 1 E-Book : Book + eBook (IT kompakt) (2020. xix, 306 S. XIX, 306 S. 2 Abb. Book + eBook. 203 mm)
  • 洋書

KI & Recht kompakt, m. 1 Buch, m. 1 E-Book : Book + eBook (IT kompakt) (2020. xix, 306 S. XIX, 306 S. 2 Abb. Book + eBook. 203 mm)

Herausgegeben:Hartmann, Matthias

  • ウェブストア価格 ¥5,090(本体¥4,628)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2020発売)
  • ポイント 46pt
  • 海外からお取り寄せ(通常6~9週間)
OpenMP in the Petascale Era : 7th International Workshop on OpenMP, IWOMP 2011, Chicago, Il, USA, June 13-15, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6665) (2011. X, 179 S. 235 mm)
  • 洋書

OpenMP in the Petascale Era : 7th International Workshop on OpenMP, IWOMP 2011, Chicago, Il, USA, June 13-15, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6665) (2011. X, 179 S. 235 mm)  Paperback

Herausgegeben von Chapman, Barbara M./ Gropp, William D./ Kumaran, Kalyan/ Mueller, Matthias S.

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 123pt
  • 海外取次在庫
Software Architecture : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .6903) (2011. XV, 448 S. 235 mm)
  • 洋書

Software Architecture : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .6903) (2011. XV, 448 S. 235 mm)  Paperback

Herausgegeben von Crnkovic, Ivica/ Gruhn, Volker/ Book, Matthias

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 123pt
  • 海外取次在庫
Privacy Enhancing Technologies : 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012, Proceedings (Lecture Notes in Computer Science / Security and Cryptology .7384) (2012. 2012. X, 319 S. 89 SW-Abb. 235 mm)
  • 洋書

Privacy Enhancing Technologies : 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012, Proceedings (Lecture Notes in Computer Science / Security and Cryptology .7384) (2012. 2012. X, 319 S. 89 SW-Abb. 235 mm)  Paperback

Herausgegeben von Fischer-Huebner, Simone/ Wright, Matthew

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 123pt
  • 海外取次在庫
Advances in Autonomous Robotics (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7429) (2012. 2012. XVI, 469 S. 235 mm)
  • 洋書

Advances in Autonomous Robotics (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7429) (2012. 2012. XVI, 469 S. 235 mm)  Paperback

Herausgegeben von Herrmann, Guido/ Studley, Matthew/ Pearson, Martin/ Conn, Andrew/ Melhuish, Chris

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 123pt
  • 海外取次在庫
Best Practices für die Partizipation in der Produktentwicklung : HMD Best Paper Award 2017 (Essentials) (2018. XI, 29 S. XI, 29 S. 1 Abb. 210 mm)
  • 洋書

Best Practices für die Partizipation in der Produktentwicklung : HMD Best Paper Award 2017 (Essentials) (2018. XI, 29 S. XI, 29 S. 1 Abb. 210 mm)  Paperback,  言語:GER

Rohmann, Sebastian/Schumann, Matthias

  • ウェブストア価格 ¥3,814(本体¥3,468)
  • SPRINGER, BERLIN; SPRINGER VIEWEG(2018発売)
  • ポイント 34pt
  • 海外取次在庫