Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 218pt
  • 海外取次在庫
Big Data Analytics : 6th International Conference, BDA 2018, Warangal, India, December 18-21, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Big Data Analytics : 6th International Conference, BDA 2018, Warangal, India, December 18-21, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Mondal, Anirban (EDT)/ Gupta, Himanshu (EDT)/ Srivastava, Jaideep (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2018/11発売)
  • ポイント 218pt
  • 海外取次在庫
Agents and Artificial Intelligence : 10th International Conference, ICAART 2018, Funchal, Madeira, Portugal, January 16 - 18, 2018, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Agents and Artificial Intelligence : 10th International Conference, ICAART 2018, Funchal, Madeira, Portugal, January 16 - 18, 2018, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

van den Herik, Jaap (EDT)/ Rocha, Ana Paula (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2018/12発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Performance Evaluation and Benchmarking for the Analytics Era : 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Performance Evaluation and Benchmarking for the Analytics Era : 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Nambiar, Raghunath (EDT)/ Poess, Meikel (EDT)

  • ウェブストア価格 ¥13,178(本体¥11,980)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 238pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Gorentla Venkata, Manjunath (EDT)/ Imam, Neena (EDT)/ Pophale, Swaroop (EDT)

  • ウェブストア価格 ¥13,178(本体¥11,980)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 238pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Technologies: Applications and Foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Software Technologies: Applications and Foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Seidl, Martina (EDT)/ Zschaler, Steffen (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Graph Structures for Knowledge Representation and Reasoning : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Graph Structures for Knowledge Representation and Reasoning : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Croitoru, Madalina (EDT)/ Marquis, Pierre (EDT)/ Rudolph, Sebastian (EDT)

  • ウェブストア価格 ¥13,178(本体¥11,980)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 238pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intersections in Simulation and Gaming : 21st Annual Simulation Technology and Training Conference, SimTecT 2016, and 47th International Simulation and Gaming Association Conference, ISAGA 2016, Held as Part of the First Australasian Simulation Congr
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Intersections in Simulation and Gaming : 21st Annual Simulation Technology and Training Conference, SimTecT 2016, and 47th International Simulation and Gaming Association Conference, ISAGA 2016, Held as Part of the First Australasian Simulation Congr  Paperback

Naweed, Anjum (EDT)/ Wardaszko, Marcin (EDT)/ Leigh, Elyssebeth (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Combinatorial Algorithms : 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Combinatorial Algorithms : 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback

Brankovic, Ljiljana (EDT)/ Ryan, Joe (EDT)/ Smyth, William F. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Applied Reconfigurable Computing. Architectures, Tools, and Applications : 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Applied Reconfigurable Computing. Architectures, Tools, and Applications : 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

Voros, Nikolaos (EDT)/ Huebner, Michael (EDT)/ Keramidas, Georgios (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Tian, Cong (EDT)/ Nagoya, Fumiko (EDT)/ Liu, Shaoying (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 218pt
  • 海外取次在庫
Graph-Based Representation and Reasoning : 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Graph-Based Representation and Reasoning : 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Chapman, Peter (EDT)/ Endres, Dominik (EDT)/ Pernelle, Nathalie (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/05発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Symbiotic Interaction : 6th International Workshop, Symbiotic 2017, Eindhoven, the Netherlands, December 18-19, 2017, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci) (2018)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Symbiotic Interaction : 6th International Workshop, Symbiotic 2017, Eindhoven, the Netherlands, December 18-19, 2017, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci) (2018)  Paperback,  言語:ENG

Ham, Jaap (EDT)/ Spagnolli, Anna (EDT)/ Blankertz, Benjamin (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/05発売)
  • ポイント 218pt
  • 海外取次在庫
Coordination Models and Languages : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceed
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Coordination Models and Languages : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceed  Paperback,  言語:ENG

Di Marzo Serugendo, Giovanna (EDT)/ Loreti, Michele (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/05発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Johnsen, Einar Broch (EDT)/ Schaefer, Ina (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/05発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Theoretical Computer Science and General Issues) (2018)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Theoretical Computer Science and General Issues) (2018)  Paperback,  言語:ENG

Chockler, Hana (EDT)/ Weissenbacher, Georg (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 238pt
  • 海外取次在庫
Towards Autonomous Robotic Systems : 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Towards Autonomous Robotic Systems : 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Giuliani, Manuel (EDT)/ Assaf, Tareq (EDT)/ Giannaccini, Maria Elena (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 218pt
  • 海外取次在庫
Mobile Web and Intelligent Information Systems : 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Mobile Web and Intelligent Information Systems : 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Younas, Muhammad (EDT)/ Awan, Irfan (EDT)/ Ghinea, George (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 218pt
  • 海外取次在庫
The Semantic Web: ESWC 2018 Satellite Events : ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

The Semantic Web: ESWC 2018 Satellite Events : ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Gangemi, Aldo (EDT)/ Gentile, Anna Lisa (EDT)/ Nuzzolese, Andrea Giovanni (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Safety, Reliability, and Security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Computer Safety, Reliability, and Security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings (Programming and Software Engineering)  Paperback

Gallina, Barbara (EDT)/ Skavhaug, Amund (EDT)/ Bitsch, Friedemann (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。