Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Silva, Alexandra (EDT)/ Leino, K. Rustan M. (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 95pt
  • 海外取次在庫
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Silva, Alexandra (EDT)/ Leino, K. Rustan M. (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 95pt
  • 海外取次在庫
Multi-valued Logic for Decision-Making under Uncertainty (Computer Science Foundations and Applied Logic) (2024)
  • 洋書

Multi-valued Logic for Decision-Making under Uncertainty (Computer Science Foundations and Applied Logic) (2024)  Hardcover,  言語:ENG

Kagan, Evgeny/ Rybalov, Alexander/ Yager, Ronald

  • ウェブストア価格 ¥49,991(本体¥45,447)
  • Birkhauser Verlag AG(2025/02発売)
  • ポイント 454pt
  • 海外からお取り寄せ(通常6~9週間)
Computer Science - Theory and Applications : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Computer Science - Theory and Applications : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Kulikov, Alexander S. (EDT)/ Woeginger, Gerhard J. (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2016/05発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Experimental IR Meets Multilinguality, Multimodality, and Interaction : 12th International Conference of the CLEF Association, CLEF 2021, Virtual Event, September 21-24, 2021, Proceedings (Information Systems and Applications, incl. Internet/web, and
  • 洋書

Experimental IR Meets Multilinguality, Multimodality, and Interaction : 12th International Conference of the CLEF Association, CLEF 2021, Virtual Event, September 21-24, 2021, Proceedings (Information Systems and Applications, incl. Internet/web, and  Paperback,  言語:ENG

Candan, K. Selçuk (EDT)/ Ionescu, Bogdan (EDT)/ Goeuriot, Lorraine (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
It-revision, It-audit Und It-compliance : Praxis Und Theorie Der It-prfung
  • 洋書

It-revision, It-audit Und It-compliance : Praxis Und Theorie Der It-prfung  Paperback

Sowa, Aleksandra (EDT)/ Duscha, Peter/ Krause, Klaus-Dieter

  • Vieweg + Teubner Verlag(2015/10発売)
  • ご注文いただけません
Combinatorial Pattern Matching : 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings (Theoretical Computer Science and General Issues) (2014)
  • 洋書

Combinatorial Pattern Matching : 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings (Theoretical Computer Science and General Issues) (2014)  Paperback,  言語:ENG

Kulikov, Alexander S. (EDT)/ Kuznetsov, Sergei O. (EDT)/ Pevzner, Pavel (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2014/05発売)
  • ポイント 104pt
  • 海外取次在庫
Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Petrenko, Alexander K. (EDT)/ Voronkov, Andrei (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Multimedia and Network Information Systems : Proceedings of the 10th International Conference MISSI 2016 (Advances in Intelligent Systems and Computing)
  • 洋書

Multimedia and Network Information Systems : Proceedings of the 10th International Conference MISSI 2016 (Advances in Intelligent Systems and Computing)  Paperback

Zgrzywa, Aleksander (EDT)/ Choroś, Kazimierz (EDT)/ Siemiński, Andrzej (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 324pt
  • 海外取次在庫
Biologically Inspired Cognitive Architectures (BICA) for Young Scientists : Proceedings of the First International Early Research Career Enhancement School (FIERCES 2016) (Advances in Intelligent Systems and Computing)
  • 洋書

Biologically Inspired Cognitive Architectures (BICA) for Young Scientists : Proceedings of the First International Early Research Career Enhancement School (FIERCES 2016) (Advances in Intelligent Systems and Computing)  Paperback,  言語:ENG

Samsonovich, Alexei V. (EDT)/ Klimov, Valentin V. (EDT)/ Rybina, Galina V. (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 324pt
  • 海外取次在庫
Intelligent Tutoring Systems : 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings (Lecture Notes in Computer Science)
  • 洋書

Intelligent Tutoring Systems : 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings (Lecture Notes in Computer Science)  Paperback

Micarelli, Alessandro (EDT)/ Stamper, John (EDT)/ Panourgia, Kitty (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Service-Oriented Computing - ICSOC 2015 Workshops : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Service-Oriented Computing - ICSOC 2015 Workshops : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Norta, Alex (EDT)/ Gaaloul, Walid (EDT)/ Gangadharan, G. R. (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/04発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Man-Machine Interactions 4 : 4th International Conference on Man-Machine Interactions, ICMMI 2015 Kocierz Pass, Poland, October 6-9, 2015 (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり

Man-Machine Interactions 4 : 4th International Conference on Man-Machine Interactions, ICMMI 2015 Kocierz Pass, Poland, October 6-9, 2015 (Advances in Intelligent Systems and Computing)  Paperback

Gruca, Aleksandra (EDT)/ Brachman, Agnieszka (EDT)/ Kozielski, Stanisław (EDT)

  • Springer International Publishing AG(2015/09発売)
  • ご注文いただけません
Technische Grundlagen Eingebetteter Systeme : Elektronik, Systemtheorie, Komponenten und Analyse
  • 洋書

Technische Grundlagen Eingebetteter Systeme : Elektronik, Systemtheorie, Komponenten und Analyse  Paperback

Berns, Karsten/ Köpper, Alexander/ Schürmann, Bernd

  • ウェブストア価格 ¥9,438(本体¥8,580)
  • Springer Vieweg(2019/09発売)
  • ポイント 85pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Engineering and Formal Methods : 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science 15280) (2024. xv, 462 S. XV, 462 p. 243 illus., 190 illus. in color. 235 mm)
  • 洋書

Software Engineering and Formal Methods : 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science 15280) (2024. xv, 462 S. XV, 462 p. 243 illus., 190 illus. in color. 235 mm)  Paperback

Herausgegeben:Madeira, Alexandre/ Knapp, Alexander

  • ウェブストア価格 ¥18,526(本体¥16,842)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 168pt
  • 海外取次在庫
Systems, Software and Services Process Improvement : 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, Proceedings (Communications in Computer and Information Science)
  • 洋書

Systems, Software and Services Process Improvement : 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Kreiner, Christian (EDT)/ O'Connor, Rory V. (EDT)/ Poth, Alexander (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 104pt
  • 海外取次在庫
E-Democracy, Security, Privacy and Trust in a Digital World : 5th International Conference, E-Democracy 2013, Athens, Greece, December 5-6, 2013, Revised Selected Papers (Communications in Computer and Information Science) (2014)
  • 洋書
  • 電子版あり

E-Democracy, Security, Privacy and Trust in a Digital World : 5th International Conference, E-Democracy 2013, Athens, Greece, December 5-6, 2013, Revised Selected Papers (Communications in Computer and Information Science) (2014)  Paperback

Sideridis, Alexander B. (EDT)/ Kardasiadou, Zoe (EDT)/ Yialouris, Constantine P. (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2014/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
New Research in Multimedia and Internet Systems (Advances in Intelligent Systems and Computing) (2015)
  • 洋書

New Research in Multimedia and Internet Systems (Advances in Intelligent Systems and Computing) (2015)  Paperback

Zgrzywa, Aleksander (EDT)/ Choroś, Kazimierz (EDT)/ Siemiński, Andrzej (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer International Publishing AG(2014/09発売)
  • ポイント 324pt
  • 海外取次在庫
Multiagent System Technologies : 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings (Lecture Notes in Computer Science)
  • 洋書

Multiagent System Technologies : 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings (Lecture Notes in Computer Science)  Paperback

Klusch, Matthias (EDT)/ Unland, Rainer (EDT)/ Shehory, Onn (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 104pt
  • 海外取次在庫
Analysis of Images, Social Networks and Texts : 4th International Conference, AIST 2015, Yekaterinburg, Russia, April 9-11, 2015, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Analysis of Images, Social Networks and Texts : 4th International Conference, AIST 2015, Yekaterinburg, Russia, April 9-11, 2015, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Khachay, Mikhail Yu. (EDT)/ Konstantinova, Natalia (EDT)/ Panchenko, Alexander (EDT)

  • Springer International Publishing AG(2015/12発売)
  • ご注文いただけません