Software Engineering for Resilient Systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings (Programming and Software Engineering) (2013)
  • 洋書

Software Engineering for Resilient Systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Gorbenko, Anatoliy (EDT)/ Romanovsky, Alexander (EDT)/ Kharchenko, Vyacheslav (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 92pt
  • 海外取次在庫
Mathematics of Discrete Structures for Computer Science
  • 洋書

Mathematics of Discrete Structures for Computer Science  Paperback,  言語:ENG

Pace, Gordon J.

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/10発売)
  • ポイント 101pt
  • 海外取次在庫
Agent and Multi-Agent Systems: Technologies and Applications : 9th KES International Conference, KES-AMSTA 2015 Sorrento, Italy, June 2015, Proceedings (Smart Innovation, Systems and Technologies) (2015)
  • 洋書

Agent and Multi-Agent Systems: Technologies and Applications : 9th KES International Conference, KES-AMSTA 2015 Sorrento, Italy, June 2015, Proceedings (Smart Innovation, Systems and Technologies) (2015)  Hardcover,  言語:ENG

Jezic, Gordan (EDT)/ Howlett, Robert J. (EDT)/ Jain, Lakhmi C. (EDT)

  • Springer International Publishing AG(2015/06発売)
  • ご注文いただけません
Models of Strategic Reasoning : Logics, Games, and Communities (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Models of Strategic Reasoning : Logics, Games, and Communities (Theoretical Computer Science and General Issues)  Paperback

van Benthem, Johan (EDT)/ Ghosh, Sujata (EDT)/ Verbrugge, Rineke (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/01発売)
  • ポイント 101pt
  • 海外取次在庫
Interactive Storytelling : 9th International Conference on Interactive Digital Storytelling, ICIDS 2016, Los Angeles, CA, USA, November 15-18, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Interactive Storytelling : 9th International Conference on Interactive Digital Storytelling, ICIDS 2016, Los Angeles, CA, USA, November 15-18, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Nack, Frank (EDT)/ Gordon, Andrew S. (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Nonparametric Statistics : 2nd ISNPS, Cádiz, June 2014 (Springer Proceedings in Mathematics & Statistics)
  • 洋書
  • 電子版あり

Nonparametric Statistics : 2nd ISNPS, Cádiz, June 2014 (Springer Proceedings in Mathematics & Statistics)  Hardcover

Cao, Ricardo (EDT)/ González Manteiga, Wenceslao (EDT)/ Romo, Juan (EDT)

  • ウェブストア価格 ¥34,465(本体¥31,332)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 313pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
International Technology Robotics Applications : Proceedings of the 2nd INTERA Conference, held in Oviedo, Spain, March 2013 (Intelligent Systems, Control and Automation: Science and Engineering) (2014)
  • 洋書

International Technology Robotics Applications : Proceedings of the 2nd INTERA Conference, held in Oviedo, Spain, March 2013 (Intelligent Systems, Control and Automation: Science and Engineering) (2014)  Hardcover,  言語:ENG

González Alonso, Ignacio (EDT)

  • ウェブストア価格 ¥22,300(本体¥20,273)
  • Springer International Publishing AG(2013/10発売)
  • ポイント 202pt
  • 海外取次在庫
Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Gonthier, Georges (EDT)/ Norrish, Michael (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2013/11発売)
  • ポイント 101pt
  • 海外取次在庫
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers (Programming and Software Engineering)
  • 洋書

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers (Programming and Software Engineering)  Paperback,  言語:ENG

Gorentla Venkata, Manjunath (EDT)/ Shamis, Pavel (EDT)/ Imam, Neena (EDT)

  • ウェブストア価格 ¥9,121(本体¥8,292)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 82pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Rule Technologies: Foundations, Tools, and Applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings (Programming and Software Engineering)
  • 洋書

Rule Technologies: Foundations, Tools, and Applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings (Programming and Software Engineering)  Paperback

Bassiliades, Nick (EDT)/ Gottlob, Georg (EDT)/ Sadri, Fariba (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Development of Safety-Critical Systems : Architecture and Software
  • 洋書

Development of Safety-Critical Systems : Architecture and Software  Paperback

Karmakar, Gopinath/ Wakankar, Amol/ Kabra, Ashutosh

  • ウェブストア価格 ¥16,217(本体¥14,743)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 147pt
  • 海外取次在庫
ICT Systems Security and Privacy Protection : 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings (Ifip Advances in Information and Communication Technology)
  • 洋書

ICT Systems Security and Privacy Protection : 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings (Ifip Advances in Information and Communication Technology)  Paperback

Federrath, Hannes (EDT)/ Gollmann, Dieter (EDT)

  • Springer International Publishing AG(2016/10発売)
  • ご注文いただけません
Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, Volume 713) (2007. 372 S. 235 mm)
  • 洋書

Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, Volume 713) (2007. 372 S. 235 mm)  Paperback

Herausgeber: Gottlob, Georg, Mundici, Daniele, Leitsch, Alexander

  • ウェブストア価格 ¥12,620(本体¥11,473)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 114pt
  • 海外取次在庫
SDL 2009: Design for Motes and Mobiles : 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications 5719) (2009. XII, 257 S. 235 mm)
  • 洋書
Grundlagen des E-Government in Deutschland (2024)
  • 洋書

Grundlagen des E-Government in Deutschland (2024)  Hardcover,  言語:GER

Fellrath, Götz/ Schulze, Anna

  • Springer Vieweg(2024/10発売)
  • ご注文いただけません
Search-Based Software Engineering : 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Search-Based Software Engineering : 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Le Goues, Claire (EDT)/ Yoo, Shin (EDT)

  • ウェブストア価格 ¥12,162(本体¥11,057)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Rough Sets : International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7-11, 2016, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Rough Sets : International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7-11, 2016, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Flores, Víctor (EDT)/ Gomide, Fernando (EDT)/ Janusz, Andrzej (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
High Performance Computing : First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014. Proceedings (Communications in Computer and Information Science) (2014)
  • 洋書

High Performance Computing : First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014. Proceedings (Communications in Computer and Information Science) (2014)  Paperback

Hernandez, Gonzalo (EDT)/ Barrios Hernandez, Carlos Jaime (EDT)/ Díaz, Gilberto (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/10発売)
  • ポイント 101pt
  • 海外取次在庫
Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (2014)
  • 洋書

Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Gupta, Gopal (EDT)/ Peña, Ricardo (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2014/12発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Agent and Multi-Agent Systems: Technologies and Applications : Proceedings of the 8th International Conference KES-AMSTA 2014 Chania, Greece, June 2014 (Advances in Intelligent Systems and Computing) (2014)
  • 洋書

Agent and Multi-Agent Systems: Technologies and Applications : Proceedings of the 8th International Conference KES-AMSTA 2014 Chania, Greece, June 2014 (Advances in Intelligent Systems and Computing) (2014)  Paperback,  言語:ENG

Jezic, Gordan (EDT)/ Kusek, Mario (EDT)/ Lovrek, Ignac (EDT)

  • Springer International Publishing AG(2014/06発売)
  • ご注文いただけません