Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6349) (2010. X, 263 S.)
  • 洋書

Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6349) (2010. X, 263 S.)  Paperback

Herausgegeben von van der Pol, Jaco/ Weber, Michael

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
Semantic Web Rules : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6403) (2010. XIII, 305 S.)
  • 洋書

Semantic Web Rules : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6403) (2010. XIII, 305 S.)  Paperback

Herausgegeben von Dean, Mike/ Hall, John/ Rotolo, Antonino/ Tabet, Said

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 (Lecture Notes in Computer Science / Programming and Software Engineering .6957) (2011. XI, 393 S. 235 mm)
  • 洋書

Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 (Lecture Notes in Computer Science / Programming and Software Engineering .6957) (2011. XI, 393 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Aichernig, Bernhard K./ de Boer, Frank S./ Bonsangue, Marcello M.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Logic, Language, Information, and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7456) (2nd ed. 2012. XII, 337 p. 235 mm)
  • 洋書
Cellular Automata and Discrete Complex Systems : 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26-28, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Cellular Automata and Discrete Complex Systems : 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26-28, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Castillo-Ramirez, Alonso (EDT)/ de Oliveira, Pedro P. B. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/05発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Pattern Recognition and Machine Intelligence : 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書
  • 電子版あり

Pattern Recognition and Machine Intelligence : 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語:ENG

Deka, Bhabesh (EDT)/ Maji, Pradipta (EDT)/ Mitra, Sushmita (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 104pt
  • 海外取次在庫
Mathematical Software - ICMS 2020 : 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Mathematical Software - ICMS 2020 : 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Bigatti, Anna Maria (EDT)/ Carette, Jacques (EDT)/ Davenport, James H. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 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)版です。キャンセルは承れません。
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
  • 海外取次在庫
Genetic and Evolutionary Computation - GECCO 2004 Vol.2 : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3103) (2004. L, 1439 p. 23,5 cm)
  • 洋書

Genetic and Evolutionary Computation - GECCO 2004 Vol.2 : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3103) (2004. L, 1439 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Kalyanmoy Deb, Riccardo Poli, Wolfgang Banzhaf et al.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外からお取り寄せ(通常6~9週間)
Evolutionary Multi-Criterion Optimization : 12th International Conference, EMO 2023, Leiden, the Netherlands, March 20-24, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Evolutionary Multi-Criterion Optimization : 12th International Conference, EMO 2023, Leiden, the Netherlands, March 20-24, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Emmerich, Michael (EDT)/ Deutz, André (EDT)/ Wang, Hao (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2023/02発売)
  • ポイント 189pt
  • 海外取次在庫
Parallel Processing and Applied Mathematics : 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I (Lecture Notes in Computer Science)
  • 洋書

Parallel Processing and Applied Mathematics : 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Wyrzykowski, Roman (EDT)/ Dongarra, Jack (EDT)/ Deelman, Ewa (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 151pt
  • 海外取次在庫
Computational Science - ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書

Computational Science - ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Mikyška, Jiří (EDT)/ de Mulatier, Clélia (EDT)/ Paszynski, Maciej (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 189pt
  • 海外取次在庫
Optimization and Decision Science : ODS, Virtual Conference, November 19, 2020 (Airo Springer Series) (2021)
  • 洋書

Optimization and Decision Science : ODS, Virtual Conference, November 19, 2020 (Airo Springer Series) (2021)  Paperback,  言語:ENG

Cerulli, Raffaele (EDT)/ Dell'Amico, Mauro (EDT)/ Guerriero, Francesca (EDT)

  • ウェブストア価格 ¥33,491(本体¥30,447)
  • Springer Nature Switzerland AG(2023/01発売)
  • ポイント 304pt
  • 海外からお取り寄せ(通常6~9週間)
Computational Science - ICCS 2022 : 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Computational Science - ICCS 2022 : 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Groen, Derek (EDT)/ de Mulatier, Clélia (EDT)/ Paszynski, Maciej (EDT)

  • ウェブストア価格 ¥25,003(本体¥22,730)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 227pt
  • 海外取次在庫
Advancing the Impact of Design Science: Moving from Theory to Practice : 9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014. Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2014)
  • 洋書

Advancing the Impact of Design Science: Moving from Theory to Practice : 9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014. Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2014)  Paperback,  言語:ENG

Tremblay, Monica Chiarini (EDT)/ VanderMeer, Debra (EDT)/ Rothenberger, Marcus (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2014/05発売)
  • ポイント 104pt
  • 海外取次在庫
Virtual Reality & Augmented Reality in Industry (2011. 200 S. 150 SW-Abb. 235 mm)
  • 洋書

Virtual Reality & Augmented Reality in Industry (2011. 200 S. 150 SW-Abb. 235 mm)  Hardcover

Herausgegeben von Ma, Dengzhe/ Gausemeier, Juergen/ Fan, Xiumin/ Grafe, Michael

  • SPRINGER, BERLIN(2011発売)
  • ご注文いただけません
Model-Driven Development of Advanced User Interfaces (Studies in Computational Intelligence) (2011)
  • 洋書

Model-Driven Development of Advanced User Interfaces (Studies in Computational Intelligence) (2011)  Paperback,  言語:ENG

Hussmann, Heinrich (EDT)/ Meixner, Gerrit (EDT)/ Zuehlke, Detlef (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/02発売)
  • ご注文いただけません
Open Source Systems: Grounding Research : 7th IFIP 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, Proceedings (Ifip Advances in Information and Communication Technology)
  • 洋書

Open Source Systems: Grounding Research : 7th IFIP 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, Proceedings (Ifip Advances in Information and Communication Technology)  Paperback,  言語:ENG

Hissam, Scott (EDT)/ Russo, Barbara (EDT)/ de Mendonça Neto, Manoel G. (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/11発売)
  • ご注文いただけません
Advances in Computer Science and Engineering (Advances in Intelligent and Soft Computing .141) (2012. 2012. 800 S. 235 mm)
  • 洋書

Advances in Computer Science and Engineering (Advances in Intelligent and Soft Computing .141) (2012. 2012. 800 S. 235 mm)  Paperback

Herausgegeben von Zeng, Dehuai

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