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 15551)
  • 洋書

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

Herausgegeben:Proenç/a, José

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025/07発売)
  • ご注文いただけません
Testing Software and Systems : 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Testing Software and Systems : 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Menéndez, Héctor D. (EDT)/ Bello-Orgaz, Gema (EDT)/ Barnard, Pepita (EDT)

  • ウェブストア価格 ¥15,521(本体¥14,110)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 141pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verification of Autonomous Systems (2025. x, 290 S. X, 290 p. 105 illus., 55 illus. in color. 235 mm)
  • 洋書

Verification of Autonomous Systems (2025. x, 290 S. X, 290 p. 105 illus., 55 illus. in color. 235 mm)  Hardcover

Herausgegeben:Redfield, Signe/ Sofge, Donald/ Seto, Mae/ Sustersic, John

  • ウェブストア価格 ¥39,703(本体¥36,094)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ポイント 360pt
  • 海外からお取り寄せ(通常6~9週間)
Optimization, Learning Algorithms and Applications : 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part I (Communications in Computer and Information Science)
  • 洋書

Optimization, Learning Algorithms and Applications : 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part I (Communications in Computer and Information Science)  Paperback

Pereira, Ana I. (EDT)/ Fernandes, Florbela P. (EDT)/ Coelho, João P. (EDT)

  • ウェブストア価格 ¥18,049(本体¥16,409)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 164pt
  • 海外からお取り寄せ(通常6~9週間)
Optimization, Learning Algorithms and Applications : 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part II (Communications in Computer and Information Science)
  • 洋書

Optimization, Learning Algorithms and Applications : 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part II (Communications in Computer and Information Science)  Paperback

Pereira, Ana I. (EDT)/ Fernandes, Florbela P. (EDT)/ Coelho, João P. (EDT)

  • ウェブストア価格 ¥16,661(本体¥15,147)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 151pt
  • 海外からお取り寄せ(通常6~9週間)
Interactive Storytelling : 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Interactive Storytelling : 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Murray, John T. (EDT)/ Reyes, María Cecilia (EDT)

  • ウェブストア価格 ¥15,521(本体¥14,110)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 141pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Interactive Storytelling : 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Interactive Storytelling : 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Murray, John T. (EDT)/ Reyes, María Cecilia (EDT)

  • ウェブストア価格 ¥15,521(本体¥14,110)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 141pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Geographical Information Systems : 5th Latin American Conference, GIS-LATAM 2024, Mexico City, Mexico, September 2-6, 2024, Proceedings (Communications in Computer and Information Science)
  • 洋書

Geographical Information Systems : 5th Latin American Conference, GIS-LATAM 2024, Mexico City, Mexico, September 2-6, 2024, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Mata-Rivera, Miguel Félix (EDT)/ Zagal-Flores, Roberto (EDT)/ Elisabeth Ballari, Daniela (EDT)

  • ウェブストア価格 ¥16,661(本体¥15,147)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 151pt
  • 海外からお取り寄せ(通常6~9週間)
Electronic Governance with Emerging Technologies : Third International Conference, EGETC 2024, Jakarta, Indonesia, September 25-26, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2024)
  • 洋書

Electronic Governance with Emerging Technologies : Third International Conference, EGETC 2024, Jakarta, Indonesia, September 25-26, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Ortiz-Rodriguez, Fernando (EDT)/ Tiwari, Sanju (EDT)/ Krisnadhi, Adila Alfa (EDT)

  • ウェブストア価格 ¥26,903(本体¥24,458)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 244pt
  • 海外からお取り寄せ(通常6~9週間)
Immersive Learning Research Network : 10th International Conference on Immersive Learning, iLRN 2024, Glasgow, UK, June 10-13, 2024, Revised Selected Papers, Part II (Communications in Computer and Information Science)
  • 洋書

Immersive Learning Research Network : 10th International Conference on Immersive Learning, iLRN 2024, Glasgow, UK, June 10-13, 2024, Revised Selected Papers, Part II (Communications in Computer and Information Science)  Paperback,  言語:ENG

Krüger, Jule M. (EDT)/ Pedrosa, Daniela (EDT)/ Beck, Dennis (EDT)

  • ウェブストア価格 ¥15,272(本体¥13,884)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 138pt
  • 海外からお取り寄せ(通常6~9週間)
Immersive Learning Research Network : 10th International Conference on Immersive Learning, iLRN 2024, Glasgow, UK, June 10-13, 2024, Revised Selected Papers, Part I (Communications in Computer and Information Science)
  • 洋書

Immersive Learning Research Network : 10th International Conference on Immersive Learning, iLRN 2024, Glasgow, UK, June 10-13, 2024, Revised Selected Papers, Part I (Communications in Computer and Information Science)  Paperback,  言語:ENG

Krüger, Jule M. (EDT)/ Pedrosa, Daniela (EDT)/ Beck, Dennis (EDT)

  • ウェブストア価格 ¥22,216(本体¥20,197)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 201pt
  • 海外からお取り寄せ(通常6~9週間)
Computer Performance Engineering : 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Computer Performance Engineering : 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Doncel, Josu (EDT)/ Remke, Anne (EDT)/ Di Pompeo, Daniele (EDT)

  • ウェブストア価格 ¥12,494(本体¥11,359)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 113pt
  • 海外からお取り寄せ(通常6~9週間)
Discovering Drift Phenomena in Evolving Landscapes : First International Workshop, DELTA 2024, Barcelona, Spain, August 26, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Discovering Drift Phenomena in Evolving Landscapes : First International Workshop, DELTA 2024, Barcelona, Spain, August 26, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Piangerelli, Marco (EDT)/ Prenkaj, Bardh (EDT)/ Rotalinti, Ylenia (EDT)

  • ウェブストア価格 ¥12,494(本体¥11,359)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 113pt
  • 海外取次在庫
Computer Security. ESORICS 2024 International Workshops : DPM, CBT, and CyberICPS, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part I (Lecture Notes in Computer Science)
  • 洋書

Computer Security. ESORICS 2024 International Workshops : DPM, CBT, and CyberICPS, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Garcia-Alfaro, Joaquin (EDT)/ Barker, Ken (EDT)/ Navarro-Arribas, Guillermo (EDT)

  • ウェブストア価格 ¥19,439(本体¥17,672)
  • Springer International Publishing AG(2025/04発売)
  • ポイント 176pt
  • 海外からお取り寄せ(通常6~9週間)
Computer Security. ESORICS 2024 International Workshops : SECAI, DisA, CPS4CIP, and SecAssure, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part II (Lecture Notes in Computer Science)
  • 洋書

Computer Security. ESORICS 2024 International Workshops : SECAI, DisA, CPS4CIP, and SecAssure, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Garcia-Alfaro, Joaquin (EDT)/ Kalutarage, Harsha (EDT)/ Yanai, Naoto (EDT)

  • ウェブストア価格 ¥19,439(本体¥17,672)
  • Springer International Publishing AG(2025/04発売)
  • ポイント 176pt
  • 海外取次在庫
Global Mental Health and Public Health Challenges and Innovation : First International Conference, GMHPHCI 2022, Jharkhand, India, November 25-27, 2022, Proceedings (Communications in Computer and Information Science)
  • 洋書

Global Mental Health and Public Health Challenges and Innovation : First International Conference, GMHPHCI 2022, Jharkhand, India, November 25-27, 2022, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Mahato, Shalini (EDT)/ Bahadur Sinha, Bam (EDT)/ Pati, Jayadeep (EDT)

  • ウェブストア価格 ¥14,716(本体¥13,379)
  • Springer International Publishing AG(2025/03発売)
  • ポイント 133pt
  • 海外からお取り寄せ(通常6~9週間)
Database Engineered Applications : 28th International Symposium, IDEAS 2024, Bayonne, France, August 26-29, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Database Engineered Applications : 28th International Symposium, IDEAS 2024, Bayonne, France, August 26-29, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Chbeir, Richard (EDT)/ Ilarri, Sergio (EDT)/ Manolopoulos, Yannis (EDT)

  • ウェブストア価格 ¥16,661(本体¥15,147)
  • Springer International Publishing AG(2025/03発売)
  • ポイント 151pt
  • 海外からお取り寄せ(通常6~9週間)
Information and Software Technologies : 30th International Conference, ICIST 2024, Kaunas, Lithuania, October 17-18, 2024, Proceedings (Communications in Computer and Information Science)
  • 洋書

Information and Software Technologies : 30th International Conference, ICIST 2024, Kaunas, Lithuania, October 17-18, 2024, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Lopata, Audrius (EDT)/ Gudonienė, Daina (EDT)/ Butkienė, Rita (EDT)

  • ウェブストア価格 ¥18,049(本体¥16,409)
  • Springer International Publishing AG(2025/03発売)
  • ポイント 164pt
  • 海外からお取り寄せ(通常6~9週間)
Balancing Software Innovation and Regulatory Compliance : 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20-22, 2025, Proceedings (Lecture Notes in Business Information Processing)
  • 洋書

Balancing Software Innovation and Regulatory Compliance : 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20-22, 2025, Proceedings (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Fischbach, Jannik (EDT)/ Ramler, Rudolf (EDT)/ Winkler, Dietmar (EDT)

  • ウェブストア価格 ¥27,771(本体¥25,247)
  • Springer International Publishing AG(2025/04発売)
  • ポイント 252pt
  • 海外からお取り寄せ(通常6~9週間)
Enterprise Applications, Markets and Services in the Finance Industry : 12th International Workshop, FinanceCom 2024, Copenhagen, Denmark, October 10, 2024, Revised Selected Papers (Lecture Notes in Business Information Processing)
  • 洋書

Enterprise Applications, Markets and Services in the Finance Industry : 12th International Workshop, FinanceCom 2024, Copenhagen, Denmark, October 10, 2024, Revised Selected Papers (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Hedman, Jonas (EDT)/ Gleasure, Rob (EDT)/ Bandara, Madhushi (EDT)

  • ウェブストア価格 ¥22,216(本体¥20,197)
  • Springer International Publishing AG(2025/04発売)
  • ポイント 201pt
  • 海外からお取り寄せ(通常6~9週間)