Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)  Paperback

Kroening, Daniel (EDT)/ Păsăreanu, Corina S. (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 101pt
  • 海外取次在庫
Enterprise, Business-Process and Information Systems Modeling : 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13-14,2016 , Proceedings (Lecture Notes in Business I
  • 洋書

Enterprise, Business-Process and Information Systems Modeling : 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13-14,2016 , Proceedings (Lecture Notes in Business I  Paperback

Schmidt, Rainer (EDT)/ Guédria, Wided (EDT)/ Ilia, Bider (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 101pt
  • 海外取次在庫
From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science Vol.2635) (2004. X, 389 p.)
  • 洋書

From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science Vol.2635) (2004. X, 389 p.)  Paperback

Ed. by Olaf Owe, S. Krogdahl and T. Lyche

  • SPRINGER, BERLIN(2004発売)
  • ご注文いただけません
Cloud-Service-Zertifizierung : Ein Rahmenwerk und Kriterienkatalog zur Zertifizierung von Cloud-Services
  • 洋書

Cloud-Service-Zertifizierung : Ein Rahmenwerk und Kriterienkatalog zur Zertifizierung von Cloud-Services

Schneider, Stephan/Sunyaev, Ali

  • SPRINGER, BERLIN; GABLER(2015発売)
  • ご注文いただけません
Artificial intelligence and Machine Learning : 41st IBIMA International Conference, IBIMA-AI 2023, Granada, Spain, June 26-27, 2023, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Artificial intelligence and Machine Learning : 41st IBIMA International Conference, IBIMA-AI 2023, Granada, Spain, June 26-27, 2023, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Soliman, Khalid S. (EDT)

  • ウェブストア価格 ¥24,327(本体¥22,116)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 221pt
  • 海外取次在庫
Artificial Intelligence and Machine Learning : 43rd IBIMA Conference, IBIMA-AI 2024, Madrid, Spain, June 26-27, 2024, Revised Selected Papers, Part-I (Communications in Computer and Information Science) (2025)
  • 洋書

Artificial Intelligence and Machine Learning : 43rd IBIMA Conference, IBIMA-AI 2024, Madrid, Spain, June 26-27, 2024, Revised Selected Papers, Part-I (Communications in Computer and Information Science) (2025)  Paperback

Soliman, Khalid S. (EDT)

  • ウェブストア価格 ¥17,231(本体¥15,665)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 156pt
  • 海外取次在庫
Artificial Intelligence and Machine Learning : 43rd IBIMA Conference, IBIMA-AI 2024, Madrid, Spain, June 26-27, 2024, Revised Selected Papers, Part-II (Communications in Computer and Information Science)
  • 洋書

Artificial Intelligence and Machine Learning : 43rd IBIMA Conference, IBIMA-AI 2024, Madrid, Spain, June 26-27, 2024, Revised Selected Papers, Part-II (Communications in Computer and Information Science)  Paperback,  言語:ENG

Soliman, Khalid S. (EDT)

  • ウェブストア価格 ¥20,273(本体¥18,430)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 184pt
  • 海外取次在庫
Logic-Based Program Synthesis and Transformation : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Logic-Based Program Synthesis and Transformation : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Bowles, Juliana (EDT)/ Søndergaard, Harald (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 119pt
  • 海外取次在庫
Prolog: the Next 50 Years (Lecture Notes in Artificial Intelligence)
  • 洋書

Prolog: the Next 50 Years (Lecture Notes in Artificial Intelligence)  Paperback

Warren, David S. (EDT)/ Dahl, Veronica (EDT)/ Eiter, Thomas (EDT)

  • ウェブストア価格 ¥18,244(本体¥16,586)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 165pt
  • 海外取次在庫
Computer Science - Theory and Applications : 17th International Computer Science Symposium in Russia, CSR 2022, Virtual Event, June 29 - July 1, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Computer Science - Theory and Applications : 17th International Computer Science Symposium in Russia, CSR 2022, Virtual Event, June 29 - July 1, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Kulikov, Alexander S. (EDT)/ Raskhodnikova, Sofya (EDT)

  • ウェブストア価格 ¥17,231(本体¥15,665)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 156pt
  • 海外取次在庫
Decision Support Systems IX: Main Developments and Future Trends : 5th International Conference on Decision Support System Technology, EmC-ICDSST 2019, Funchal, Madeira, Portugal, May 27-29, 2019, Proceedings (Lecture Notes in Business Information Pr (2019)
  • 洋書
  • 電子版あり

Decision Support Systems IX: Main Developments and Future Trends : 5th International Conference on Decision Support System Technology, EmC-ICDSST 2019, Funchal, Madeira, Portugal, May 27-29, 2019, Proceedings (Lecture Notes in Business Information Pr (2019)  Paperback,  言語:ENG

Freitas, Paulo Sérgio Abreu (EDT)/ Dargam, Fatima (EDT)/ Moreno, José Maria (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 101pt
  • 海外取次在庫
How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7318) (2012. 2012. XVIII, 756 S. 42 SW-Abb. 235 mm)
  • 洋書

How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7318) (2012. 2012. XVIII, 756 S. 42 SW-Abb. 235 mm)  Paperback

Herausgegeben von Cooper, S. Barry/ Dawar, Anuj/ Loewe, Benedikt

  • ウェブストア価格 ¥12,620(本体¥11,473)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 114pt
  • 海外取次在庫
Intelligent Information Agents : The AgentLink Perspective (Lecture Notes in Artificial Intelligence Vol.2586) (2003. VI, 275 p.)
  • 洋書

Intelligent Information Agents : The AgentLink Perspective (Lecture Notes in Artificial Intelligence Vol.2586) (2003. VI, 275 p.)  Paperback

Ed. by M. Klusch, S. Bergamaschi, P. Edwards et al.

  • ウェブストア価格 ¥12,620(本体¥11,473)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 114pt
  • 海外取次在庫
MICCAI Challenges 2024 (ToothFairy, 3DTeethLand, STS) - LNCS (Lecture Notes in Computer Science 15571)
  • 洋書

MICCAI Challenges 2024 (ToothFairy, 3DTeethLand, STS) - LNCS (Lecture Notes in Computer Science 15571)

Supervised and Semi-supervised Multi-structure Segmentation and Landmark Detection in Dental Data/Herausgegeben:Wang, Yaqi/Qian, Dahong

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ご注文いただけません
Dynamic Memory Management for Embedded Systems
  • 洋書

Dynamic Memory Management for Embedded Systems  Paperback

Atienza Alonso, David/ Mamagkakis, Stylianos/ Poucet, Christophe

  • Springer International Publishing AG(2016/08発売)
  • ご注文いただけません
Variable Domain-specific Software Languages with DjDSL : Design and Implementation
  • 洋書

Variable Domain-specific Software Languages with DjDSL : Design and Implementation  Hardcover,  言語:ENG

Sobernig, Stefan

  • ウェブストア価格 ¥22,300(本体¥20,273)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 202pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Foundations and Practice of Security : 16th International Symposium, FPS 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part I (Lecture Notes in Computer Science)
  • 洋書

Foundations and Practice of Security : 16th International Symposium, FPS 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Mosbah, Mohamed (EDT)/ Sèdes, Florence (EDT)/ Tawbi, Nadia (EDT)

  • ウェブストア価格 ¥18,244(本体¥16,586)
  • Springer International Publishing AG(2024/05発売)
  • ポイント 165pt
  • 海外取次在庫
Foundations and Practice of Security : 16th International Symposium, FPS 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part II (Lecture Notes in Computer Science)
  • 洋書

Foundations and Practice of Security : 16th International Symposium, FPS 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Mosbah, Mohamed (EDT)/ Sèdes, Florence (EDT)/ Tawbi, Nadia (EDT)

  • ウェブストア価格 ¥12,162(本体¥11,057)
  • Springer International Publishing AG(2024/05発売)
  • ポイント 110pt
  • 海外取次在庫
Evolutionary Computation in Combinatorial Optimization : 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings (Lecture Notes in Computer Science 15610)
  • 洋書

Evolutionary Computation in Combinatorial Optimization : 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings (Lecture Notes in Computer Science 15610)

Herausgegeben:Krejca, Martin S./Wagner, Markus

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ご注文いただけません
Detecting Trust and Deception in Group Interaction (Terrorism, Security, and Computation)
  • 洋書

Detecting Trust and Deception in Group Interaction (Terrorism, Security, and Computation)  Paperback

Subrahmanian, V. S. (EDT)/ Burgoon, Judee K. (EDT)/ Dunbar, Norah E. (EDT)

  • ウェブストア価格 ¥24,327(本体¥22,116)
  • Springer Nature Switzerland AG(2022/02発売)
  • ポイント 221pt
  • 海外取次在庫