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,397(本体¥8,543)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2025/09発売)
  • ポイント 85pt
  • ご予約受付中。出版後の入荷・発送
Kryptographie (2025. xix, 330 S. XIX, 330 S. 57 Abb. 240 mm)
  • 洋書
  • 予約

Kryptographie (2025. xix, 330 S. XIX, 330 S. 57 Abb. 240 mm)  Paperback

Fuss, Juergen/Vymazal, Anna

  • ウェブストア価格 ¥11,129(本体¥10,118)
  • 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)
  • 洋書
  • 予約

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)

  • Springer International Publishing AG(2025/09発売)
  • ご注文いただけません
Pan-African Artificial Intelligence and Smart Systems : Third Pan-African Conference, PAAISS 2024, Durban, South Africa, December 4-6, 2024, Proceedings, Part II (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommun
  • 洋書
  • 予約

Pan-African Artificial Intelligence and Smart Systems : Third Pan-African Conference, PAAISS 2024, Durban, South Africa, December 4-6, 2024, Proceedings, Part II (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommun  Paperback,  言語:ENG

N. Ngatched, Telex M. (EDT)/ Woungang, Isaac (EDT)/ Tapamo, Jules-Raymond (EDT)

  • Springer International Publishing AG(2025/09発売)
  • ご注文いただけません
Pan-African Artificial Intelligence and Smart Systems : Third Pan-African Conference, PAAISS 2024, Durban, South Africa, December 4-6, 2024, Proceedings, Part I (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommuni
  • 洋書
  • 予約

Pan-African Artificial Intelligence and Smart Systems : Third Pan-African Conference, PAAISS 2024, Durban, South Africa, December 4-6, 2024, Proceedings, Part I (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommuni  Paperback,  言語:ENG

N. Ngatched, Telex M. (EDT)/ Woungang, Isaac (EDT)/ Tapamo, Jules-Raymond (EDT)

  • Springer International Publishing AG(2025/08発売)
  • ご注文いただけません
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,415(本体¥11,287)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 112pt
  • 海外取次在庫
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,590(本体¥15,991)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 159pt
  • 海外取次在庫
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,415(本体¥11,287)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 112pt
  • オンデマンド(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,625(本体¥16,932)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 169pt
  • 海外取次在庫
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,590(本体¥15,991)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 159pt
  • 海外取次在庫
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,231(本体¥12,029)
  • 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,380(本体¥10,346)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 103pt
  • 海外取次在庫
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,380(本体¥10,346)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 103pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 206pt
  • 海外取次在庫
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,380(本体¥10,346)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 103pt
  • 海外取次在庫
Intelligent Robotics and Applications : 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part III (Lecture Notes in Artificial Intelligence) (2019)
  • 洋書
  • 電子版あり

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

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

  • ウェブストア価格 ¥22,764(本体¥20,695)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 206pt
  • 海外取次在庫
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,380(本体¥10,346)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 103pt
  • 海外取次在庫
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発売)
  • ご注文いただけません