Logik für die Informatik : Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
  • 洋書

Logik für die Informatik : Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie  Paperback

Junker, Markus

  • Springer Vieweg(2025/08発売)
  • ご注文いただけません
Kryptographie
  • 洋書

Kryptographie  Paperback,  言語:GER

Fuß, Jürgen/ Vymazal, Anna

  • Springer Vieweg(2025/10発売)
  • ご注文いただけません
Quantum Technologies : Trends and Implications for Cyber Defence (2026. xix, 251 S. XIX, 251 p. 235 mm)
  • 洋書

Quantum Technologies : Trends and Implications for Cyber Defence (2026. xix, 251 S. XIX, 251 p. 235 mm)  Hardcover

Herausgegeben:Jang-Jaccard, Julian/ Caroff, Philippe/ Blezinger, Evan/ Mulder, Valentin/ Mermoud, Alain/ Lenders, Vincent

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN; OFFICE FÉDÉRAL DE L'ARMEMENT(2025/11発売)
  • ポイント 123pt
  • 海外からお取り寄せ(通常6~9週間)
Robotics, Computer Vision and Intelligent Systems : 5th International Conference, ROBOVIS 2025, Porto, Portugal, February 25-27, 2025, Proceedings (Communications in Computer and Information Science 2629) (2025. xxii, 558 S. XXII, 558 p. 265 illus., 249 illus. in color. 235 m)
  • 洋書
  • 電子版あり

Robotics, Computer Vision and Intelligent Systems : 5th International Conference, ROBOVIS 2025, Porto, Portugal, February 25-27, 2025, Proceedings (Communications in Computer and Information Science 2629) (2025. xxii, 558 S. XXII, 558 p. 265 illus., 249 illus. in color. 235 m)  Paperback,  言語:ENG

Herausgegeben:Roening, Juha/ Filipe, Joaquim

  • ウェブストア価格 ¥35,403(本体¥32,185)
  • SPRINGER, BERLIN; SPRINGER(2025/09発売)
  • ポイント 321pt
  • 海外取次在庫
Learning-from-Observation 2.0 : Automatic Acquisition of Robot Behavior from Human Demonstration (Synthesis Lectures on Computer Vision) (2025. xvi, 204 S. XVI, 204 p. 106 illus., 60 illus. in color. 240 mm)
  • 洋書
  • 予約

Learning-from-Observation 2.0 : Automatic Acquisition of Robot Behavior from Human Demonstration (Synthesis Lectures on Computer Vision) (2025. xvi, 204 S. XVI, 204 p. 106 illus., 60 illus. in color. 240 mm)  Hardcover,  言語:ENG

Ikeuchi, Katsushi/Wake, Naoki/Takamatsu, Jun

  • ウェブストア価格 ¥10,891(本体¥9,901)
  • SPRINGER, BERLIN; SPRINGER(2025/12発売)
  • ポイント 99pt
  • ご予約受付中。出版後の入荷・発送
Electronic Governance with Emerging Technologies : 4th International Conference, EGETC 2025, Melbourne, Australia, September 25-26, 2025, Revised Selected Papers (Communications in Computer and Information Science 2730) (2025. x, 340 S. X, 340 p. 235 mm)
  • 洋書
  • 予約

Electronic Governance with Emerging Technologies : 4th International Conference, EGETC 2025, Melbourne, Australia, September 25-26, 2025, Revised Selected Papers (Communications in Computer and Information Science 2730) (2025. x, 340 S. X, 340 p. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Ortiz-Rodriguez, Fernando/ Tiwari, Sanju/ Pardede, Eric/ Chicaiza-Espinosa, Janneth

  • ウェブストア価格 ¥29,956(本体¥27,233)
  • SPRINGER, BERLIN; SPRINGER(2025/12発売)
  • ポイント 272pt
  • ご予約受付中。出版後の入荷・発送
Metaverse - METAVERSE 2025 : 21st International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, Proceedings (Lecture Notes in Computer Science 16159) (2025. xiv, 125 S. XIV, 125 p. 28 illus., 27 illus. in color. 235 mm)
  • 洋書
  • 電子版あり

Metaverse - METAVERSE 2025 : 21st International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, Proceedings (Lecture Notes in Computer Science 16159) (2025. xiv, 125 S. XIV, 125 p. 28 illus., 27 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Chen, Shiping/ Feng, Jun/ Miao, Yinbin/ Zhang, Liang-Jie

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN; SPRINGER(2025/10発売)
  • ポイント 123pt
  • 海外取次在庫
Next-Gen Computing and Communication Systems : First International Conference, ICNCS 2025, Jaipur, India, April 18-19, 2025, Proceedings (Communications in Computer and Information Science 2718) (2026. xx, 114 S. XX, 114 p. 235 mm)
  • 洋書
  • 予約

Next-Gen Computing and Communication Systems : First International Conference, ICNCS 2025, Jaipur, India, April 18-19, 2025, Proceedings (Communications in Computer and Information Science 2718) (2026. xx, 114 S. XX, 114 p. 235 mm)  Paperback,  言語:ENG

Herausgegeben:K Somani, Arun/ Mishra, Deepti/ Khari, Manju/ Gaur, Pramod/ Arsalan, Muhammad

  • ウェブストア価格 ¥24,509(本体¥22,281)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 222pt
  • ご予約受付中。出版後の入荷・発送
Human-Computer Interaction - INTERACT 2025 : 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8-12, 2025, Proceedings, Part II (Lecture Notes in Computer Science 16109) (2025. xxxviii, 638 S. XXXVIII, 638 p. 148 illus., 136 illus. in color.)
  • 洋書
  • 電子版あり

Human-Computer Interaction - INTERACT 2025 : 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8-12, 2025, Proceedings, Part II (Lecture Notes in Computer Science 16109) (2025. xxxviii, 638 S. XXXVIII, 638 p. 148 illus., 136 illus. in color.)  Paperback,  言語:ENG

Herausgegeben:Ardito, Carmelo/ Diniz Junqueira Barbosa, Simone/ Conte, Tayana/ Freire, André/ Gasparini, Isabela/ Palanque, Philippe/ Prates, Raquel

  • ウェブストア価格 ¥22,330(本体¥20,300)
  • SPRINGER, BERLIN; SPRINGER(2025/10発売)
  • ポイント 203pt
  • 海外取次在庫
Knowledge Graphs and Semantic Web : 7th International Conference, KGSWC 2025, Leipzig, Germany, November 26-28, 2025, Proceedings (Lecture Notes in Computer Science 16373) (2026. xx, 301 S. XX, 301 p. 235 mm)
  • 洋書
  • 予約

Knowledge Graphs and Semantic Web : 7th International Conference, KGSWC 2025, Leipzig, Germany, November 26-28, 2025, Proceedings (Lecture Notes in Computer Science 16373) (2026. xx, 301 S. XX, 301 p. 235 mm)  Paperback

Herausgegeben:Villazó/n-Terrazas, Boris/ Ortiz-Rodriguez, Fernando/ Tiwari, Sanju/ Riechert, Thomas/ Marx, Edgard

  • ウェブストア価格 ¥26,688(本体¥24,262)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 242pt
  • ご予約受付中。出版後の入荷・発送
Industrial Networks and Intelligent Systems : 11th EAI International Conference, INISCOM 2025, Da Nang, Vietnam, February 20-21, 2025, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engine
  • 洋書

Industrial Networks and Intelligent Systems : 11th EAI International Conference, INISCOM 2025, Da Nang, Vietnam, February 20-21, 2025, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engine  Paperback,  言語:ENG

Vo, Nguyen-Son (EDT)/ Ha, Dac-Binh (EDT)/ Jung, Haejoon (EDT)

  • Springer Nature Switzerland AG(2025/10発売)
  • ご注文いただけません
Job Scheduling Strategies for Parallel Processing : 28th International Workshop, JSSPP 2025, Milan, Italy, June 3-4, 2025, Revised Selected Papers (Lecture Notes in Computer Science 16210) (2025. xx, 350 S. XX, 350 p. 235 mm)
  • 洋書
  • 予約

Job Scheduling Strategies for Parallel Processing : 28th International Workshop, JSSPP 2025, Milan, Italy, June 3-4, 2025, Revised Selected Papers (Lecture Notes in Computer Science 16210) (2025. xx, 350 S. XX, 350 p. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Klusá/cek, Dalibor/ Corbalá/n, Julita/ Rodrigo, Gonzalo P.

  • ウェブストア価格 ¥22,330(本体¥20,300)
  • SPRINGER, BERLIN; SPRINGER(2025/12発売)
  • ポイント 203pt
  • ご予約受付中。出版後の入荷・発送
Financial Cryptography and Data Security. FC 2025 International Workshops : CoDecFin, FinTeAchin, VOTING, Miyakojima, Japan, April 18, 2025, Revised Selected Papers, Part II (Lecture Notes in Computer Science 15754)
  • 洋書

Financial Cryptography and Data Security. FC 2025 International Workshops : CoDecFin, FinTeAchin, VOTING, Miyakojima, Japan, April 18, 2025, Revised Selected Papers, Part II (Lecture Notes in Computer Science 15754)

Herausgegeben:Haslhofer, Bernhard/Xu, Java/Victor, Friedhelm

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025/10発売)
  • ご注文いただけません
Blockchain - ICBC 2025 : 8th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, Proceedings (Lecture Notes in Computer Science 16155) (2025. xvi, 246 S. XVI, 246 p. 84 illus., 70 illus. in color. 235 mm)
  • 洋書
  • 電子版あり

Blockchain - ICBC 2025 : 8th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, Proceedings (Lecture Notes in Computer Science 16155) (2025. xvi, 246 S. XVI, 246 p. 84 illus., 70 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Shyamasundar, Rudrapatna K./ Huang, Huawei/ He, Songlin/ Fang, Junbin/ Zhang, Liang-Jie

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN; SPRINGER(2025/10発売)
  • ポイント 123pt
  • 海外取次在庫
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週間)
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

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

  • ウェブストア価格 ¥17,343(本体¥15,767)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 157pt
  • 海外取次在庫
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

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

  • ウェブストア価格 ¥21,681(本体¥19,710)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 197pt
  • 海外取次在庫
Medical Image Computing and Computer Assisted Intervention - MICCAI 2025 : 28th International Conference, Daejeon, South Korea, September 23-27, 2025, Proceedings, Part X (Lecture Notes in Computer Science 15969) (2025. li, 641 S. LI, 641 p. 201 illus., 196 illus. in color. 235 mm)
  • 洋書
  • 電子版あり

Medical Image Computing and Computer Assisted Intervention - MICCAI 2025 : 28th International Conference, Daejeon, South Korea, September 23-27, 2025, Proceedings, Part X (Lecture Notes in Computer Science 15969) (2025. li, 641 S. LI, 641 p. 201 illus., 196 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Gee, James C./ Alexander, Daniel C./ Hong, Jaesung/ Iglesias, Juan Eugenio/ Sudre, Carole H./ Venkataraman, Archana/ Golland, Polina/ Kim, Jong Hyo/ Park, Jinah

  • ウェブストア価格 ¥22,330(本体¥20,300)
  • SPRINGER, BERLIN; SPRINGER; SPRINGER NATURE SWITZERLA(2025/10発売)
  • ポイント 203pt
  • 海外取次在庫
Medical Image Computing and Computer Assisted Intervention - MICCAI 2025 : 28th International Conference, Daejeon, South Korea, September 23-27, 2025, Proceedings, Part XI (Lecture Notes in Computer Science 15970) (2025. li, 639 S. LI, 639 p. 179 illus., 176 illus. in color. 235 mm)
  • 洋書
  • 電子版あり

Medical Image Computing and Computer Assisted Intervention - MICCAI 2025 : 28th International Conference, Daejeon, South Korea, September 23-27, 2025, Proceedings, Part XI (Lecture Notes in Computer Science 15970) (2025. li, 639 S. LI, 639 p. 179 illus., 176 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Gee, James C./ Alexander, Daniel C./ Hong, Jaesung/ Iglesias, Juan Eugenio/ Sudre, Carole H./ Venkataraman, Archana/ Golland, Polina/ Kim, Jong Hyo/ Park, Jinah

  • ウェブストア価格 ¥22,330(本体¥20,300)
  • SPRINGER, BERLIN; SPRINGER; SPRINGER NATURE SWITZERLA(2025/10発売)
  • ポイント 203pt
  • 海外取次在庫
Medical Image Computing and Computer Assisted Intervention - MICCAI 2025 : 28th International Conference, Daejeon, South Korea, September 23-27, 2025, Proceedings, Part XII (Lecture Notes in Computer Science 15971) (2025. li, 695 S. LI, 695 p. 199 illus., 196 illus. in color. 235 mm)
  • 洋書
  • 電子版あり

Medical Image Computing and Computer Assisted Intervention - MICCAI 2025 : 28th International Conference, Daejeon, South Korea, September 23-27, 2025, Proceedings, Part XII (Lecture Notes in Computer Science 15971) (2025. li, 695 S. LI, 695 p. 199 illus., 196 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Gee, James C./ Alexander, Daniel C./ Hong, Jaesung/ Iglesias, Juan Eugenio/ Sudre, Carole H./ Venkataraman, Archana/ Golland, Polina/ Kim, Jong Hyo/ Park, Jinah

  • ウェブストア価格 ¥22,330(本体¥20,300)
  • SPRINGER, BERLIN; SPRINGER; SPRINGER NATURE SWITZERLA(2025/10発売)
  • ポイント 203pt
  • 海外取次在庫