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)版です。キャンセルは承れません。
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)版です。キャンセルは承れません。
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発売)
  • ご注文いただけません
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
  • 海外取次在庫
Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: the PAAMS Collection : International Workshops of PAAMS 2018, Toledo, Spain, June 20-22, 2018, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: the PAAMS Collection : International Workshops of PAAMS 2018, Toledo, Spain, June 20-22, 2018, Proceedings (Communications in Computer and Information Science)  Paperback

Bajo, Javier (EDT)/ Corchado, Juan M. (EDT)/ Navarro Martínez, Elena María (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/06発売)
  • ポイント 109pt
  • 海外取次在庫
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
  • 海外取次在庫
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
  • 海外取次在庫
German-Japanese Interchange of Data Analysis Results (Studies in Classification, Data Analysis, and Knowledge Organization)
  • 洋書
  • 電子版あり

German-Japanese Interchange of Data Analysis Results (Studies in Classification, Data Analysis, and Knowledge Organization)  Paperback,  言語:ENG

Gaul, Wolfgang (EDT)/ Geyer-Schulz, Andreas (EDT)/ Baba, Yasumasa (EDT)

  • Springer International Publishing AG(2013/11発売)
  • ご注文いただけません
Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers (Communications in Computer and Information Science) (2014)
  • 洋書
  • 電子版あり

Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers (Communications in Computer and Information Science) (2014)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2014/04発売)
  • ポイント 109pt
  • 海外取次在庫
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発売)
  • ご注文いただけません
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
  • 海外取次在庫
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
  • 海外取次在庫
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
  • 海外取次在庫
Advances in Security of Information and Communication Networks : First International Conference, SecNet 2013, Cairo, Egypt, September 3-5, 2013. Proceedings (Communications in Computer and Information Science) (2013)
  • 洋書

Advances in Security of Information and Communication Networks : First International Conference, SecNet 2013, Cairo, Egypt, September 3-5, 2013. Proceedings (Communications in Computer and Information Science) (2013)  Paperback,  言語:ENG

Awad, Ali Ismail (EDT)/ Hassanien, Aboul Ella (EDT)/ Baba, Kensuke (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 109pt
  • 海外取次在庫
Principles of Security and Trust : Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Lecture Notes in Computer Sc (2014)
  • 洋書

Principles of Security and Trust : Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Lecture Notes in Computer Sc (2014)  Paperback,  言語:ENG

Abadi, Martín (EDT)/ Kremer, Steve (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/03発売)
  • ポイント 109pt
  • 海外取次在庫
Trustworthy Global Computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Trustworthy Global Computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Abadi, Martín (EDT)/ Lluch Lafuente, Alberto (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2014/03発売)
  • ポイント 109pt
  • 海外取次在庫
Progress in Polyimide Chemistry I (Advances in Polymer Science)
  • 洋書

Progress in Polyimide Chemistry I (Advances in Polymer Science)  Paperback,  言語:ENG

Kricheldorf, H.R. (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/10発売)
  • ポイント 219pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Speech and Language Technologies for Iberian Languages : Third International Conference, IberSPEECH 2016, Lisbon, Portugal, November 23-25, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Advances in Speech and Language Technologies for Iberian Languages : Third International Conference, IberSPEECH 2016, Lisbon, Portugal, November 23-25, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Abad, Alberto (EDT)/ Ortega, Alfonso (EDT)/ Teixeira, António (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/11発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
New Trends in Databases and Information Systems : ADBIS 2018 Short Papers and Workshops, AI*QA, BIGPMED, CSACDB, M2U, BigDataMAPS, ISTREND, DC, Budapest, Hungary, September, 2-5, 2018, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

New Trends in Databases and Information Systems : ADBIS 2018 Short Papers and Workshops, AI*QA, BIGPMED, CSACDB, M2U, BigDataMAPS, ISTREND, DC, Budapest, Hungary, September, 2-5, 2018, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Benczur, Andras (EDT)/ Thalheim, Bernhard (EDT)/ Horvath, Tomas (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2018/08発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。