Foundations and Practice of Security : 12th International Symposium, FPS 2019, Toulouse, France, November 5-7, 2019, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Foundations and Practice of Security : 12th International Symposium, FPS 2019, Toulouse, France, November 5-7, 2019, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Benzekri, Abdelmalek (EDT)/ Barbeau, Michel (EDT)/ Gong, Guang (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/04発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Lahiri, Shuvendu K. (EDT)/ Wang, Chao (EDT)

  • ウェブストア価格 ¥9,374(本体¥8,522)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 85pt
  • 海外取次在庫
HCI International 2020 - Late Breaking Papers: Multimodality and Intelligence : 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

HCI International 2020 - Late Breaking Papers: Multimodality and Intelligence : 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Stephanidis, Constantine (EDT)/ Kurosu, Masaaki (EDT)/ Degen, Helmut (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 208pt
  • 海外取次在庫
Automatentheorie und Logik (eXamen.press) (2011. X, 238 S. 23,5 cm)
  • 洋書

Automatentheorie und Logik (eXamen.press) (2011. X, 238 S. 23,5 cm)  Paperback

Hofmann, Martin/ Lange, Martin

  • SPRINGER, BERLIN(2011発売)
  • ご注文いただけません
Intelligent Interactive Multimedia Systems and Services : Proceedings of the 4th International Conference on Intelligent Interactive Multimedia Systems and Services (IIMSS'2011) (Smart Innovation, Systems and Technologies) (2011)
  • 洋書

Intelligent Interactive Multimedia Systems and Services : Proceedings of the 4th International Conference on Intelligent Interactive Multimedia Systems and Services (IIMSS'2011) (Smart Innovation, Systems and Technologies) (2011)  Paperback,  言語:ENG

Tsihrintzis, George A. (EDT)/ Virvou, Maria (EDT)/ Jain, Lakhmi C. (EDT)

  • ウェブストア価格 ¥45,841(本体¥41,674)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 416pt
  • 海外取次在庫
Graph Data Management : Fundamental Issues and Recent Developments (Data-centric Systems and Applications)
  • 洋書

Graph Data Management : Fundamental Issues and Recent Developments (Data-centric Systems and Applications)  Paperback,  言語:ENG

Fletcher, George (EDT)/ Hidders, Jan (EDT)/ Larriba-Pey, Josep Lluís (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2018/12発売)
  • ポイント 104pt
  • 海外からお取り寄せ(通常6~9週間)
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ Fantechi, Alessandro (EDT)/ Semini, Laura (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 104pt
  • 海外取次在庫
Optimization and Learning : Third International Conference, OLA 2020, Cádiz, Spain, February 17-19, 2020, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Optimization and Learning : Third International Conference, OLA 2020, Cádiz, Spain, February 17-19, 2020, Proceedings (Communications in Computer and Information Science)  Paperback

Dorronsoro, Bernabé (EDT)/ Ruiz, Patricia (EDT)/ de la Torre, Juan Carlos (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/02発売)
  • ポイント 104pt
  • 海外取次在庫
Automated Software Diversity (Synthesis Lectures on Information Security, Privacy, and Trust)
  • 洋書

Automated Software Diversity (Synthesis Lectures on Information Security, Privacy, and Trust)  Paperback,  言語:ENG

Larsen, Per/ Brunthaler, Stefan/ Davi, Lucas

  • ウェブストア価格 ¥6,249(本体¥5,681)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 56pt
  • 海外取次在庫
Artificial Intelligence for Knowledge Management : Second IFIP WG 12.6 International Workshop, AI4KM 2014, Warsaw, Poland, September 7-10, 2014, Revised Selected Papers (Ifip Advances in Information and Communication Technology)
  • 洋書

Artificial Intelligence for Knowledge Management : Second IFIP WG 12.6 International Workshop, AI4KM 2014, Warsaw, Poland, September 7-10, 2014, Revised Selected Papers (Ifip Advances in Information and Communication Technology)  Paperback

Mercier-Laurent, Eunika (EDT)/ Owoc, Mieczysław Lech (EDT)/ Boulanger, Danielle (EDT)

  • Springer International Publishing AG(2018/03発売)
  • ご注文いただけません
Intelligent Decision Technologies : Proceedings of the 3rd International Conference on Intelligent Decision Technologies (IDT'2011) (Smart Innovation, Systems and Technologies)
  • 洋書

Intelligent Decision Technologies : Proceedings of the 3rd International Conference on Intelligent Decision Technologies (IDT'2011) (Smart Innovation, Systems and Technologies)  Paperback,  言語:ENG

Watada, Junzo (EDT)/ Phillips-Wren, Gloria (EDT)/ Jain, Lakhmi C. (EDT)

  • ウェブストア価格 ¥45,841(本体¥41,674)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/09発売)
  • ポイント 416pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
ITNG 2022 19th International Conference on Information Technology-New Generations (Advances in Intelligent Systems and Computing) (2022)
  • 洋書

ITNG 2022 19th International Conference on Information Technology-New Generations (Advances in Intelligent Systems and Computing) (2022)  Paperback,  言語:ENG

Latifi, Shahram (EDT)

  • ウェブストア価格 ¥41,864(本体¥38,059)
  • Springer Nature Switzerland AG(2023/05発売)
  • ポイント 380pt
  • 海外からお取り寄せ(通常6~9週間)
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 94pt
  • 海外取次在庫
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 94pt
  • 海外取次在庫
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 94pt
  • 海外取次在庫
Multi-Winner Voting with Approval Preferences (Springerbriefs in Intelligent Systems)
  • 洋書

Multi-Winner Voting with Approval Preferences (Springerbriefs in Intelligent Systems)  Paperback,  言語:ENG

Lackner, Martin/ Skowron, Piotr

  • ウェブストア価格 ¥7,915(本体¥7,196)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 71pt
  • 海外取次在庫
Proximity and Epidata : Attributes and Meaning Modification (Synthesis Lectures on Information Concepts, Retrieval, and Services) (2022)
  • 洋書

Proximity and Epidata : Attributes and Meaning Modification (Synthesis Lectures on Information Concepts, Retrieval, and Services) (2022)  Hardcover,  言語:ENG

Bonnici, Laurie J./ O'Connor, Brian C.

  • ウェブストア価格 ¥9,765(本体¥8,878)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 88pt
  • 海外からお取り寄せ(通常6~9週間)
Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書

Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Raskin, Jean-François (EDT)/ Chatterjee, Krishnendu (EDT)/ Doyen, Laurent (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2022/12発売)
  • ポイント 189pt
  • 海外取次在庫
Machine Learning, Optimization, and Data Science : 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part I (Lecture Notes in Computer Science)
  • 洋書

Machine Learning, Optimization, and Data Science : 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Nicosia, Giuseppe (EDT)/ Ojha, Varun (EDT)/ La Malfa, Emanuele (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 189pt
  • 海外取次在庫
Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Lal, Akash (EDT)/ Tonetta, Stefano (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2023/02発売)
  • ポイント 104pt
  • 海外取次在庫