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
  • 海外取次在庫
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)版です。キャンセルは承れません。
Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (Programming and Software Engineering)
  • 洋書

Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (Programming and Software Engineering)  Paperback

ter Beek, Maurice H. (EDT)/ Ničković, Dejan (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 109pt
  • 海外取次在庫
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週間)
S3-Leitlinie Opioidbezogene Störungen (2026. Etwa 120 S. 20 Abb., 10 Abb. in Farbe. 235 mm)
  • 洋書
  • 予約

S3-Leitlinie Opioidbezogene Störungen (2026. Etwa 120 S. 20 Abb., 10 Abb. in Farbe. 235 mm)  Paperback,  言語:GER

Herausgegeben:Schaefer, Ingo/ Backmund, Markus/ Batra, Anil/ Cabanis, Maurice/ Funke, Wilma/ Havemann-Reinecke, Ursula/ Jacobsen, Britta/ Kiefer, Falk/ Lange, Nikolaus/ Lehmann, Kirsten/ Preuss, Ulrich W.

  • ウェブストア価格 ¥13,009(本体¥11,827)
  • SPRINGER, BERLIN; SPRINGER(2026/04発売)
  • ポイント 118pt
  • ご予約受付中。出版後の入荷・発送
Journeys Between Formal Methods and the Railway Industry : Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday (Lecture Notes in Computer Science 16470) (2026. Approx. 700 p. 235 mm)
  • 洋書
  • 予約

Journeys Between Formal Methods and the Railway Industry : Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday (Lecture Notes in Computer Science 16470) (2026. Approx. 700 p. 235 mm)  Paperback,  言語:ENG

Herausgegeben:ter Beek, Maurice H./ Gnesi, Stefania/ Haxthausen, Anne E./ Semini, Laura

  • ウェブストア価格 ¥27,287(本体¥24,807)
  • SPRINGER, BERLIN; SPRINGER(2026/06発売)
  • ポイント 248pt
  • ご予約受付中。出版後の入荷・発送
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ Collart-Dutilleul, Simon (EDT)/ Lecomte, Thierry (EDT)

  • ウェブストア価格 ¥14,274(本体¥12,977)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 129pt
  • 海外取次在庫
Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ Teixeira, Leopoldo (EDT)

  • ウェブストア価格 ¥14,274(本体¥12,977)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 129pt
  • 海外取次在庫
Information and Communication Technologies for Ageing Well and e-Health : 10th International Conference, ICT4AWE 2024, Angers, France, April 28-30, 2024, Revised Selected Papers (Communications in Computer and Information Science 2762) (2025. xii, 234 S. XII, 234 p. 90 illus., 65 illus. in color. 235 mm)
  • 洋書

Information and Communication Technologies for Ageing Well and e-Health : 10th International Conference, ICT4AWE 2024, Angers, France, April 28-30, 2024, Revised Selected Papers (Communications in Computer and Information Science 2762) (2025. xii, 234 S. XII, 234 p. 90 illus., 65 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Ziefle, Martina/ Lozano Perez, Marí/a/ Mulvenna, Maurice

  • ウェブストア価格 ¥16,705(本体¥15,187)
  • SPRINGER, BERLIN; SPRINGER(2025/12発売)
  • ポイント 151pt
  • 海外からお取り寄せ(通常6~9週間)
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
  • 海外取次在庫
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
  • 海外取次在庫
Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings (Lecture Notes in Computer Science, Volume 714) (2007. 440 S. 235 mm)
  • 洋書

Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings (Lecture Notes in Computer Science, Volume 714) (2007. 440 S. 235 mm)  Paperback

Herausgeber: Penjam, Jaan, Bruynooghe, Maurice

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 126pt
  • 海外取次在庫
ESA Science Programme Missions : Contributions and Exploitation (ISSI Scientific Report Series 18) (2024. xvi, 192 S. XVI, 192 p. 90 illus., 86 illus. in color. 235 mm)
  • 洋書

ESA Science Programme Missions : Contributions and Exploitation (ISSI Scientific Report Series 18) (2024. xvi, 192 S. XVI, 192 p. 90 illus., 86 illus. in color. 235 mm)  Hardcover,  言語:ENG

Parmar, Arvind/Bonnet, Roger-Maurice/De Marchi, Guido/ Herausgegeben:Parmar, Arvind

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN; INTERNATIONAL SPACE SCIENCE INSTITU(2024発売)
  • ポイント 126pt
  • 海外取次在庫