Composing Model-Based Analysis Tools (2021)
  • 洋書

Composing Model-Based Analysis Tools (2021)  Paperback,  言語:ENG

Heinrich, Robert (EDT)/ Durán, Francisco (EDT)/ Talcott, Carolyn (EDT)

  • ウェブストア価格 ¥22,866(本体¥20,788)
  • Springer Nature Switzerland AG(2022/12発売)
  • ポイント 207pt
  • 海外取次在庫
Trends and Applications in Software Engineering : Proceedings of CIMPS 2016 (Advances in Intelligent Systems and Computing)
  • 洋書

Trends and Applications in Software Engineering : Proceedings of CIMPS 2016 (Advances in Intelligent Systems and Computing)  Paperback

Mejia, Jezreel (EDT)/ Muñoz, Mirna (EDT)/ Rocha, Álvaro (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 324pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Engineering Secure Software and Systems : 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

Engineering Secure Software and Systems : 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Piessens, Frank (EDT)/ Caballero, Juan (EDT)/ Bielova, Nataliia (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2015/02発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Applied Computer Sciences in Engineering : 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7-9, 2020, Proceedings (Communications in Computer and Information Science)
  • 洋書

Applied Computer Sciences in Engineering : 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7-9, 2020, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Figueroa-García, Juan Carlos (EDT)/ Garay-Rairán, Fabián Steven (EDT)/ Hernández-Pérez, Germán Jairo (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 209pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Multimodal Analyses enabling Artificial Agents in Human-Machine Interaction : Second International Workshop, MA3HMI 2014, Held in Conjunction with INTERSPEECH 2014, Singapore, Singapore, September 14, 2014, Revised Selected Papers (Lecture Notes in C (2015)
  • 洋書
  • 電子版あり

Multimodal Analyses enabling Artificial Agents in Human-Machine Interaction : Second International Workshop, MA3HMI 2014, Held in Conjunction with INTERSPEECH 2014, Singapore, Singapore, September 14, 2014, Revised Selected Papers (Lecture Notes in C (2015)  Paperback,  言語:ENG

Böck, Ronald (EDT)/ Bonin, Francesca (EDT)/ Campbell, Nick (EDT)

  • ウェブストア価格 ¥9,438(本体¥8,580)
  • Springer International Publishing AG(2015/03発売)
  • ポイント 85pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Cellular Automata and Discrete Complex Systems : 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers (Theoretical Computer Science and General Issues) (2015)
  • 洋書

Cellular Automata and Discrete Complex Systems : 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers (Theoretical Computer Science and General Issues) (2015)  Paperback,  言語:ENG

Isokawa, Teijiro (EDT)/ Imai, Katsunobu (EDT)/ Matsui, Nobuyuki (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2015/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Multiple Heterogeneous Unmanned Aerial Vehicles (Springer Tracts in Advanced Robotics) (2007)
  • 洋書

Multiple Heterogeneous Unmanned Aerial Vehicles (Springer Tracts in Advanced Robotics) (2007)  Paperback

Ollero, Aníbal (EDT)/ Maza, Iván (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/12発売)
  • ご注文いただけません
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (Lecture Notes in Computer Science) (2017)
  • 洋書
  • 電子版あり

Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (Lecture Notes in Computer Science) (2017)  Paperback

Ayala-Rincon, Mauricio (EDT)/ Munoz, Cesar A. (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Wireless Sensor Networks : The 8th China Conference, CWSN 2014, Xi'an, China, October 31--November 2, 2014. Revised Selected Papers (Communications in Computer and Information Science) (2015)
  • 洋書
  • 電子版あり

Advances in Wireless Sensor Networks : The 8th China Conference, CWSN 2014, Xi'an, China, October 31--November 2, 2014. Revised Selected Papers (Communications in Computer and Information Science) (2015)  Paperback

Sun, Limin (EDT)/ Ma, Huadong (EDT)/ Fang, Dingyi (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Speech and Computer : 17th International Conference, SPECOM 2015, Athens, Greece, September 20-24, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Speech and Computer : 17th International Conference, SPECOM 2015, Athens, Greece, September 20-24, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback

Ronzhin, Andrey (EDT)/ Potapova, Rodmonga (EDT)/ Fakotakis, Nikos (EDT)

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

Ambient Intelligence - Software and Applications : 5th International Symposium on Ambient Intelligence (Advances in Intelligent Systems and Computing) (2014)  Paperback,  言語:ENG

Ramos, Carlos (EDT)/ Novais, Paulo (EDT)/ Nihan, Céline Ehrwein (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer International Publishing AG(2014/06発売)
  • ポイント 324pt
  • 海外取次在庫
Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback

El-Fakih, Khaled (EDT)/ Barlas, Gerassimos (EDT)/ Yevtushenko, Nina (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 104pt
  • 海外取次在庫
Computational Intelligence Methods for Bioinformatics and Biostatistics : 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Computational Intelligence Methods for Bioinformatics and Biostatistics : 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

DI Serio, Clelia (EDT)/ Liò, Pietro (EDT)/ Nonis, Alessandro (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Breast Imaging : 13th International Workshop, IWDM 2016, Malmö, Sweden, June 19-22, 2016, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書

Breast Imaging : 13th International Workshop, IWDM 2016, Malmö, Sweden, June 19-22, 2016, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback

Tingberg, Anders (EDT)/ Lång, Kristina (EDT)/ Timberg, Pontus (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Cooperative Robots and Sensor Networks 2015 (Studies in Computational Intelligence)
  • 洋書

Cooperative Robots and Sensor Networks 2015 (Studies in Computational Intelligence)  Paperback

Koubâa, Anis (EDT)/ Martínez-de Dios, J.Ramiro (EDT)

  • Springer International Publishing AG(2016/10発売)
  • ご注文いただけません
Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings (Programming and Software Engineering)
  • 洋書

Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings (Programming and Software Engineering)  Paperback

Falcone, Yliès (EDT)/ Sánchez, César (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II (Theoretical Computer Science and General Issues) (2015)
  • 洋書

Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II (Theoretical Computer Science and General Issues) (2015)  Paperback

Halldórsson, Magnús M. (EDT)/ Iwama, Kazuo (EDT)/ Kobayashi, Naoki (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues 9134) (2015. xxxi, 1111 S. XXXI, 1111 p. 78 illus. 235 mm)
  • 洋書

Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues 9134) (2015. xxxi, 1111 S. XXXI, 1111 p. 78 illus. 235 mm)  Paperback

Herausgegeben von Halldorsson, Magnus M./ Iwama, Kazuo/ Kobayashi, Naoki/ Speckmann, Bettina

  • ウェブストア価格 ¥26,468(本体¥24,062)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2015発売)
  • ポイント 240pt
  • 海外取次在庫
Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data : Third International Workshop, STIA 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers (Image Processing, Computer Visio (2015)
  • 洋書

Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data : Third International Workshop, STIA 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers (Image Processing, Computer Visio (2015)  Paperback,  言語:ENG

Durrleman, Stanley (EDT)/ Fletcher, Tom (EDT)/ Gerig, Guido (EDT)

  • ウェブストア価格 ¥9,438(本体¥8,580)
  • Springer International Publishing AG(2015/02発売)
  • ポイント 85pt
  • 海外取次在庫
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Programming and Software Engineering)
  • 洋書

Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Programming and Software Engineering)  Paperback

Beklemishev, Lev D. (EDT)/ Blass, Andreas (EDT)/ Dershowitz, Nachum (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。