Rewriting Logic and Its Applications (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6381) (2010. X, 264 S.)
  • 洋書

Rewriting Logic and Its Applications (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6381) (2010. X, 264 S.)  Paperback

Herausgegeben von OElveczky, Peter Csaba

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 126pt
  • 海外取次在庫
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Abate, Alessandro (EDT)/ Boldo, Sylvie (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Abate, Alessandro (EDT)/ Geeraerts, Gilles (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
International Conference on Applications and Techniques in Cyber Security and Intelligence : Applications and Techniques in Cyber Security and Intelligence (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり

International Conference on Applications and Techniques in Cyber Security and Intelligence : Applications and Techniques in Cyber Security and Intelligence (Advances in Intelligent Systems and Computing)  Paperback

Abawajy, Jemal (EDT)/ Choo, Kim-Kwang Raymond (EDT)/ Islam, Rafiqul (EDT)

  • Birkhauser Verlag AG(2017/10発売)
  • ご注文いただけません
2020 International Conference on Applications and Techniques in Cyber Intelligence : Applications and Techniques in Cyber Intelligence (ATCI 2020) (Advances in Intelligent Systems and Computing 1244) (1st ed. 2021. 2020. xxxiv, 1144 S. XXXIV, 1144 p. 403 illus., 268 illu)
  • 洋書

2020 International Conference on Applications and Techniques in Cyber Intelligence : Applications and Techniques in Cyber Intelligence (ATCI 2020) (Advances in Intelligent Systems and Computing 1244) (1st ed. 2021. 2020. xxxiv, 1144 S. XXXIV, 1144 p. 403 illus., 268 illu)  Paperback,  言語:ENG

Herausgegeben von Abawajy, Jemal H./ Choo, Kim-Kwang Raymond/ Xu, Zheng/ Atiquzzaman, Mohammed

  • ウェブストア価格 ¥77,970(本体¥70,882)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2020発売)
  • ポイント 708pt
  • 海外取次在庫
Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2012)
  • 洋書

Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2012)  Paperback,  言語:ENG

Arbab, Farhad (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/11発売)
  • ポイント 109pt
  • 海外取次在庫
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Artho, Cyrille (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Mobile Communication and Power Engineering : Second international Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012. Revised Papers (Communications in Computer and Information Science) (2013)
  • 洋書

Mobile Communication and Power Engineering : Second international Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012. Revised Papers (Communications in Computer and Information Science) (2013)  Paperback,  言語:ENG

Das, Vinu V (EDT)/ Chaba, Yogesh (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 109pt
  • 海外取次在庫
Representations, Analysis and Recognition of Shape and Motion from Imaging Data : 6th International Workshop, RFMI 2016, Sidi Bou Said Village, Tunisia, October 27-29, 2016, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Representations, Analysis and Recognition of Shape and Motion from Imaging Data : 6th International Workshop, RFMI 2016, Sidi Bou Said Village, Tunisia, October 27-29, 2016, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Ben Amor, Boulbaba (EDT)/ Chaieb, Faten (EDT)/ Ghorbel, Faouzi (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/06発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Damage Control in Trauma Care : An Evolving Comprehensive Team Approach
  • 洋書

Damage Control in Trauma Care : An Evolving Comprehensive Team Approach  Paperback

Duchesne, Juan (EDT)/ Inaba, Kenji (EDT)/ Khan, Mansoor Ali (EDT)

  • ウェブストア価格 ¥27,716(本体¥25,197)
  • Springer Nature Switzerland AG(2018/12発売)
  • ポイント 251pt
  • 海外からお取り寄せ(通常6~9週間)
Proceedings of the 4th International Symposium on Materials and Sustainable Development : Volume 1: Nano Technology and Advanced Materials
  • 洋書

Proceedings of the 4th International Symposium on Materials and Sustainable Development : Volume 1: Nano Technology and Advanced Materials  Hardcover

Benmounah, Abdelbaki (EDT)/ Abadlia, Mohamed Tahar (EDT)/ Saidi, Mohamed (EDT)

  • ウェブストア価格 ¥48,319(本体¥43,927)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 439pt
  • 海外取次在庫
Computer Applications for Modeling, Simulation, and Automobile (Communications in Computer and Information Science .341) (2012. 2012. XIV, 326 S. 227 SW-Abb.)
  • 洋書

Computer Applications for Modeling, Simulation, and Automobile (Communications in Computer and Information Science .341) (2012. 2012. XIV, 326 S. 227 SW-Abb.)  Paperback

Herausgegeben von Kim, Tai-hoon/ Ramos, Carlos/ Abawajy, Jemal/ Kang, Byeong-Ho/ Slezak, Dominik

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Representations, Analysis and Recognition of Shape and Motion from Imaging Data : 7th International Workshop, RFMI 2017, Savoie, France, December 17-20, 2017, Revised Selected Papers (Communications in Computer and Information Science) (2019)
  • 洋書
  • 電子版あり

Representations, Analysis and Recognition of Shape and Motion from Imaging Data : 7th International Workshop, RFMI 2017, Savoie, France, December 17-20, 2017, Revised Selected Papers (Communications in Computer and Information Science) (2019)  Paperback,  言語:ENG

Chen, Liming (EDT)/ Ben Amor, Boulbaba (EDT)/ Ghorbel, Faouzi (EDT)

  • ウェブストア価格 ¥16,471(本体¥14,974)
  • Springer Nature Switzerland AG(2019/05発売)
  • ポイント 149pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Topics in Theoretical Computer Science : Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Topics in Theoretical Computer Science : Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

S. Barbosa, Luís (EDT)/ Ali Abam, Mohammad (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 109pt
  • 海外取次在庫
Computer Applications for Communication, Networking, and Digital Contents : International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proce (2012)
  • 洋書

Computer Applications for Communication, Networking, and Digital Contents : International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proce (2012)  Paperback,  言語:ENG

Kim, Tai-hoon (EDT)/ Ko, Dae-sik (EDT)/ Vasilakos, Thanos (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/11発売)
  • ポイント 109pt
  • 海外取次在庫
Computer Applications for Web, Human Computer Interaction, Signal and Image Processing, and Pattern Recognition (Communications in Computer and Information Science .342) (2012. 2012. XVIII, 376 S. 193 SW-Abb.)
  • 洋書

Computer Applications for Web, Human Computer Interaction, Signal and Image Processing, and Pattern Recognition (Communications in Computer and Information Science .342) (2012. 2012. XVIII, 376 S. 193 SW-Abb.)  Paperback

Herausgegeben von Kim, Tai-hoon/ Mohammed, Sabah/ Ramos, Carlos/ Abawajy, Jemal/ Kang, Byeong-Ho

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ポイント 126pt
  • 海外取次在庫
Innovations and Interdisciplinary Solutions for Underserved Areas : Second International Conference, InterSol 2018, Kigali, Rwanda, March 24-25, 2018, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommu
  • 洋書
  • 電子版あり

Innovations and Interdisciplinary Solutions for Underserved Areas : Second International Conference, InterSol 2018, Kigali, Rwanda, March 24-25, 2018, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommu  Paperback

Kebe, Cheikh M.F. (EDT)/ Gueye, Assane (EDT)/ Ndiaye, Ababacar (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 109pt
  • 海外取次在庫
Innovation and Interdisciplinary Solutions for Underserved Areas : First International Conference, InterSol 2017 and Sixth Collogue National sur la Recherche en Informatique et ses Applications, CNRIA 2017, Dakar, Senegal, April 11-12, 2017, Proceedi
  • 洋書
  • 電子版あり

Innovation and Interdisciplinary Solutions for Underserved Areas : First International Conference, InterSol 2017 and Sixth Collogue National sur la Recherche en Informatique et ses Applications, CNRIA 2017, Dakar, Senegal, April 11-12, 2017, Proceedi  Paperback,  言語:ENG

M. F. Kebe, Cheikh (EDT)/ Gueye, Assane (EDT)/ Ndiaye, Ababacar (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 109pt
  • 海外取次在庫
Innovations and Interdisciplinary Solutions for Underserved Areas : Third EAI International Conference, InterSol 2019, Cairo, Egypt, February 14-15, 2019, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telec (2019)
  • 洋書
  • 電子版あり

Innovations and Interdisciplinary Solutions for Underserved Areas : Third EAI International Conference, InterSol 2019, Cairo, Egypt, February 14-15, 2019, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telec (2019)  Paperback,  言語:ENG

Bassioni, Ghada (EDT)/ Kebe, Cheikh M.F. (EDT)/ Gueye, Assane (EDT)

  • ウェブストア価格 ¥13,178(本体¥11,980)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 119pt
  • 海外取次在庫
Energy Technology 2020: Recycling, Carbon Dioxide Management, and Other Technologies (The Minerals, Metals & Materials Series)
  • 洋書
  • 電子版あり

Energy Technology 2020: Recycling, Carbon Dioxide Management, and Other Technologies (The Minerals, Metals & Materials Series)  Hardcover,  言語:ENG

Chen, Xiaobo (EDT)/ Zhong, Yulin (EDT)/ Zhang, Lei (EDT)

  • ウェブストア価格 ¥48,319(本体¥43,927)
  • Springer Nature Switzerland AG(2020/01発売)
  • ポイント 439pt
  • 海外取次在庫