Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers (Programming and Software Engineering) (2014)
  • 洋書
  • ポイントキャンペーン

Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers (Programming and Software Engineering) (2014)  Paperback,  言語:ENG

Counsell, Steve (EDT)/ Núñez, Manuel (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2014/04発売)
  • ポイント 218pt
  • 海外取次在庫
Network and System Security : 17th International Conference, NSS 2023, Canterbury, UK, August 14-16, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Network and System Security : 17th International Conference, NSS 2023, Canterbury, UK, August 14-16, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Li, Shujun (EDT)/ Manulis, Mark (EDT)/ Miyaji, Atsuko (EDT)

  • ウェブストア価格 ¥15,372(本体¥13,975)
  • Springer International Publishing AG(2023/08発売)
  • ポイント 278pt
  • 海外取次在庫
Bioinformatics Research and Applications : 11th International Symposium, ISBRA 2015 Norfolk, USA, June 7-10, 2015 Proceedings (Lecture Notes in Bioinformatics) (2015)
  • 洋書
  • ポイントキャンペーン

Bioinformatics Research and Applications : 11th International Symposium, ISBRA 2015 Norfolk, USA, June 7-10, 2015 Proceedings (Lecture Notes in Bioinformatics) (2015)  Paperback

Harrison, Robert (EDT)/ Li, Yaohang (EDT)/ Măndoiu, Ion (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/05発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings (Programming and Software Engineering)
  • 洋書
  • ポイントキャンペーン

Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Strichman, Ofer (EDT)/ Tzoref-Brill, Rachel (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I (Lecture Notes in Computer Science)  Paperback

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

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 218pt
  • 海外取次在庫
Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 218pt
  • 海外取次在庫
Artificial Computation in Biology and Medicine : International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I (Theoretical Computer Science and General Issue (2015)
  • 洋書
  • ポイントキャンペーン

Artificial Computation in Biology and Medicine : International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I (Theoretical Computer Science and General Issue (2015)  Paperback

Ferrández Vicente, José Manuel (EDT)/ Álvarez-Sánchez, José Ramón (EDT)/ de la Paz López, Félix (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/06発売)
  • ポイント 218pt
  • 海外取次在庫
Informatics Engineering and Information Science : International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011. Proceedings, Part I (Communications in Computer and Information Science .251) (2011. 652 S.)
  • 洋書
  • ポイントキャンペーン

Informatics Engineering and Information Science : International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011. Proceedings, Part I (Communications in Computer and Information Science .251) (2011. 652 S.)  Paperback,  言語:ENG

Herausgegeben von Abd Manaf, Azizah/ Zeki, Akram/ Zamani, Mazdak/ Chuprat, Suriayati/ El-Qawasmeh, Eyas

  • ウェブストア価格 ¥27,997(本体¥25,452)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 508pt
  • 海外取次在庫
Informatics Engineering and Information Science, Part II : International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011. Proceedings, Part II (Communications in Computer and Information Science .252) (2011. XXIV, 751 S.)
  • 洋書
  • ポイントキャンペーン

Informatics Engineering and Information Science, Part II : International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011. Proceedings, Part II (Communications in Computer and Information Science .252) (2011. XXIV, 751 S.)  Paperback

Herausgegeben von Abd Manaf, Azizah/ Zeki, Akram/ Zamani, Mazdak/ Chuprat, Suriayati/ El-Qawasmeh, Eyas

  • ウェブストア価格 ¥27,997(本体¥25,452)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 508pt
  • 海外取次在庫
Informatics Engineering and Information Science, Part IV : International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011. Proceedings, Part IV (Communications in Computer and Information Science .254) (2011. 524 S.)
  • 洋書
  • ポイントキャンペーン

Informatics Engineering and Information Science, Part IV : International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011. Proceedings, Part IV (Communications in Computer and Information Science .254) (2011. 524 S.)  Paperback

Herausgegeben von Abd Manaf, Azizah/ Sahibuddin, Shamsul/ Ahmad, Rabiah/ Mohd Daud, Salwani/ El-Qawasmeh, Eyas

  • ウェブストア価格 ¥27,997(本体¥25,452)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 508pt
  • 海外取次在庫
Informatics Engineering and Information Science, Part III : International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011. Proceedings, Part III (Communications in Computer and Information Science .253) (2011. XXIV, 717 S.)
  • 洋書
  • ポイントキャンペーン

Informatics Engineering and Information Science, Part III : International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011. Proceedings, Part III (Communications in Computer and Information Science .253) (2011. XXIV, 717 S.)  Paperback

Herausgegeben von Abd Manaf, Azizah/ Sahibuddin, Shamsul/ Ahmad, Rabiah/ Mohd Daud, Salwani/ El-Qawasmeh, Eyas

  • SPRINGER, BERLIN(2011発売)
  • ご注文いただけません
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production : 11th International Conference, HPCST 2021, Barnaul, Russia, May 21-22, 2021, Revised Selected Papers (Communications in Computer and In
  • 洋書
  • ポイントキャンペーン

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production : 11th International Conference, HPCST 2021, Barnaul, Russia, May 21-22, 2021, Revised Selected Papers (Communications in Computer and In  Paperback

Jordan, Vladimir (EDT)/ Tarasov, Ilya (EDT)/ Faerman, Vladimir (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer Nature Switzerland AG(2022/01発売)
  • ポイント 398pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Visual Informatics : 6th International Visual Informatics Conference, IVIC 2019, Bangi, Malaysia, November 19-21, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances in Visual Informatics : 6th International Visual Informatics Conference, IVIC 2019, Bangi, Malaysia, November 19-21, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Badioze Zaman, Halimah (EDT)/ Smeaton, Alan F. (EDT)/ Shih, Timothy K. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theory and Applications of Satisfiability Testing - SAT 2021 : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Theory and Applications of Satisfiability Testing - SAT 2021 : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Li, Chu-Min (EDT)/ Manyà, Felip (EDT)

  • ウェブストア価格 ¥26,354(本体¥23,959)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 478pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Runtime Verification : 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Runtime Verification : 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback

Feng, Lu (EDT)/ Fisman, Dana (EDT)

  • ウェブストア価格 ¥18,667(本体¥16,970)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 338pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Modern Trends and Techniques in Computer Science : 3rd Computer Science On-line Conference 2014 (CSOC 2014) (Advances in Intelligent Systems and Computing)
  • 洋書
  • ポイントキャンペーン

Modern Trends and Techniques in Computer Science : 3rd Computer Science On-line Conference 2014 (CSOC 2014) (Advances in Intelligent Systems and Computing)  Paperback,  言語:ENG

Silhavy, Radek (EDT)/ Senkerik, Roman (EDT)/ Oplatkova, Zuzana Kominkova (EDT)

  • ウェブストア価格 ¥48,319(本体¥43,927)
  • Springer International Publishing AG(2014/05発売)
  • ポイント 878pt
  • 海外取次在庫
OpenMP in the Era of Low Power Devices and Accelerators : 9th International Workshop on OpenMP, IWOMP 2013, Canberra, Australia, September 16-18, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

OpenMP in the Era of Low Power Devices and Accelerators : 9th International Workshop on OpenMP, IWOMP 2013, Canberra, Australia, September 16-18, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Rendell, Alistair P. (EDT)/ Chapman, Barbara M. (EDT)/ Müller, Matthias S. (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 198pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theory and Practice of Natural Computing : Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings (Theoretical Computer Science and General Issues) (2014)
  • 洋書
  • ポイントキャンペーン

Theory and Practice of Natural Computing : Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings (Theoretical Computer Science and General Issues) (2014)  Paperback,  言語:ENG

Dediu, Adrian-Horia (EDT)/ Lozano, Manuel (EDT)/ Martín-Vide, Carlos (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2014/11発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theory and Applications of Models of Computation : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書
  • ポイントキャンペーン

Theory and Applications of Models of Computation : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Gopal, T V (EDT)/ Agrawal, Manindra (EDT)/ Li, Angsheng (EDT)

  • ウェブストア価格 ¥12,589(本体¥11,445)
  • Springer International Publishing AG(2014/04発売)
  • ポイント 228pt
  • 海外からお取り寄せ(通常6~9週間)
Rules and Reasoning : 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書
  • ポイントキャンペーン

Rules and Reasoning : 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Kirrane, Sabrina (EDT)/ Šimkus, Mantas (EDT)/ Soylu, Ahmet (EDT)

  • ウェブストア価格 ¥14,274(本体¥12,977)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 258pt
  • 海外取次在庫