Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops : ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops : ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Proença, José (EDT)/ Fervari, Raul (EDT)/ Martins, Manuel A. (EDT)

  • ウェブストア価格 ¥17,343(本体¥15,767)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 157pt
  • 海外取次在庫
Angewandte Netzwerktechnik kompakt : Dateiformate, Übertragungsprotokolle und ihre Nutzung in Java-Applikationen (It kompakt) (3RD)
  • 洋書

Angewandte Netzwerktechnik kompakt : Dateiformate, Übertragungsprotokolle und ihre Nutzung in Java-Applikationen (It kompakt) (3RD)  Paperback

Plenk, Valentin

  • ウェブストア価格 ¥4,334(本体¥3,940)
  • Springer Vieweg(2024/06発売)
  • ポイント 39pt
  • 海外取次在庫
Video Grounding and Its Generalization : From I.D. and Task-specific Models to O.O.D. and Large Foundation Models
  • 洋書
  • 予約

Video Grounding and Its Generalization : From I.D. and Task-specific Models to O.O.D. and Large Foundation Models  Hardcover,  言語:ENG

Wang, Xin/ Lan, Xiaohan/ Zhu, Wenwu

  • Springer International Publishing AG(2025/12発売)
  • ご注文いただけません
Information Technology in Disaster Risk Reduction : 9th IFIP WG 5.15 International Conference, ITDRR 2024, Krems an der Donau, Austria, October 14-16, 2024, Revised Selected Papers (Ifip Advances in Information and Communication Technology)
  • 洋書
  • 電子版あり

Information Technology in Disaster Risk Reduction : 9th IFIP WG 5.15 International Conference, ITDRR 2024, Krems an der Donau, Austria, October 14-16, 2024, Revised Selected Papers (Ifip Advances in Information and Communication Technology)  Hardcover,  言語:ENG

Seböck, Walter (EDT)/ Lampoltshammer, Thomas J. (EDT)/ Dugdale, Julie (EDT)

  • ウェブストア価格 ¥43,364(本体¥39,422)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 394pt
  • 海外からお取り寄せ(通常6~9週間)
Advanced Computing Techniques in Engineering and Technology : Second International Conference, ACTET 2025, Jaipur, India, February 12-13, 2025, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Advanced Computing Techniques in Engineering and Technology : Second International Conference, ACTET 2025, Jaipur, India, February 12-13, 2025, Proceedings (Communications in Computer and Information Science)  Paperback

Bansal, Ramesh C. (EDT)/ Devedzic, Vladan (EDT)/ Nayak, Richi (EDT)

  • ウェブストア価格 ¥14,091(本体¥12,810)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 128pt
  • 海外取次在庫
Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language : Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1 (Lecture Notes in Computer Science 14580) (2026. 450 S. Approx. 450 p. 235 mm)
  • 洋書
  • 予約

Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language : Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1 (Lecture Notes in Computer Science 14580) (2026. 450 S. Approx. 450 p. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Taft, S. Tucker/ Duff, Robert A./ Brukardt, Randall L./ Ploedereder, Erhard/ Leroy, Pascal/ Schonberg, Edmond/ Cousins, Jeffrey/ Baird, Stephen

  • ウェブストア価格 ¥20,150(本体¥18,319)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026発売)
  • ポイント 183pt
  • ご予約受付中。出版後の入荷・発送
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing : Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1 (Lecture Notes in Computer Science 14581) (2026. 450 S. Approx. 450 p. 235 mm)
  • 洋書
  • 予約

Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing : Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1 (Lecture Notes in Computer Science 14581) (2026. 450 S. Approx. 450 p. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Taft, S. Tucker/ Duff, Robert A./ Brukardt, Randall L./ Ploedereder, Erhard/ Leroy, Pascal/ Schonberg, Edmond/ Cousins, Jeffrey/ Baird, Stephen

  • ウェブストア価格 ¥20,150(本体¥18,319)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026発売)
  • ポイント 183pt
  • ご予約受付中。出版後の入荷・発送
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and Indexes : Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1 (Lecture Notes in Computer Science 14582) (2026. 450 S. Approx. 450 p. 235 mm)
  • 洋書
  • 予約

Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and Indexes : Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1 (Lecture Notes in Computer Science 14582) (2026. 450 S. Approx. 450 p. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Taft, S. Tucker/ Duff, Robert A./ Brukardt, Randall L./ Ploedereder, Erhard/ Leroy, Pascal/ Schonberg, Edmond/ Cousins, Jeffrey/ Baird, Stephen

  • ウェブストア価格 ¥20,150(本体¥18,319)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026発売)
  • ポイント 183pt
  • ご予約受付中。出版後の入荷・発送
Generalized Matrix Inversion: A Machine Learning Approach (2025. xxxvii, 333 S. XXXVII, 333 p. 135 illus., 74 illus. in color. 23)
  • 洋書
  • 予約

Generalized Matrix Inversion: A Machine Learning Approach (2025. xxxvii, 333 S. XXXVII, 333 p. 135 illus., 74 illus. in color. 23)  Hardcover,  言語:ENG

Stanimirovic, Predrag/Wei, Yimin/Li, Shuai

  • ウェブストア価格 ¥54,468(本体¥49,517)
  • SPRINGER, BERLIN; SPRINGER(2025/12発売)
  • ポイント 495pt
  • ご予約受付中。出版後の入荷・発送
Graphentheorie und Netzwerkanalyse : Eine kompakte Einführung mit Beispielen, Übungen und Lösungsvorschlägen
  • 洋書

Graphentheorie und Netzwerkanalyse : Eine kompakte Einführung mit Beispielen, Übungen und Lösungsvorschlägen  Paperback

Schmidt, Christin

  • ウェブストア価格 ¥8,670(本体¥7,882)
  • Springer Vieweg(2023/12発売)
  • ポイント 78pt
  • 海外取次在庫
Mathematische Grundlagen der Informatik : Mathematisches Denken und Beweisen - Eine Einführung (7TH)
  • 洋書

Mathematische Grundlagen der Informatik : Mathematisches Denken und Beweisen - Eine Einführung (7TH)  Paperback,  言語:GER

Meinel, Christoph/ Mundhenk, Martin

  • Springer Vieweg(2024/06発売)
  • ご注文いただけません
Programmieren mit Python : Eine Einführung in die Prozedurale, Objektorientierte und Funktionale Programmierung
  • 洋書

Programmieren mit Python : Eine Einführung in die Prozedurale, Objektorientierte und Funktionale Programmierung  Paperback,  言語:GER

Häberlein, Tobias

  • ウェブストア価格 ¥8,670(本体¥7,882)
  • Springer Vieweg(2024/01発売)
  • ポイント 78pt
  • 海外取次在庫
App-Entwicklung für Mobile und Desktop : Software Engineering mit .NET MAUI und Comet für iOS, Android, Windows und macOS
  • 洋書

App-Entwicklung für Mobile und Desktop : Software Engineering mit .NET MAUI und Comet für iOS, Android, Windows und macOS  Paperback

Nunkesser, Robin

  • ウェブストア価格 ¥9,754(本体¥8,868)
  • Springer Vieweg(2023/09発売)
  • ポイント 88pt
  • 海外取次在庫
Conceptual Knowledge Structures : First International Joint Conference, CONCEPTS 2024, Cádiz, Spain, September 9-13, 2024, Proceedings (Lecture Notes in Artificial Intelligence) (2024)
  • 洋書

Conceptual Knowledge Structures : First International Joint Conference, CONCEPTS 2024, Cádiz, Spain, September 9-13, 2024, Proceedings (Lecture Notes in Artificial Intelligence) (2024)  Paperback,  言語:ENG

Cabrera, Inma P. (EDT)/ Ferré, Sébastien (EDT)/ Obiedkov, Sergei (EDT)

  • ウェブストア価格 ¥16,260(本体¥14,782)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 147pt
  • 海外取次在庫
Strategische Planung in Business und IT - lean, agil & systematisch : Strategien, Roadmap und Leitplanken für den ständigen Wandel einfach & effektiv
  • 洋書

Strategische Planung in Business und IT - lean, agil & systematisch : Strategien, Roadmap und Leitplanken für den ständigen Wandel einfach & effektiv  Paperback

Hanschke, Inge

  • ウェブストア価格 ¥13,007(本体¥11,825)
  • Springer Vieweg(2024/03発売)
  • ポイント 118pt
  • 海外取次在庫
Computational Mathematics Modeling in Cancer Analysis : Second International Workshop, CMMCA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Computational Mathematics Modeling in Cancer Analysis : Second International Workshop, CMMCA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Qin, Wenjian (EDT)/ Zaki, Nazar (EDT)/ Zhang, Fa (EDT)

  • ウェブストア価格 ¥23,849(本体¥21,681)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 216pt
  • 海外取次在庫
Trustworthy Artificial Intelligence for Healthcare : Second International Workshop, TAI4H 2024, Jeju, South Korea, August 4, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Trustworthy Artificial Intelligence for Healthcare : Second International Workshop, TAI4H 2024, Jeju, South Korea, August 4, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Chen, Hao (EDT)/ Zhou, Yuyin (EDT)/ Xu, Daguang (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 108pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Optimierungsmethoden : Einführung in die klassischen, naturanalogen und neuronalen Optimierungen
  • 洋書

Optimierungsmethoden : Einführung in die klassischen, naturanalogen und neuronalen Optimierungen  Paperback

Hollstein, Ralf

  • ウェブストア価格 ¥14,091(本体¥12,810)
  • Springer Vieweg(2023/06発売)
  • ポイント 128pt
  • 海外取次在庫
Cloud Computing - CLOUD 2023 : 16th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Cloud Computing - CLOUD 2023 : 16th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Luo, Min (EDT)/ Zhang, Liang-Jie (EDT)

  • ウェブストア価格 ¥13,007(本体¥11,825)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 118pt
  • 海外取次在庫
Practical Aspects of Declarative Languages : 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Practical Aspects of Declarative Languages : 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Gebser, Martin (EDT)/ Sergey, Ilya (EDT)

  • ウェブストア価格 ¥15,175(本体¥13,796)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 137pt
  • 海外取次在庫