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)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 151pt
  • 海外取次在庫
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発売)
  • ご注文いただけません
Coordinating Plans of Autonomous Agents (Lecture Notes in Computer Science, Volume 610) (2007. 264 S. 235 mm)
  • 洋書

Coordinating Plans of Autonomous Agents (Lecture Notes in Computer Science, Volume 610) (2007. 264 S. 235 mm)  Paperback

Martial, Frank v.

  • ウェブストア価格 ¥12,437(本体¥11,307)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 113pt
  • 海外取次在庫
Digging into Software Knowledge Generation in Cultural Heritage : Modeling Assistance Strategies for Large Archaeological Data Sets (Modeling and Optimization in Science and Technologies)
  • 洋書
  • 電子版あり

Digging into Software Knowledge Generation in Cultural Heritage : Modeling Assistance Strategies for Large Archaeological Data Sets (Modeling and Optimization in Science and Technologies)  Hardcover,  言語:ENG

Martin-Rodilla, Patricia

  • Springer International Publishing AG(2017/10発売)
  • ご注文いただけません
Cybersecurity in Italy : Governance, Policies and Ecosystem (Springerbriefs in Cybersecurity) (2024)
  • 洋書

Cybersecurity in Italy : Governance, Policies and Ecosystem (Springerbriefs in Cybersecurity) (2024)  Paperback

Martino, Luigi

  • ウェブストア価格 ¥9,374(本体¥8,522)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 85pt
  • 海外取次在庫
Qualità dei sistemi e del software : Il prossimo passo per l'industrializzazione (1a ed. 2016. 2015. xxxviii, 184 S. XXXVIII, 184 pagg. 235 mm)
  • 洋書

Qualità dei sistemi e del software : Il prossimo passo per l'industrializzazione (1a ed. 2016. 2015. xxxviii, 184 S. XXXVIII, 184 pagg. 235 mm)  Hardcover,  言語:ITA

Wieczorek, Martin/Vos, Diederik/Bons, Heinz

  • ウェブストア価格 ¥10,177(本体¥9,252)
  • SPRINGER, BERLIN; SPRINGER(2015発売)
  • ポイント 92pt
  • 海外からお取り寄せ(通常6~9週間)
Foundations of Intelligent Systems : 25th International Symposium, ISMIS 2020, Graz, Austria, September 23-25, 2020, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Foundations of Intelligent Systems : 25th International Symposium, ISMIS 2020, Graz, Austria, September 23-25, 2020, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Helic, Denis (EDT)/ Leitner, Gerhard (EDT)/ Stettinger, Martin (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 104pt
  • 海外取次在庫
Theory of Cryptography : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I (Security and Cryptology)
  • 洋書

Theory of Cryptography : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I (Security and Cryptology)  Paperback

Hirt, Martin (EDT)/ Smith, Adam (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/10発売)
  • ご注文いただけません
Theory of Cryptography : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II (Security and Cryptology)
  • 洋書

Theory of Cryptography : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II (Security and Cryptology)  Paperback

Hirt, Martin (EDT)/ Smith, Adam (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/10発売)
  • ご注文いただけません
Cybersecurity-Awareness (essentials) (2024. vii, 45 S. VII, 45 S. 1 Abb. 210 mm)
  • 洋書

Cybersecurity-Awareness (essentials) (2024. vii, 45 S. VII, 45 S. 1 Abb. 210 mm)  Paperback

Pils, Martin

  • ウェブストア価格 ¥3,708(本体¥3,371)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2024発売)
  • ポイント 33pt
  • 海外取次在庫
Das Standard-Datenschutzmodell (SDM) : Einführung in die Umsetzung der operativen Anforderungen der DSGVO (2. Aufl. 2024. xxi, 273 S. XXI, 273 S. 21 Abb. 240 mm)
  • 洋書

Das Standard-Datenschutzmodell (SDM) : Einführung in die Umsetzung der operativen Anforderungen der DSGVO (2. Aufl. 2024. xxi, 273 S. XXI, 273 S. 21 Abb. 240 mm)  Paperback

Rost, Martin

  • ウェブストア価格 ¥9,892(本体¥8,993)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2024発売)
  • ポイント 89pt
  • 海外からお取り寄せ(通常6~9週間)
Das Standard-Datenschutzmodell (SDM) : Einführung, Hintergründe und Kontexte zum Erreichen der Gewährleistungsziele
  • 洋書

Das Standard-Datenschutzmodell (SDM) : Einführung, Hintergründe und Kontexte zum Erreichen der Gewährleistungsziele  Hardcover

Rost, Martin

  • ウェブストア価格 ¥15,626(本体¥14,206)
  • Springer Vieweg(2022/12発売)
  • ポイント 142pt
  • 海外からお取り寄せ(通常6~9週間)
Immersive Education : 4th European Summit, EiED 2014, Vienna, Austria, November 24-26, 2014, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Immersive Education : 4th European Summit, EiED 2014, Vienna, Austria, November 24-26, 2014, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Ebner, Martin (EDT)/ Erenli, Kai (EDT)/ Malaka, Rainer (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Fränzle, Martin (EDT)/ Markey, Nicolas (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 104pt
  • 海外取次在庫
Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Fränzle, Martin (EDT)/ Kapur, Deepak (EDT)/ Zhan, Naijun (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Automatentheorie und Logik (eXamen.press) (2011. X, 238 S. 23,5 cm)
  • 洋書

Automatentheorie und Logik (eXamen.press) (2011. X, 238 S. 23,5 cm)  Paperback

Hofmann, Martin/ Lange, Martin

  • SPRINGER, BERLIN(2011発売)
  • ご注文いただけません
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Davis, Martin (EDT)/ Fehnker, Ansgar (EDT)/ McIver, Annabelle (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/12発売)
  • ご注文いただけません
Multi-Winner Voting with Approval Preferences (Springerbriefs in Intelligent Systems)
  • 洋書

Multi-Winner Voting with Approval Preferences (Springerbriefs in Intelligent Systems)  Paperback,  言語:ENG

Lackner, Martin/ Skowron, Piotr

  • ウェブストア価格 ¥7,915(本体¥7,196)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 71pt
  • 海外取次在庫
Applied Cryptography and Network Security Workshops : ACNS 2024 Satellite Workshops, AIBlock, AIHWS, AIoTS, SCI, AAC, SiMLA, LLE, and CIMSS, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Applied Cryptography and Network Security Workshops : ACNS 2024 Satellite Workshops, AIBlock, AIHWS, AIoTS, SCI, AAC, SiMLA, LLE, and CIMSS, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Andreoni, Martin (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 161pt
  • 海外取次在庫
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Leucker, Martin (EDT)/ Rueda, Camilo (EDT)/ Valencia, Frank D. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 104pt
  • 海外取次在庫