41～60件／全71件 セーフサーチON


Conversations on Social Choice and Welfare Theory - Vol. 1 (Studies in Choice and Welfare)
  • 洋書

Conversations on Social Choice and Welfare Theory - Vol. 1 (Studies in Choice and Welfare)  Paperback

Fleurbaey, Marc (EDT)/ Salles, Maurice (EDT)

  • ウェブストア価格 ¥38,804（本体¥35,277）
  • Springer Nature Switzerland AG（2022/04発売）
  • ポイント 352pt
  • 海外からお取り寄せ（通常6～9週間）
Detection of Intrusions and Malware, and Vulnerability Assessment : 16th International Conference, DIMVA 2019, Gothenburg, Sweden, June 19-20, 2019, Proceedings (Security and Cryptology) （2019）
  • 洋書
  • 電子版あり

Detection of Intrusions and Malware, and Vulnerability Assessment : 16th International Conference, DIMVA 2019, Gothenburg, Sweden, June 19-20, 2019, Proceedings (Security and Cryptology) （2019）  Paperback,  言語：ENG

Perdisci, Roberto (EDT)/ Maurice, Clémentine (EDT)/ Giacinto, Giorgio (EDT)

  • ウェブストア価格 ¥17,569（本体¥15,972）
  • Springer Nature Switzerland AG（2019/06発売）
  • ポイント 159pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Energietechnik : Systeme zur konventionellen und erneuerbaren Energieumwandlung. Kompaktwissen für Studium und Beruf （9. Aufl. 2022. xxxix, 823 S. XXXIX, 823 S. 471 Abb., 142 Abb. in Farbe）
  • 洋書

Energietechnik : Systeme zur konventionellen und erneuerbaren Energieumwandlung. Kompaktwissen für Studium und Beruf （9. Aufl. 2022. xxxix, 823 S. XXXIX, 823 S. 471 Abb., 142 Abb. in Farbe）  Paperback

Herausgegeben:Zahoransky, Richard/Mitarbeit:Allelein, Hans-Josef/ Allmendinger, Frank/ Bollin, Elmar/ Degler, David/ Fichter, Carsten/ Kettner, Maurice/ Schelling, Udo/ Schwarz, Harald/ Woersdoerfer, Domin

  • ウェブストア価格 ¥13,009（本体¥11,827）
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI（2022発売）
  • ポイント 118pt
  • 海外からお取り寄せ（通常6～9週間）
Science, Method, and Argument in Galileo : Philosophical, Historical, and Historiographical Essays (Argumentation Library)
  • 洋書

Science, Method, and Argument in Galileo : Philosophical, Historical, and Historiographical Essays (Argumentation Library)  Paperback

Finocchiaro, Maurice A.

  • ウェブストア価格 ¥30,748（本体¥27,953）
  • Springer Nature Switzerland AG（2022/08発売）
  • ポイント 279pt
  • 海外取次在庫
Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development (Lecture Notes in Computer Science Vol.3049) （2004. VIII, 539 p.）
  • 洋書

Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development (Lecture Notes in Computer Science Vol.3049) （2004. VIII, 539 p.）  Paperback

Ed. by Maurice Broynooghe and Lau Kung-Kiu

  • ウェブストア価格 ¥13,920（本体¥12,655）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 126pt
  • 海外取次在庫
Logic Based Program Synthesis and Transformation, LOPSTR 2003 : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science Vol.3018) （2004. X, 233 p. 23,5 cm）
  • 洋書

Logic Based Program Synthesis and Transformation, LOPSTR 2003 : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science Vol.3018) （2004. X, 233 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Maurice Bruynooghe

  • ウェブストア価格 ¥13,920（本体¥12,655）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 126pt
  • 海外取次在庫
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, I
  • 洋書
  • 電子版あり

Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, I  Paperback

ter Beek, Maurice H. (EDT)/ Gnesi, Stefania (EDT)/ Knapp, Alexander (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer International Publishing AG（2016/09発売）
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Die Urologie. Die Urologie, 3 Teile : in 3 Bänden (Springer Reference Medizin) （2. Aufl. 2023. lii, 2828 S. LII, 2828 S. 1465 Abb., 1113 Abb. in Farbe）
  • 洋書

Die Urologie. Die Urologie, 3 Teile : in 3 Bänden (Springer Reference Medizin) （2. Aufl. 2023. lii, 2828 S. LII, 2828 S. 1465 Abb., 1113 Abb. in Farbe）  Hardcover,  言語：GER

Herausgegeben:Michel, Maurice Stephan/ W. Thueroff, Joachim/ Janetschek, Guenter/ Wirth, Manfred P.

  • ウェブストア価格 ¥104,100（本体¥94,637）
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE（2023発売）
  • ポイント 946pt
  • 海外からお取り寄せ（通常6～9週間）
Sustainable Biopolymers and Composites for Biomedical Applications (Biomaterials, Bioengineering and Sustainability)
  • 洋書
  • 電子版あり

Sustainable Biopolymers and Composites for Biomedical Applications (Biomaterials, Bioengineering and Sustainability)  Hardcover,  言語：ENG

Collins, Maurice N. (EDT)/ Culebras, Mario (EDT)

  • ウェブストア価格 ¥43,927（本体¥39,934）
  • Springer International Publishing AG（2025/07発売）
  • ポイント 399pt
  • 海外からお取り寄せ（通常6～9週間）
Molecular and Cellular Biology of Phagocytosis (Advances in Experimental Medicine and Biology)
  • 洋書

Molecular and Cellular Biology of Phagocytosis (Advances in Experimental Medicine and Biology)  Paperback,  言語：ENG

Hallett, Maurice B. (EDT)

  • ウェブストア価格 ¥37,337（本体¥33,943）
  • Springer Nature Switzerland AG（2021/05発売）
  • ポイント 339pt
  • 海外取次在庫
The Handbook of Salutogenesis （2. Aufl. 2021. xix, 651 S. XIX, 651 p. 90 illus., 71 illus. in color.）
  • 洋書

The Handbook of Salutogenesis （2. Aufl. 2021. xix, 651 S. XIX, 651 p. 90 illus., 71 illus. in color.）  Hardcover,  言語：ENG

Herausgegeben:Mittelmark, Maurice B./ Bauer, Georg F./ Vaandrager, Lenneke/ Pelikan, Juergen M./ Sagy, Shifra/ Eriksson, Monica/ Lindstroem, Bengt/ Meier Magistretti, Claudia

  • ウェブストア価格 ¥13,920（本体¥12,655）
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;（2021発売）
  • ポイント 126pt
  • 海外取次在庫
Establishing Plus-Minus-Energy-Regions : The Maluku Archipelago in Indonesia （2022）
  • 洋書

Establishing Plus-Minus-Energy-Regions : The Maluku Archipelago in Indonesia （2022）  Paperback,  言語：ENG

Genske, Dieter D./ Pradipta, Giovanni Maurice

  • ウェブストア価格 ¥24,158（本体¥21,962）
  • Springer Nature Switzerland AG（2023/02発売）
  • ポイント 219pt
  • 海外取次在庫
The Handbook of Salutogenesis （2ND）
  • 洋書

The Handbook of Salutogenesis （2ND）  Paperback,  言語：ENG

Mittelmark, Maurice B. (EDT)/ Bauer, Georg F. (EDT)/ Vaandrager, Lenneke (EDT)

  • ウェブストア価格 ¥10,980（本体¥9,982）
  • Springer Nature Switzerland AG（2021/12発売）
  • ポイント 99pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Detection of Intrusions and Malware, and Vulnerability Assessment : 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24-26, 2020, Proceedings (Security and Cryptology)
  • 洋書

Detection of Intrusions and Malware, and Vulnerability Assessment : 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24-26, 2020, Proceedings (Security and Cryptology)  Paperback

Maurice, Clémentine (EDT)/ Bilge, Leyla (EDT)/ Stringhini, Gianluca (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer Nature Switzerland AG（2020/07発売）
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Coordination Models and Languages (Lecture Notes in Computer Science 13271) （1st ed. 2022. 2022. Approx. 220 p. 235 mm）
  • 洋書

Coordination Models and Languages (Lecture Notes in Computer Science 13271) （1st ed. 2022. 2022. Approx. 220 p. 235 mm）  Hardcover

Herausgegeben:ter Beek, Maurice H./ Sirjani, Marjan

  • ウェブストア価格 ¥18,098（本体¥16,453）
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;（2022発売）
  • ポイント 164pt
  • 海外からお取り寄せ（通常6～9週間）
Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

ter Beek, Maurice H. (EDT)/ Monahan, Rosemary (EDT)

  • ウェブストア価格 ¥17,264（本体¥15,695）
  • Springer International Publishing AG（2022/06発売）
  • ポイント 156pt
  • 海外取次在庫
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

ter Beek, Maurice H. (EDT)/ Fantechi, Alessandro (EDT)/ Semini, Laura (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer Nature Switzerland AG（2019/09発売）
  • ポイント 109pt
  • 海外取次在庫
Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Programming and Software Engineering) （2013）
  • 洋書

Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Programming and Software Engineering) （2013）  Paperback,  言語：ENG

ter Beek, Maurice H. (EDT)/ Lohmann, Niels (EDT)

  • ウェブストア価格 ¥10,980（本体¥9,982）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/04発売）
  • ポイント 99pt
  • 海外取次在庫
Laparoscopic Surgery of the Abdomen （2004. XX, 535 p. w. 252 figs. 28,5 cm）
  • 洋書

Laparoscopic Surgery of the Abdomen （2004. XX, 535 p. w. 252 figs. 28,5 cm）

Ed. by Bruce V. MacFadyen, Maurice E. Arregui, Steve Eubanks et al.

  • ウェブストア価格 ¥48,319（本体¥43,927）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 439pt
  • 海外取次在庫
Formal Methods - the Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Formal Methods - the Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)  Paperback,  言語：ENG

ter Beek, Maurice H. (EDT)/ McIver, Annabelle (EDT)/ Oliveira, José N. (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer Nature Switzerland AG（2019/09発売）
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
41～60件／全71件