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,274(本体¥12,977)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 258pt
  • 海外取次在庫
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Piskac, Ruzica (EDT)/ Rakamarić, Zvonimir (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 198pt
  • 海外取次在庫
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Piskac, Ruzica (EDT)/ Rakamarić, Zvonimir (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 198pt
  • 海外取次在庫
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback

Piskac, Ruzica (EDT)/ Rakamarić, Zvonimir (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 198pt
  • 海外取次在庫
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback

Piskac, Ruzica (EDT)/ Rakamarić, Zvonimir (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 198pt
  • 海外取次在庫
Artificial Intelligence in Biomedicine : First Conference of the Spanish Society of Artificial Intelligence in Biomedicine, CIABiomed 2025, Seville, Spain, October 23-24, 2025, Proceedings (Lecture Notes in Bioinformatics)
  • 洋書
  • 予約
  • ポイントキャンペーン

Artificial Intelligence in Biomedicine : First Conference of the Spanish Society of Artificial Intelligence in Biomedicine, CIABiomed 2025, Seville, Spain, October 23-24, 2025, Proceedings (Lecture Notes in Bioinformatics)  Paperback,  言語:ENG

López Fernández, Aurelio (EDT)/ Rodríguez-González, Alejandro (EDT)/ Leirós-Rodríguez, Raquel (EDT)

  • Springer Nature Switzerland AG(2026/01発売)
  • ご注文いただけません
Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem (Computer Science Foundations and Applied Logic) (2026. Approx. 255 p. 25 illus., 5 illus. in color. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem (Computer Science Foundations and Applied Logic) (2026. Approx. 255 p. 25 illus., 5 illus. in color. 235 mm)  Hardcover,  言語:ENG

Demri, Sté/phane

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN; SPRINGER(2026/02発売)
  • ポイント 254pt
  • ご予約受付中。出版後の入荷・発送
Quantum Software Engineering
  • 洋書
  • ポイントキャンペーン

Quantum Software Engineering  Paperback,  言語:ENG

Serrano, Manuel A. (EDT)/ Pérez-Castillo, Ricardo (EDT)/ Piattini, Mario (EDT)

  • ウェブストア価格 ¥26,354(本体¥23,959)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 478pt
  • 海外取次在庫
Datenmanagement und Datenanalyse : Konzepte, Technologien und Methoden für die Organisation und Aufbereitung von Daten in Unternehmen (2024)
  • 洋書
  • ポイントキャンペーン

Datenmanagement und Datenanalyse : Konzepte, Technologien und Methoden für die Organisation und Aufbereitung von Daten in Unternehmen (2024)  Hardcover

Gluchowski, Peter

  • Springer Vieweg(2024/09発売)
  • ご注文いただけません
Responsible Artificial Intelligence and Data Science (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee) (2026. xii, 214 S. XII, 214 p. 102 illus. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Responsible Artificial Intelligence and Data Science (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee) (2026. xii, 214 S. XII, 214 p. 102 illus. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Thomassey, Sé/bastien/ Tran, Kim-Phuc/ Vanderhaegen, Fré/dé/ric/ Choi, Tsan-Ming

  • ウェブストア価格 ¥25,197(本体¥22,907)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 458pt
  • ご予約受付中。出版後の入荷・発送
Discovery Science : 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Discovery Science : 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Bifet, Albert (EDT)/ Lorena, Ana Carolina (EDT)/ Ribeiro, Rita P. (EDT)

  • ウェブストア価格 ¥19,765(本体¥17,969)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 358pt
  • 海外取次在庫
Computational Intelligence and Network Systems : First International Conference, CINS 2023, Dubai, United Arab Emirates, October 18-20, 2023, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Computational Intelligence and Network Systems : First International Conference, CINS 2023, Dubai, United Arab Emirates, October 18-20, 2023, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Muthalagu, Raja (EDT)/ P S, Tamizharasan (EDT)/ Pawar, Pranav M. (EDT)

  • ウェブストア価格 ¥14,274(本体¥12,977)
  • Springer International Publishing AG(2023/12発売)
  • ポイント 258pt
  • 海外取次在庫
Advances in Conceptual Modeling : ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Advances in Conceptual Modeling : ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Sales, Tiago Prince (EDT)/ Araújo, João (EDT)/ Borbinha, José (EDT)

  • ウェブストア価格 ¥18,667(本体¥16,970)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 338pt
  • 海外取次在庫
偶然の発見<br>Chance Discovery (Advanced Information Processing) (2003. 400 p. w. 120 figs.)
  • 洋書
  • ポイントキャンペーン

偶然の発見
Chance Discovery (Advanced Information Processing) (2003. 400 p. w. 120 figs.)
 Hardcover

Ed. by Y. Ohsawa, a. P McBurney

  • ウェブストア価格 ¥41,998(本体¥38,180)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 762pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥18,667(本体¥16,970)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 338pt
  • 海外取次在庫
Advances in Computational Intelligence. MICAI 2023 International Workshops : WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13-18, 2023, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • ポイントキャンペーン

Advances in Computational Intelligence. MICAI 2023 International Workshops : WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13-18, 2023, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Calvo, Hiram (EDT)/ Martínez-Villaseñor, Lourdes (EDT)/ Ponce, Hiram (EDT)

  • ウェブストア価格 ¥19,585(本体¥17,805)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 356pt
  • 海外からお取り寄せ(通常6~9週間)
Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Bournez, Olivier (EDT)/ Formenti, Enrico (EDT)/ Potapov, Igor (EDT)

  • ウェブストア価格 ¥15,372(本体¥13,975)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 278pt
  • 海外取次在庫
Similarity Search and Applications : 16th International Conference, SISAP 2023, a Coruña, Spain, October 9-11, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Similarity Search and Applications : 16th International Conference, SISAP 2023, a Coruña, Spain, October 9-11, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Pedreira, Oscar (EDT)/ Estivill-Castro, Vladimir (EDT)

  • ウェブストア価格 ¥15,372(本体¥13,975)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 278pt
  • 海外取次在庫
Knowledge Engineering for Modern Information Systems : Methods, Models and Tools (Smart Computing Applications 3) (2022. VI, 232 S. 17 b/w and 61 col. ill., 20 b/w tbl. 240 mm)
  • 洋書
  • ポイントキャンペーン

Knowledge Engineering for Modern Information Systems : Methods, Models and Tools (Smart Computing Applications 3) (2022. VI, 232 S. 17 b/w and 61 col. ill., 20 b/w tbl. 240 mm)  Hardcover

Herausgegeben:Sharma, Anand/ Kautish, Sandeep/ Agrawal, Prateek/ Madaan, Vishu/ Gupta, Charu/ Nanda, Saurav

  • ウェブストア価格 ¥32,435(本体¥29,487)
  • SPRINGER, BERLIN(2022発売)
  • ポイント 588pt
  • 海外取次在庫
Speech and Language Technologies for Low-Resource Languages : Third International Conference, SPELLL 2024, Chennai, India, December 4-6, 2024, Revised Selected Papers (Communications in Computer and Information Science 2656) (2025. xvi, 673 S. XVI, 673 p. 378 illus., 194 illus. in color. 235 mm)
  • 洋書
  • ポイントキャンペーン

Speech and Language Technologies for Low-Resource Languages : Third International Conference, SPELLL 2024, Chennai, India, December 4-6, 2024, Revised Selected Papers (Communications in Computer and Information Science 2656) (2025. xvi, 673 S. XVI, 673 p. 378 illus., 194 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Chakravarthi, Bharathi Raja/ B, Bharathi/ Rajiakodi, Saranya/ Garcí/a Cumbreras, Miguel Á/ngel/ Jimé/nez Zafra, Salud Marí/a/ Ková/cs, Gyoergy/ Eger, Steffen/ Wahyu P

  • ウェブストア価格 ¥23,797(本体¥21,634)
  • SPRINGER, BERLIN; SPRINGER(2025発売)
  • ポイント 432pt
  • 海外取次在庫