Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II (Lecture Notes in Compute (2024)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II (Lecture Notes in Compute (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥16,471(本体¥14,974)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 298pt
  • 海外取次在庫
The Robot and Us : An 'Antidisciplinary' Perspective on the Scientific and Social Impacts of Robotics (Biosystems & Biorobotics) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

The Robot and Us : An 'Antidisciplinary' Perspective on the Scientific and Social Impacts of Robotics (Biosystems & Biorobotics) (2019)  Paperback,  言語:ENG

Carrozza, Maria Chiara

  • ウェブストア価格 ¥4,802(本体¥4,366)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 86pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 398pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 318pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥15,372(本体¥13,975)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 278pt
  • 海外取次在庫
Misinformation and Disinformation : Detecting Fakes with the Eye and AI (2022)
  • 洋書
  • ポイントキャンペーン

Misinformation and Disinformation : Detecting Fakes with the Eye and AI (2022)  Paperback,  言語:ENG

Rubin, Victoria L.

  • ウェブストア価格 ¥12,589(本体¥11,445)
  • Springer Nature Switzerland AG(2023/06発売)
  • ポイント 228pt
  • 海外からお取り寄せ(通常6~9週間)
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 318pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV (Theoretical Co
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV (Theoretical Co  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Radiopharmaceuticals : A Guide to PET/CT and PET/MRI (2. Aufl. 2020. xii, 234 S. XII, 234 p. 193 illus., 184 illus. in color)
  • 洋書
  • ポイントキャンペーン

Radiopharmaceuticals : A Guide to PET/CT and PET/MRI (2. Aufl. 2020. xii, 234 S. XII, 234 p. 193 illus., 184 illus. in color)  Paperback,  言語:ENG

Herausgegeben:Calabria, Ferdinando/ Schillaci, Orazio

  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2020発売)
  • ご注文いただけません
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III (Theoretical Compu
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III (Theoretical Compu  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II (Theoreti
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II (Theoreti  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Location-Based Mobile Games : Design Perspectives (Springerbriefs in Applied Sciences and Technology) (2018)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Location-Based Mobile Games : Design Perspectives (Springerbriefs in Applied Sciences and Technology) (2018)  Paperback,  言語:ENG

Spallazzo, Davide/ Mariani, Ilaria

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 218pt
  • 海外取次在庫
Adaptive Resource Management and Scheduling for Cloud Computing : First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Pap (2014)
  • 洋書
  • ポイントキャンペーン

Adaptive Resource Management and Scheduling for Cloud Computing : First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Pap (2014)  Paperback

Pop, Florin (EDT)/ Potop-Butucaru, Maria (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2014/12発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
An Exploration of Dynamical Systems and Chaos : Completely Revised and Enlarged Second Edition
  • 洋書
  • ポイントキャンペーン

An Exploration of Dynamical Systems and Chaos : Completely Revised and Enlarged Second Edition  Paperback,  言語:ENG

Argyris, John H./ Faust, Gunter/ Haase, Maria

  • ウェブストア価格 ¥26,354(本体¥23,959)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/11発売)
  • ポイント 478pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Interactive Video : Algorithms and Technologies (Signals and Communication Technology) (2006. 160 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Interactive Video : Algorithms and Technologies (Signals and Communication Technology) (2006. 160 p. 23,5 cm)  Hardcover,  言語:ENG

Ed. by Riad I. Hammoud

  • ウェブストア価格 ¥27,997(本体¥25,452)
  • SPRINGER, BERLIN(2006発売)
  • ポイント 508pt
  • 海外取次在庫
Algorithms for Computational Biology : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Algorithms for Computational Biology : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dediu, Adrian-Horia (EDT)/ Hernández-Quiroz, Francisco (EDT)/ Martín-Vide, Carlos (EDT)

  • ウェブストア価格 ¥12,589(本体¥11,445)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 228pt
  • 海外からお取り寄せ(通常6~9週間)
Theory and Practice of Natural Computing : Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Theory and Practice of Natural Computing : Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Dediu, Adrian-Horia (EDT)/ Magdalena, Luis (EDT)/ Martín-Vide, Carlos (EDT)

  • ウェブストア価格 ¥9,881(本体¥8,983)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 178pt
  • 海外取次在庫
Language and Automata Theory and Applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings (Theoretical Computer Science and General Issues) (2015)
  • 洋書
  • ポイントキャンペーン

Language and Automata Theory and Applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings (Theoretical Computer Science and General Issues) (2015)  Paperback,  言語:ENG

Dediu, Adrian-Horia (EDT)/ Formenti, Enrico (EDT)/ Martín-Vide, Carlos (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/03発売)
  • ポイント 218pt
  • 海外取次在庫
Statistical Language and Speech Processing : Third International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Statistical Language and Speech Processing : Third International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Dediu, Adrian-Horia (EDT)/ Martín-Vide, Carlos (EDT)/ Vicsi, Klára (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/10発売)
  • ポイント 218pt
  • 海外取次在庫
Wege zur Technikfaszination : Sozialisationsverläufe und Interventionszeitpunkte (acatech DISKUTIERT) (2009. 151 S. m. farb. graph. Darst. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Wege zur Technikfaszination : Sozialisationsverläufe und Interventionszeitpunkte (acatech DISKUTIERT) (2009. 151 S. m. farb. graph. Darst. 23,5 cm)  Paperback

Ziefle, Martina/ Jakobs, Eva-Maria

  • SPRINGER, BERLIN(2009発売)
  • ご注文いただけません