New Advances in Information Systems and Technologies : Volume 2 (Advances in Intelligent Systems and Computing)
  • 洋書

New Advances in Information Systems and Technologies : Volume 2 (Advances in Intelligent Systems and Computing)  Paperback

Rocha, Álvaro (EDT)/ Correia, Ana Maria (EDT)/ Adeli, Hojjat (EDT)

  • ウェブストア価格 ¥46,151(本体¥41,956)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 419pt
  • 海外取次在庫
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Amblard, Maxime (EDT)/ de Groote, Philippe (EDT)/ Pogodalla, Sylvain (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Cybersecurity of Digital Service Chains : Challenges, Methodologies, and Tools (Lecture Notes in Computer Science)
  • 洋書

Cybersecurity of Digital Service Chains : Challenges, Methodologies, and Tools (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Kołodziej, Joanna (EDT)/ Repetto, Matteo (EDT)/ Duzha, Armend (EDT)

  • ウェブストア価格 ¥9,717(本体¥8,834)
  • Springer International Publishing AG(2022/04発売)
  • ポイント 88pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy,
  • 洋書

Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy,  Paperback

Mousavi, Mohammad Reza (EDT)/ Philippou, Anna (EDT)

  • ウェブストア価格 ¥16,661(本体¥15,147)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 151pt
  • 海外からお取り寄せ(通常6~9週間)
Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) (2012. 2012. 272 S. 235 mm)
  • 洋書

Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) (2012. 2012. 272 S. 235 mm)  Paperback

Herausgegeben von Haehnle, Reiner/ Knoop, Jens/ Margaria, Tiziana/ Schreiner, Dietmar/ Steffen, Bernhard

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering) (2013)
  • 洋書

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Giachino, Elena (EDT)/ Hähnle, Reiner (EDT)/ de Boer, Frank S. (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 95pt
  • 海外取次在庫
Machine Learning for Networking : Second IFIP TC 6 International Conference, MLN 2019, Paris, France, December 3-5, 2019, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Machine Learning for Networking : Second IFIP TC 6 International Conference, MLN 2019, Paris, France, December 3-5, 2019, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Boumerdassi, Selma (EDT)/ Renault, Éric (EDT)/ Mühlethaler, Paul (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer Nature Switzerland AG(2020/04発売)
  • ポイント 209pt
  • 海外からお取り寄せ(通常6~9週間)
Interactive Storytelling : 11th International Conference on Interactive Digital Storytelling, ICIDS 2018, Dublin, Ireland, December 5-8, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Interactive Storytelling : 11th International Conference on Interactive Digital Storytelling, ICIDS 2018, Dublin, Ireland, December 5-8, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Rouse, Rebecca (EDT)/ Koenitz, Hartmut (EDT)/ Haahr, Mads (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2018/11発売)
  • ポイント 104pt
  • 海外取次在庫
Web Information Systems Engineering - WISE 2019 : 20th International Conference, Hong Kong, China, January 19-22, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Web Information Systems Engineering - WISE 2019 : 20th International Conference, Hong Kong, China, January 19-22, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cheng, Reynold (EDT)/ Mamoulis, Nikos (EDT)/ Sun, Yizhou (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 209pt
  • 海外取次在庫
OpenMP: Heterogenous Execution and Data Movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

OpenMP: Heterogenous Execution and Data Movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Terboven, Christian (EDT)/ de Supinski, Bronis R. (EDT)/ Reble, Pablo (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2015/10発売)
  • ポイント 104pt
  • 海外取次在庫
Hybrid Learning : 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011, Proceedings (Lecture Notes in Computer Science Vol.6837) (2011. XIV, 380 p.)
  • 洋書

Hybrid Learning : 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011, Proceedings (Lecture Notes in Computer Science Vol.6837) (2011. XIV, 380 p.)  Paperback

Herausgegeben von Kwan, Reggie/ Fong, Joseph/ Kwok, Lam-For/ Lam, Jeanne

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Trends in Functional Programming : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6546) (2011. X, 215 S. 235 mm)
  • 洋書

Trends in Functional Programming : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6546) (2011. X, 215 S. 235 mm)  Paperback

Herausgegeben von Page, Rex/ Horvath, Zoltan/ Zs

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig (Theoretical Computer Science and General Issues)  Paperback

Heckel, Reiko (EDT)/ Taentzer, Gabriele (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2018/02発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Multimediale Client-Server-Systeme (eXamen.press) (2009. 300 S. 23,5 cm)
  • 洋書

Multimediale Client-Server-Systeme (eXamen.press) (2009. 300 S. 23,5 cm)  Paperback

Chantelau, Klaus/ Brothuhn, Ren

  • ウェブストア価格 ¥6,923(本体¥6,294)
  • SPRINGER, BERLIN(2009発売)
  • ポイント 62pt
  • 海外取次在庫
Petri Net Technology for Communication-Based Systems : Advances in Petri Nets (Lecture Notes in Computer Science Vol.2472) (2003. VIII, 455 p.)
  • 洋書

Petri Net Technology for Communication-Based Systems : Advances in Petri Nets (Lecture Notes in Computer Science Vol.2472) (2003. VIII, 455 p.)  Paperback

Ed. H. Ehrig, W. Reisig, G. Rozenberg et al.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 120pt
  • 海外取次在庫
Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Schmidt, Renate A. (EDT)/ Nalon, Cláudia (EDT)

  • ウェブストア価格 ¥14,682(本体¥13,348)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 133pt
  • 海外取次在庫
Conflict Resolution in Decision Making : Second International Workshop, COREDEMA 2016, the Hague, the Netherlands, August 29-30, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Conflict Resolution in Decision Making : Second International Workshop, COREDEMA 2016, the Hague, the Netherlands, August 29-30, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Aydoğan, Reyhan (EDT)/ Baarslag, Tim (EDT)/ Gerding, Enrico (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications : 5th International Symposium, CompIMAGE 2016, Niagara Falls, NY, USA, September 21-23, 2016, Revised Selected Papers (Image Processing, Computer Vision, P
  • 洋書
  • 電子版あり

Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications : 5th International Symposium, CompIMAGE 2016, Niagara Falls, NY, USA, September 21-23, 2016, Revised Selected Papers (Image Processing, Computer Vision, P  Paperback,  言語:ENG

Barneva, Reneta P. (EDT)/ Brimkov, Valentin E. (EDT)/ Tavares, João Manuel R.S. (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Measurement, Modelling and Evaluation of Computing Systems : 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Measurement, Modelling and Evaluation of Computing Systems : 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

German, Reinhard (EDT)/ Hielscher, Kai-Steffen (EDT)/ Krieger, Udo R. (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Constructing Ambient Intelligence : AmI 2011 Workshops, Amsterdam, The Netherlands, November 16-18, 2011. Revised Selected Papers (Communications in Computer and Information Science .277) (2012. 2012. 236 S. 235 mm)
  • 洋書

Constructing Ambient Intelligence : AmI 2011 Workshops, Amsterdam, The Netherlands, November 16-18, 2011. Revised Selected Papers (Communications in Computer and Information Science .277) (2012. 2012. 236 S. 235 mm)  Paperback

Herausgegeben von Wichert, Reiner/ Van Laerhoven, Kristof/ Gelissen, Jean

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません