Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Dongol, Brijesh (EDT)/ Petre, Luigia (EDT)/ Smith, Graeme (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Application and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6709) (2011. XII, 349 S. 235 mm)
  • 洋書

Application and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6709) (2011. XII, 349 S. 235 mm)  Paperback

Herausgegeben von Kristensen, Lars M./ Petrucci, Laure

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Computation in Living Cells : Gene Assembly in Ciliates (Natural Computing Series) (2003. XVI, 201 p.)
  • 洋書

Computation in Living Cells : Gene Assembly in Ciliates (Natural Computing Series) (2003. XVI, 201 p.)  Hardcover

By A. Ehrenfeucht, T. Harju, I. Petre et al.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 120pt
  • 海外取次在庫
Magnesium Technology 2021 (The Minerals, Metals & Materials Series)
  • 洋書

Magnesium Technology 2021 (The Minerals, Metals & Materials Series)  Hardcover,  言語:ENG

Miller, Victoria M. (EDT)/ Maier, Petra (EDT)/ Jordon, J. Brian (EDT)

  • ウェブストア価格 ¥46,151(本体¥41,956)
  • Springer Nature Switzerland AG(2021/02発売)
  • ポイント 419pt
  • 海外取次在庫
Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Johnsen, Einar Broch (EDT)/ Petre, Luigia (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 104pt
  • 海外取次在庫
Magnesium Technology 2021 (The Minerals, Metals & Materials Series)
  • 洋書

Magnesium Technology 2021 (The Minerals, Metals & Materials Series)  Paperback

Miller, Victoria M. (EDT)/ Maier, Petra (EDT)/ Jordon, J. Brian (EDT)

  • ウェブストア価格 ¥46,151(本体¥41,956)
  • Springer Nature Switzerland AG(2022/02発売)
  • ポイント 419pt
  • 海外取次在庫
Stochastic Global Optimization and Its Applications with Fuzzy Adaptive Simulated Annealing (Intelligent Systems Reference Library)
  • 洋書

Stochastic Global Optimization and Its Applications with Fuzzy Adaptive Simulated Annealing (Intelligent Systems Reference Library)  Paperback,  言語:ENG

Aguiar e Oliveira Junior, Hime/ Ingber, Lester/ Petraglia, Antonio

  • ウェブストア価格 ¥41,956(本体¥38,142)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/02発売)
  • ポイント 381pt
  • 海外取次在庫
Karstology in the Classical Karst (Advances in Karst Science) (2020)
  • 洋書

Karstology in the Classical Karst (Advances in Karst Science) (2020)  Paperback,  言語:ENG

Knez, Martin (EDT)/ Otoničar, Bojan (EDT)/ Petrič, Metka (EDT)

  • ウェブストア価格 ¥37,759(本体¥34,327)
  • Springer Nature Switzerland AG(2021/06発売)
  • ポイント 343pt
  • 海外取次在庫
Selected Papers from the International Conference on Innovative Research : ICIR EUROINVENT 2024 (Springer Proceedings in Materials)
  • 洋書

Selected Papers from the International Conference on Innovative Research : ICIR EUROINVENT 2024 (Springer Proceedings in Materials)  Hardcover

Sandu, Andrei Victor (EDT)/ Vizureanu, Petrica (EDT)/ Abdullah, Mohd Mustafa Al Bakri (EDT)

  • Springer International Publishing AG(2024/12発売)
  • ご注文いただけません
Selected Papers from ICIR EUROINVENT - 2023 : International Conference on Innovative Research (Springer Proceedings in Materials)
  • 洋書

Selected Papers from ICIR EUROINVENT - 2023 : International Conference on Innovative Research (Springer Proceedings in Materials)  Hardcover

Sandu, Andrei Victor (EDT)/ Vizureanu, Petrica (EDT)/ Abdullah, Mohd Mustafa Al Bakri (EDT)

  • ウェブストア価格 ¥41,956(本体¥38,142)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 381pt
  • 海外取次在庫
Selected Papers from ICIR EUROINVENT - 2023 : International Conference on Innovative Research (Springer Proceedings in Materials)
  • 洋書

Selected Papers from ICIR EUROINVENT - 2023 : International Conference on Innovative Research (Springer Proceedings in Materials)  Paperback,  言語:ENG

Sandu, Andrei Victor (EDT)/ Vizureanu, Petrica (EDT)/ Abdullah, Mohd Mustafa Al Bakri (EDT)

  • ウェブストア価格 ¥41,956(本体¥38,142)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 381pt
  • 海外からお取り寄せ(通常6~9週間)
Komplikationen in der Urologie : Risiken erkennen und vermeiden (1. Aufl. 2021. 2021. xvii, 478 S. XVII, 478 S. 202 Abb., 160 Abb. in F)
  • 洋書

Komplikationen in der Urologie : Risiken erkennen und vermeiden (1. Aufl. 2021. 2021. xvii, 478 S. XVII, 478 S. 202 Abb., 160 Abb. in F)  Paperback,  言語:GER

Herausgegeben von Kranz, Jennifer/ Anheuser, Petra/ Steffens, Joachim A.

  • ウェブストア価格 ¥27,209(本体¥24,736)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2021発売)
  • ポイント 247pt
  • 海外からお取り寄せ(通常6~9週間)
Innovations in Wave Processes Modelling and Decision Making : Grid-Characteristic Method and Applications (Smart Innovation, Systems and Technologies)
  • 洋書

Innovations in Wave Processes Modelling and Decision Making : Grid-Characteristic Method and Applications (Smart Innovation, Systems and Technologies)  Paperback

Favorskaya, Alena V. (EDT)/ Petrov, Igor B. (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer International Publishing AG(2019/06発売)
  • ポイント 324pt
  • 海外取次在庫
Innovations in Wave Processes Modelling and Decision Making : Grid-Characteristic Method and Applications (Smart Innovation, Systems and Technologies)
  • 洋書
  • 電子版あり

Innovations in Wave Processes Modelling and Decision Making : Grid-Characteristic Method and Applications (Smart Innovation, Systems and Technologies)  Hardcover,  言語:ENG

Favorskaya, Alena V. (EDT)/ Petrov, Igor B. (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer International Publishing AG(2018/02発売)
  • ポイント 324pt
  • 海外取次在庫
Environmental Histories of the Dinaric Karst (Environmental History") 〈17〉
  • 洋書

Environmental Histories of the Dinaric Karst (Environmental History") 〈17〉  Hardcover

Fuerst-Bjelis, Borna(EDT)/ Mrgic, Jelena(EDT)/ Petric, Hrvoje(EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer(2024/08発売)
  • ポイント 324pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Practices, Perceptions and Prospects for Climate Change Education in Africa
  • 洋書

Practices, Perceptions and Prospects for Climate Change Education in Africa  Hardcover,  言語:ENG

Mbah, Marcellus Forh (EDT)/ Molthan-Hill, Petra (EDT)/ Molua, Ernest L. (EDT)

  • ウェブストア価格 ¥12,494(本体¥11,359)
  • Springer International Publishing AG(2025/04発売)
  • ポイント 113pt
  • 海外からお取り寄せ(通常6~9週間)
Auxin and Its Role in Plant Development
  • 洋書

Auxin and Its Role in Plant Development  Paperback

Zažímalová, Eva (EDT)/ Petrášek, Jan (EDT)/ Benková, Eva (EDT)

  • ウェブストア価格 ¥34,659(本体¥31,509)
  • Springer Verlag GmbH(2016/08発売)
  • ポイント 315pt
  • 海外からお取り寄せ(通常6~9週間)
Clinical Examination Skills in the Adult Critically Ill Patient
  • 洋書

Clinical Examination Skills in the Adult Critically Ill Patient  Paperback,  言語:ENG

Dünser, Martin W. (EDT)/ Dankl, Daniel (EDT)/ Petros, Sirak (EDT)

  • ウェブストア価格 ¥25,172(本体¥22,884)
  • Springer Nature Switzerland AG(2018/12発売)
  • ポイント 228pt
  • 海外からお取り寄せ(通常6~9週間)
Advances in Digital Health and Medical Bioengineering : Proceedings of the 11th International Conference on E-Health and Bioengineering, EHB-2023, November 9-10, 2023, Bucharest, Romania - Volume 1: Medical Devices, Measurements, and Artificial Intel (2024)
  • 洋書

Advances in Digital Health and Medical Bioengineering : Proceedings of the 11th International Conference on E-Health and Bioengineering, EHB-2023, November 9-10, 2023, Bucharest, Romania - Volume 1: Medical Devices, Measurements, and Artificial Intel (2024)  Paperback,  言語:ENG

Costin, Hariton-Nicolae (EDT)/ Magjarević, Ratko (EDT)/ Petroiu, Gladiola Gabriela (EDT)

  • ウェブストア価格 ¥52,445(本体¥47,678)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 476pt
  • 海外取次在庫
Advances in Digital Health and Medical Bioengineering : Proceedings of the 11th International Conference on E-Health and Bioengineering, EHB-2023, November 9-10, 2023, Bucharest, Romania - Volume 2: Health Technology Assessment, Biomedical Signal Pro (2024)
  • 洋書

Advances in Digital Health and Medical Bioengineering : Proceedings of the 11th International Conference on E-Health and Bioengineering, EHB-2023, November 9-10, 2023, Bucharest, Romania - Volume 2: Health Technology Assessment, Biomedical Signal Pro (2024)  Paperback,  言語:ENG

Costin, Hariton-Nicolae (EDT)/ Magjarević, Ratko (EDT)/ Petroiu, Gladiola Gabriela (EDT)

  • ウェブストア価格 ¥52,445(本体¥47,678)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 476pt
  • 海外取次在庫