Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

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

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

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥16,471(本体¥14,974)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 298pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V (Lecture Notes in Computer Science) (2024)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 218pt
  • 海外取次在庫
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)版です。キャンセルは承れません。
Geschäftsanbahnung in Spanien : Aus der Praxis für die Praxis (essentials)
  • 洋書
  • ポイントキャンペーン

Geschäftsanbahnung in Spanien : Aus der Praxis für die Praxis (essentials)  Paperback,  言語:GER

Vorbrugg, Maria/ Brenner, Hatto

  • ウェブストア価格 ¥3,951(本体¥3,592)
  • Springer Gabler(2016/08発売)
  • ポイント 70pt
  • オンデマンド(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
  • 海外取次在庫
Professionelle Wahrnehmung von Störungen im Unterricht
  • 洋書
  • ポイントキャンペーン

Professionelle Wahrnehmung von Störungen im Unterricht  Paperback,  言語:GER

Barth, Victoria L.

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer VS(2016/11発売)
  • ポイント 238pt
  • 海外取次在庫
ODI from BRIC Countries : Firm-level Evidence
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

ODI from BRIC Countries : Firm-level Evidence  Hardcover

Gattai, Valeria/ Mechelli, Rajssa/ Natale, Piergiovanna

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Birkhauser Verlag AG(2018/09発売)
  • ポイント 218pt
  • 海外取次在庫
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,064(本体¥10,968)
  • Springer Nature Switzerland AG(2023/06発売)
  • ポイント 218pt
  • 海外取次在庫
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
  • 海外取次在庫
Identity and Teacher Professional Development : A Reflective, Collaborative and Agentive Learning Journey (Springerbriefs in Education)
  • 洋書
  • ポイントキャンペーン

Identity and Teacher Professional Development : A Reflective, Collaborative and Agentive Learning Journey (Springerbriefs in Education)  Paperback,  言語:ENG

Impedovo, Maria Antonietta

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 318pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Eine Frage der Messung sozialer Herkunft? : Kulturelle Passung als Erklärung für soziale Disparitäten der Studienintention (BestMasters) (1. Aufl. 2022. 2022. ix, 75 S. IX, 75 S. 6 Abb. 210 mm)
  • 洋書
  • ポイントキャンペーン

Eine Frage der Messung sozialer Herkunft? : Kulturelle Passung als Erklärung für soziale Disparitäten der Studienintention (BestMasters) (1. Aufl. 2022. 2022. ix, 75 S. IX, 75 S. 6 Abb. 210 mm)  Paperback

Bauer, Victoria A.

  • ウェブストア価格 ¥15,698(本体¥14,271)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2022発売)
  • ポイント 284pt
  • 海外取次在庫
Legal Professionals in White-Collar Crime : Knowing, Thinking and Acting (Organization, Management and Crime - Organisation, Management und Kriminalität)
  • 洋書
  • ポイントキャンペーン

Legal Professionals in White-Collar Crime : Knowing, Thinking and Acting (Organization, Management and Crime - Organisation, Management und Kriminalität)  Paperback

Trombini, Maria Eugenia

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer VS(2023/02発売)
  • ポイント 398pt
  • 海外取次在庫
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)版です。キャンセルは承れません。
Economic Theories, Protagonists and Facts : Collected Essays in the History of Economic Thought (Palgrave Studies in the History of Economic Thought) (2024)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Economic Theories, Protagonists and Facts : Collected Essays in the History of Economic Thought (Palgrave Studies in the History of Economic Thought) (2024)  Hardcover

Marcuzzo, Maria Cristina

  • ウェブストア価格 ¥30,748(本体¥27,953)
  • Palgrave Macmillan(2024/12発売)
  • ポイント 558pt
  • 海外取次在庫
Tourism, Growth and Sustainability : Investigating New Strategies to Promote Growth
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Tourism, Growth and Sustainability : Investigating New Strategies to Promote Growth  Hardcover,  言語:ENG

Canale, Rosaria Rita/ De Siano, Rita

  • ウェブストア価格 ¥9,383(本体¥8,530)
  • Palgrave Macmillan(2025/04発売)
  • ポイント 170pt
  • 海外取次在庫
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発売)
  • ご注文いただけません