Logik für die Informatik : Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie (2025. xvi, 251 S. XVI, 251 S. 91 Abb. 240 mm)
  • 洋書
  • 予約

Logik für die Informatik : Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie (2025. xvi, 251 S. XVI, 251 S. 91 Abb. 240 mm)  Paperback

Junker, Markus

  • ウェブストア価格 ¥9,452(本体¥8,593)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2025/08発売)
  • ポイント 85pt
  • ご予約受付中。出版後の入荷・発送
Kryptographie (2025. x, 341 S. X, 341 S. 57 Abb. 240 mm)
  • 洋書
  • 予約

Kryptographie (2025. x, 341 S. X, 341 S. 57 Abb. 240 mm)  Paperback

Fuss, Juergen/Vymazal, Anna

  • ウェブストア価格 ¥11,193(本体¥10,176)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2025/09発売)
  • ポイント 101pt
  • ご予約受付中。出版後の入荷・発送
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 752)
  • 洋書

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 752)

Herausgegeben:Seboeck, Walter/Lampoltshammer, Thomas J./Dugdale, Julie

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025/07発売)
  • ご注文いただけません
Pan-African Artificial Intelligence and Smart Systems (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee)
  • 洋書

Pan-African Artificial Intelligence and Smart Systems (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee)

Herausgegeben:N. Ngatched, Telex M./Woungang, Isaac/Tapamo, Jules-Raymond

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025/07発売)
  • ご注文いただけません
Pan-African Artificial Intelligence and Smart Systems (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee)
  • 洋書

Pan-African Artificial Intelligence and Smart Systems (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee)

Herausgegeben:N. Ngatched, Telex M./Woungang, Isaac/Tapamo, Jules-Raymond

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025/07発売)
  • ご注文いただけません
Digitale Bekleidung in virtuellen Welten : Digitalisierung für Zukunftsfähigkeit und Nachhaltigkeit in der Bekleidungswirtschaft (Sdg - Forschung, Konzepte, Lösungsansätze zur Nachhaltigkeit)
  • 洋書
Edge Computing - EDGE 2023 : 7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Edge Computing - EDGE 2023 : 7th 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

Feng, Jun (EDT)/ Jiang, Frank (EDT)/ Luo, Min (EDT)

  • ウェブストア価格 ¥12,585(本体¥11,441)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 114pt
  • 海外取次在庫
Modality, Semantics and Interpretations : The Second Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
  • 洋書

Modality, Semantics and Interpretations : The Second Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)  Paperback

Ju, Shier (EDT)/ Liu, Hu (EDT)/ Ono, Hiroakira (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/10発売)
  • ご注文いただけません
Innovations and Interdisciplinary Solutions for Underserved Areas : 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics
  • 洋書

Innovations and Interdisciplinary Solutions for Underserved Areas : 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics  Paperback,  言語:ENG

Seeam, Amar (EDT)/ Ramsurrun, Visham (EDT)/ Juddoo, Suraj (EDT)

  • ウェブストア価格 ¥17,829(本体¥16,209)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 162pt
  • 海外取次在庫
Blockchain - ICBC 2023 : 6th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Blockchain - ICBC 2023 : 6th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Wang, Qin (EDT)/ Feng, Jun (EDT)/ Zhang, Liang-Jie (EDT)

  • ウェブストア価格 ¥12,585(本体¥11,441)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 114pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

André, Étienne (EDT)/ Sun, Jun (EDT)

  • ウェブストア価格 ¥18,878(本体¥17,162)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 171pt
  • 海外取次在庫
Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

André, Étienne (EDT)/ Sun, Jun (EDT)

  • ウェブストア価格 ¥17,829(本体¥16,209)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 162pt
  • 海外取次在庫
Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .6953) (2011. XI, 403 S. 235 mm)
  • 洋書

Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .6953) (2011. XI, 403 S. 235 mm)  Paperback

Herausgegeben von van Ditmarsch, Hans/ Lang, Jerome/ Ju, Shier

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Intelligent Robotics and Applications : 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part II (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Intelligent Robotics and Applications : 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part II (Lecture Notes in Artificial Intelligence)  Paperback

Yu, Haibin (EDT)/ Liu, Jinguo (EDT)/ Liu, Lianqing (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 104pt
  • 海外取次在庫
Intelligent Robotics and Applications : 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part V (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Intelligent Robotics and Applications : 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part V (Lecture Notes in Computer Science)  Paperback

Yu, Haibin (EDT)/ Liu, Jinguo (EDT)/ Liu, Lianqing (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 104pt
  • 海外取次在庫
Intelligent Robotics and Applications : 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part I (Lecture Notes in Artificial Intelligence) (2019)
  • 洋書
  • 電子版あり

Intelligent Robotics and Applications : 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part I (Lecture Notes in Artificial Intelligence) (2019)  Paperback,  言語:ENG

Yu, Haibin (EDT)/ Liu, Jinguo (EDT)/ Liu, Lianqing (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 209pt
  • 海外取次在庫
Intelligent Robotics and Applications : 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part VI (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Intelligent Robotics and Applications : 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part VI (Lecture Notes in Computer Science)  Paperback

Yu, Haibin (EDT)/ Liu, Jinguo (EDT)/ Liu, Lianqing (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 104pt
  • 海外取次在庫
Intelligent Robotics and Applications : 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part III (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

Intelligent Robotics and Applications : 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part III (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Yu, Haibin (EDT)/ Liu, Jinguo (EDT)/ Liu, Lianqing (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 209pt
  • 海外取次在庫
Intelligent Robotics and Applications : 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Intelligent Robotics and Applications : 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback

Yu, Haibin (EDT)/ Liu, Jinguo (EDT)/ Liu, Lianqing (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 104pt
  • 海外取次在庫
IT-Sicherheit : Eine grundlegende Einführung (eXamen.press) (2009. 300 S. 23,5 cm)
  • 洋書

IT-Sicherheit : Eine grundlegende Einführung (eXamen.press) (2009. 300 S. 23,5 cm)  Paperback

Juerjens, Jan

  • SPRINGER, BERLIN(2009/03発売)
  • ご注文いただけません