Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Pr (2019)
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Pr (2019)  Paperback,  言語:ENG

Vojnar, Tomáš (EDT)/ Zhang, Lijun (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 113pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
High Performance Computing : 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16-20, 2019, Proceedings (Theoretical Computer Science and General Issues) (2019)
  • 洋書
  • 電子版あり

High Performance Computing : 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16-20, 2019, Proceedings (Theoretical Computer Science and General Issues) (2019)  Paperback,  言語:ENG

Weiland, Michèle (EDT)/ Juckeland, Guido (EDT)/ Trinitis, Carsten (EDT)

  • ウェブストア価格 ¥15,626(本体¥14,206)
  • Springer Nature Switzerland AG(2019/05発売)
  • ポイント 142pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theory and Applications of Satisfiability Testing - SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Theory and Applications of Satisfiability Testing - SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Janota, Mikoláš (EDT)/ Lynce, Inês (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algorithms and Data Structures : 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5-7, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Algorithms and Data Structures : 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5-7, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Friggstad, Zachary (EDT)/ Sack, Jörg-Rüdiger (EDT)/ Salavatipour, Mohammad R (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
KI 2019: Advances in Artificial Intelligence : 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings (Lecture Notes in Artificial Intelligence) (2019)
  • 洋書
  • 電子版あり

KI 2019: Advances in Artificial Intelligence : 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings (Lecture Notes in Artificial Intelligence) (2019)  Paperback,  言語:ENG

Benzmüller, Christoph (EDT)/ Stuckenschmidt, Heiner (EDT)

  • ウェブストア価格 ¥15,626(本体¥14,206)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 142pt
  • 海外取次在庫
Progress in Artificial Intelligence : 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I (Lecture Notes in Artificial Intelligence) (2019)
  • 洋書
  • 電子版あり

Progress in Artificial Intelligence : 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I (Lecture Notes in Artificial Intelligence) (2019)  Paperback,  言語:ENG

Moura Oliveira, Paulo (EDT)/ Novais, Paulo (EDT)/ Reis, Luís Paulo (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 208pt
  • 海外取次在庫
The Semantic Web - ISWC 2019 : 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

The Semantic Web - ISWC 2019 : 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ghidini, Chiara (EDT)/ Hartig, Olaf (EDT)/ Maleshkova, Maria (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verification and Evaluation of Computer and Communication Systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

Verification and Evaluation of Computer and Communication Systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Ganty, Pierre (EDT)/ Kaâniche, Mohamed (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Product-Focused Software Process Improvement : 20th International Conference, PROFES 2019, Barcelona, Spain, November 27-29, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Product-Focused Software Process Improvement : 20th International Conference, PROFES 2019, Barcelona, Spain, November 27-29, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Franch, Xavier (EDT)/ Männistö, Tomi (EDT)/ Martínez-Fernández, Silverio (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algorithms and Architectures for Parallel Processing : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Algorithms and Architectures for Parallel Processing : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Wen, Sheng (EDT)/ Zomaya, Albert (EDT)/ Yang, Laurence T. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/01発売)
  • ポイント 104pt
  • 海外取次在庫
Automated Technology for Verification and Analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Automated Technology for Verification and Analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Hung, Dang Van (EDT)/ Sokolsky, Oleg (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 104pt
  • 海外取次在庫
Web Information Systems and Applications : 17th International Conference, WISA 2020, Guangzhou, China, September 23-25, 2020, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Web Information Systems and Applications : 17th International Conference, WISA 2020, Guangzhou, China, September 23-25, 2020, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Wang, Guojun (EDT)/ Lin, Xuemin (EDT)/ Hendler, James (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 208pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Communication Technologies for Vehicles : 15th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, Bordeaux, France, November 16-17, 2020, Proceedings (Computer Communication Networks and Telecommunications)
  • 洋書

Communication Technologies for Vehicles : 15th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, Bordeaux, France, November 16-17, 2020, Proceedings (Computer Communication Networks and Telecommunications)  Paperback,  言語:ENG

Krief, Francine (EDT)/ Aniss, Hasnaâ (EDT)/ Mendiboure, Léo (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Systems : 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 - December 3, 2021, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Intelligent Systems : 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 - December 3, 2021, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Britto, André (EDT)/ Valdivia Delgado, Karina (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 189pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computational Intelligence in Music, Sound, Art and Design : 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Computational Intelligence in Music, Sound, Art and Design : 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Liapis, Antonios (EDT)/ Romero Cardalda, Juan Jesús (EDT)/ Ekárt, Anikó (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Bioinspired Optimization Methods and Their Applications : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Bioinspired Optimization Methods and Their Applications : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Korošec, Peter (EDT)/ Melab, Nouredine (EDT)/ Talbi, El-Ghazali (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2018/05発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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週間)
Narrating Complexity
  • 洋書

Narrating Complexity  Paperback,  言語:ENG

Walsh, Richard (EDT)/ Stepney, Susan (EDT)

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 322pt
  • 海外取次在庫
Computational Matter (Natural Computing Series)
  • 洋書

Computational Matter (Natural Computing Series)  Paperback,  言語:ENG

Stepney, Susan (EDT)/ Rasmussen, Steen (EDT)/ Amos, Martyn (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 208pt
  • 海外取次在庫
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
  • 海外取次在庫