Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, I
  • 洋書
  • 電子版あり

Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, I  Paperback

ter Beek, Maurice H. (EDT)/ Gnesi, Stefania (EDT)/ Knapp, Alexander (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Engineering for Resilient Systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings (Programming and Software Engineering) (2013)
  • 洋書

Software Engineering for Resilient Systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Gorbenko, Anatoliy (EDT)/ Romanovsky, Alexander (EDT)/ Kharchenko, Vyacheslav (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 92pt
  • 海外取次在庫
Data Analytics and Management in Data Intensive Domains : 23rd International Conference, DAMDID/RCDL 2021, Moscow, Russia, October 26-29, 2021, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Data Analytics and Management in Data Intensive Domains : 23rd International Conference, DAMDID/RCDL 2021, Moscow, Russia, October 26-29, 2021, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Pozanenko, Alexei (EDT)/ Stupnikov, Sergey (EDT)/ Thalheim, Bernhard (EDT)

  • ウェブストア価格 ¥18,244(本体¥16,586)
  • Springer International Publishing AG(2022/07発売)
  • ポイント 165pt
  • 海外取次在庫
Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002 : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers (Lecture Notes in Computer Science Vol.2941) (2004. X, 359 p. 23,5 cm)
  • 洋書

Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002 : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers (Lecture Notes in Computer Science Vol.2941) (2004. X, 359 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Martin Wirsing, Alexander Knapp and Simonetta Balsamo

  • ウェブストア価格 ¥12,620(本体¥11,473)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 114pt
  • 海外取次在庫
Analysis of Images, Social Networks and Texts : Third International Conference, AIST 2014, Yekaterinburg, Russia, April 10-12, 2014, Revised Selected Papers (Communications in Computer and Information Science) (2014)
  • 洋書

Analysis of Images, Social Networks and Texts : Third International Conference, AIST 2014, Yekaterinburg, Russia, April 10-12, 2014, Revised Selected Papers (Communications in Computer and Information Science) (2014)  Paperback

Ignatov, Dmitry I. (EDT)/ Khachay, Mikhail Yu. (EDT)/ Panchenko, Alexander (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2014/11発売)
  • ポイント 101pt
  • 海外取次在庫
Advanced Technologies for Intelligent Systems of National Border Security (Studies in Computational Intelligence) (2013)
  • 洋書

Advanced Technologies for Intelligent Systems of National Border Security (Studies in Computational Intelligence) (2013)  Paperback

Nawrat, Aleksander (EDT)/ Simek, Krzysztof (EDT)/ Świerniak, Andrzej (EDT)

  • ウェブストア価格 ¥22,300(本体¥20,273)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/09発売)
  • ポイント 202pt
  • 海外取次在庫
Descriptional Complexity of Formal Systems : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings (Theoretical Computer Science and General Issues) (2014)
  • 洋書

Descriptional Complexity of Formal Systems : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings (Theoretical Computer Science and General Issues) (2014)  Paperback

Jürgensen, Helmut (EDT)/ Karhumäki, Juhani (EDT)/ Okhotin, Alexander (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2014/07発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Speech and Computer : 26th International Conference, SPECOM 2024, Belgrade, Serbia, November 25-28, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Speech and Computer : 26th International Conference, SPECOM 2024, Belgrade, Serbia, November 25-28, 2024, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Karpov, Alexey (EDT)/ Delić, Vlado (EDT)

  • Springer International Publishing AG(2024/11発売)
  • ご注文いただけません
Speech and Computer : 26th International Conference, SPECOM 2024, Belgrade, Serbia, November 25-28, 2024, Proceedings, Part II (Lecture Notes in Artificial Intelligence)
  • 洋書

Speech and Computer : 26th International Conference, SPECOM 2024, Belgrade, Serbia, November 25-28, 2024, Proceedings, Part II (Lecture Notes in Artificial Intelligence)  Paperback

Karpov, Alexey (EDT)/ Delić, Vlado (EDT)

  • Springer International Publishing AG(2024/11発売)
  • ご注文いただけません
Intelligent Transport Systems : 8th International Conference, INTSYS 2024, Pisa, Italy, December 5-6, 2024, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee)
  • 洋書

Intelligent Transport Systems : 8th International Conference, INTSYS 2024, Pisa, Italy, December 5-6, 2024, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee)

Herausgegeben:Kocian, Alexander/Milazzo, Paolo/Henriques Martins, Ana Lú

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ご注文いただけません
Business Process Management: Blockchain and Robotic Process Automation Forum : BPM 2020 Blockchain and RPA Forum, Seville, Spain, September 13-18, 2020, Proceedings (Lecture Notes in Business Information Processing)
  • 洋書

Business Process Management: Blockchain and Robotic Process Automation Forum : BPM 2020 Blockchain and RPA Forum, Seville, Spain, September 13-18, 2020, Proceedings (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Asatiani, Aleksandre (EDT)/ García, José María (EDT)/ Helander, Nina (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 101pt
  • 海外取次在庫
Speech and Computer : 22nd International Conference, SPECOM 2020, St. Petersburg, Russia, October 7-9, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Speech and Computer : 22nd International Conference, SPECOM 2020, St. Petersburg, Russia, October 7-9, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Karpov, Alexey (EDT)/ Potapova, Rodmonga (EDT)

  • ウェブストア価格 ¥22,300(本体¥20,273)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 202pt
  • 海外取次在庫
Speech and Computer : 23rd International Conference, SPECOM 2021, St. Petersburg, Russia, September 27-30, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Speech and Computer : 23rd International Conference, SPECOM 2021, St. Petersburg, Russia, September 27-30, 2021, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Karpov, Alexey (EDT)/ Potapova, Rodmonga (EDT)

  • ウェブストア価格 ¥26,354(本体¥23,959)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 239pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Science - Theory and Applications : 17th International Computer Science Symposium in Russia, CSR 2022, Virtual Event, June 29 - July 1, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Computer Science - Theory and Applications : 17th International Computer Science Symposium in Russia, CSR 2022, Virtual Event, June 29 - July 1, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Kulikov, Alexander S. (EDT)/ Raskhodnikova, Sofya (EDT)

  • ウェブストア価格 ¥17,231(本体¥15,665)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 156pt
  • 海外取次在庫
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries : 4th International Workshop, BrainLes 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers, Part I (Image Processing, Com
  • 洋書
  • 電子版あり

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries : 4th International Workshop, BrainLes 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers, Part I (Image Processing, Com  Paperback,  言語:ENG

Crimi, Alessandro (EDT)/ Bakas, Spyridon (EDT)/ Kuijf, Hugo (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 101pt
  • 海外取次在庫
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries : 4th International Workshop, BrainLes 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers, Part II (Image Processing, Co
  • 洋書
  • 電子版あり

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries : 4th International Workshop, BrainLes 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers, Part II (Image Processing, Co  Paperback,  言語:ENG

Crimi, Alessandro (EDT)/ Bakas, Spyridon (EDT)/ Kuijf, Hugo (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Vision Based Systemsfor UAV Applications (Studies in Computational Intelligence) (2013)
  • 洋書

Vision Based Systemsfor UAV Applications (Studies in Computational Intelligence) (2013)  Paperback

Nawrat, Aleksander (EDT)/ Kuś, Zygmunt (EDT)

  • Springer International Publishing AG(2015/06発売)
  • ご注文いただけません
Complex Systems Design & Management Asia : Designing Smart Cities: Proceedings of the First Asia - Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2014
  • 洋書

Complex Systems Design & Management Asia : Designing Smart Cities: Proceedings of the First Asia - Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2014  Paperback

Cardin, Michel-Alexandre (EDT)/ Krob, Daniel (EDT)/ Lui, Pao Chuen (EDT)

  • Springer International Publishing AG(2016/10発売)
  • ご注文いただけません
Euro-Par 2014: Parallel Processing Workshops : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II (Theoretical Computer Science and General Issues) (2014)
  • 洋書

Euro-Par 2014: Parallel Processing Workshops : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II (Theoretical Computer Science and General Issues) (2014)  Paperback

Lopes, Luís (EDT)/ Žilinskas, Julius (EDT)/ Costan, Alexandru (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2014/12発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Man-Machine Interactions 5 : 5th International Conference on Man-Machine Interactions, ICMMI 2017 Held at Kraków, Poland, October 3-6, 2017 (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり

Man-Machine Interactions 5 : 5th International Conference on Man-Machine Interactions, ICMMI 2017 Held at Kraków, Poland, October 3-6, 2017 (Advances in Intelligent Systems and Computing)  Paperback

Gruca, Aleksandra (EDT)/ Czachórski, Tadeusz (EDT)/ Harezlak, Katarzyna (EDT)

  • ウェブストア価格 ¥44,602(本体¥40,548)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 405pt
  • 海外取次在庫