Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings (Lecture Notes in Com
  • 洋書

Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings (Lecture Notes in Com  Paperback,  言語:ENG

Isac, Omri (EDT)/ Ivanov, Radoslav (EDT)/ Katz, Guy (EDT)

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer International Publishing AG(2022/12発売)
  • ポイント 132pt
  • 海外取次在庫
Clinical Image-Based Procedures. Translational Research in Medical Imaging : Third International Workshop, CLIP 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014, Revised Selected Papers (Lecture Notes in Computer Scienc (2014)
  • 洋書

Clinical Image-Based Procedures. Translational Research in Medical Imaging : Third International Workshop, CLIP 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014, Revised Selected Papers (Lecture Notes in Computer Scienc (2014)  Paperback,  言語:ENG

Linguraru, Marius George (EDT)/ Oyarzun Laura, Cristina (EDT)/ Shekhar, Raj (EDT)

  • ウェブストア価格 ¥9,374(本体¥8,522)
  • Springer International Publishing AG(2014/12発売)
  • ポイント 85pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Technological Innovation for Cloud-Based Engineering Systems : 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings (Ifip Advances in In
  • 洋書

Technological Innovation for Cloud-Based Engineering Systems : 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings (Ifip Advances in In  Paperback

Camarinha-Matos, Luis M. (EDT)/ Baldissera, Thais A. (EDT)/ Di Orio, Giovanni (EDT)

  • Springer International Publishing AG(2016/10発売)
  • ご注文いただけません
From Animals to Animats 17 : 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings (Lecture Notes in Artificial Intelligence) (2025)
  • 洋書

From Animals to Animats 17 : 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings (Lecture Notes in Artificial Intelligence) (2025)  Paperback

Brock, Oliver (EDT)/ Krichmar, Jeffrey (EDT)

  • ウェブストア価格 ¥15,626(本体¥14,206)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 142pt
  • 海外取次在庫
Sensor-Based Activity Recognition and Artificial Intelligence : 9th International Workshop, iWOAR 2024, Potsdam, Germany, September 26-27, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Sensor-Based Activity Recognition and Artificial Intelligence : 9th International Workshop, iWOAR 2024, Potsdam, Germany, September 26-27, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Konak, Orhan (EDT)/ Arnrich, Bert (EDT)/ Bieber, Gerald (EDT)

  • ウェブストア価格 ¥13,952(本体¥12,684)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 126pt
  • 海外からお取り寄せ(通常6~9週間)
Fullspace-Projektion : Mit dem 360 (X.media.press) (2013. 2012. X, 240 S. m. 200 Farbabb., 10 Farbtabellen. 235 mm)
  • 洋書

Fullspace-Projektion : Mit dem 360 (X.media.press) (2013. 2012. X, 240 S. m. 200 Farbabb., 10 Farbtabellen. 235 mm)  Hardcover

Herausgegeben von Schroeder, Ute B./ Overschmidt, Gordian

  • SPRINGER, BERLIN(2012/11発売)
  • ご注文いただけません
Computer and Communication Engineering : First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Computer and Communication Engineering : First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018, Proceedings (Communications in Computer and Information Science)  Paperback

Botto-Tobar, Miguel (EDT)/ Barzola-Monteses, Julio (EDT)/ Santos-Baquerizo, Eduardo (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Service Orientation in Holonic and Multi-Agent Manufacturing : Proceedings of SOHOMA 2016 (Studies in Computational Intelligence)
  • 洋書
  • 電子版あり

Service Orientation in Holonic and Multi-Agent Manufacturing : Proceedings of SOHOMA 2016 (Studies in Computational Intelligence)  Hardcover

Borangiu, Theodor (EDT)/ Trentesaux, Damien (EDT)/ Thomas, André (EDT)

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 322pt
  • 海外取次在庫
Engineering Dependable and Secure Machine Learning Systems : Third International Workshop, EDSMLS 2020, New York City, NY, USA, February 7, 2020, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Engineering Dependable and Secure Machine Learning Systems : Third International Workshop, EDSMLS 2020, New York City, NY, USA, February 7, 2020, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Shehory, Onn (EDT)/ Farchi, Eitan (EDT)/ Barash, Guy (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advanced Computer and Communication Engineering Technology : Proceedings of the 1st International Conference on Communication and Computer Engineering (Lecture Notes in Electrical Engineering 315) (2014. xx, 1090 S. XX, 1090 p. 517 illus. 235 mm)
  • 洋書
  • 電子版あり

Advanced Computer and Communication Engineering Technology : Proceedings of the 1st International Conference on Communication and Computer Engineering (Lecture Notes in Electrical Engineering 315) (2014. xx, 1090 S. XX, 1090 p. 517 illus. 235 mm)  Hardcover

Herausgegeben:Sulaiman, Hamzah Asyrani/ Othman, Mohd Azlishah/ Othman, Mohd Fairuz Iskandar/ Rahim, Yahaya Abd/ Pee, Naim Che

  • ウェブストア価格 ¥52,938(本体¥48,126)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2014発売)
  • ポイント 481pt
  • 海外取次在庫
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings (Programming and Software Engineering) (2014)
  • 洋書

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings (Programming and Software Engineering) (2014)  Paperback,  言語:ENG

Poole, Stephen (EDT)/ Hernandez, Oscar (EDT)/ Shamis, Pavel (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2014/03発売)
  • ポイント 104pt
  • 海外取次在庫
Advances in Speech and Language Technologies for Iberian Languages : IberSPEECH 2014 Conference, Las Palmas de Gran Canaria, Spain, November 19-21, 2014, Proceedings (Lecture Notes in Artificial Intelligence) (2014)
  • 洋書

Advances in Speech and Language Technologies for Iberian Languages : IberSPEECH 2014 Conference, Las Palmas de Gran Canaria, Spain, November 19-21, 2014, Proceedings (Lecture Notes in Artificial Intelligence) (2014)  Paperback

Navarro Mesa, Juan Luis (EDT)/ Ortega, Alfonso (EDT)/ Teixeira, António (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2014/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Progress in Artificial Intelligence : 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Progress in Artificial Intelligence : 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Moura Oliveira, Paulo (EDT)/ Novais, Paulo (EDT)/ Reis, Luís Paulo (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 104pt
  • 海外取次在庫
Progress in Artificial Intelligence : 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I (Lecture Notes in Artificial Intelligence) (2019)
  • 洋書
  • 電子版あり

Progress in Artificial Intelligence : 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I (Lecture Notes in Artificial Intelligence) (2019)  Paperback,  言語:ENG

Moura Oliveira, Paulo (EDT)/ Novais, Paulo (EDT)/ Reis, Luís Paulo (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 208pt
  • 海外取次在庫
Testing Software and Systems : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Testing Software and Systems : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings (Lecture Notes in Computer Science) (2014)  Paperback

Merayo, Mercedes G. (EDT)/ Montes de Oca, Edgardo (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/09発売)
  • ポイント 104pt
  • 海外取次在庫
Internet of Things, Smart Spaces, and Next Generation Networks and Systems : 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26–28, 2020, Proceedings, Part I (Computer Communication
  • 洋書

Internet of Things, Smart Spaces, and Next Generation Networks and Systems : 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26–28, 2020, Proceedings, Part I (Computer Communication  Paperback,  言語:ENG

Galinina, Olga (EDT)/ Andreev, Sergey (EDT)/ Balandin, Sergey (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 104pt
  • 海外取次在庫
Internet of Things, Smart Spaces, and Next Generation Networks and Systems : 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26–28, 2020, Proceedings, Part II (Computer Communication
  • 洋書

Internet of Things, Smart Spaces, and Next Generation Networks and Systems : 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26–28, 2020, Proceedings, Part II (Computer Communication  Paperback,  言語:ENG

Galinina, Olga (EDT)/ Andreev, Sergey (EDT)/ Balandin, Sergey (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 104pt
  • 海外取次在庫
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発売)
  • ご注文いただけません
Advances in Chance Discovery : Extended Selection from International Workshops (Studies in Computational Intelligence) (2013)
  • 洋書

Advances in Chance Discovery : Extended Selection from International Workshops (Studies in Computational Intelligence) (2013)  Paperback

Ohsawa, Yukio (EDT)/ Abe, Akinori (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/09発売)
  • ご注文いただけません
Parallel Computing on Distributed Memory Multiprocessors (Nato ASI Subseries F: 103) (2012. viii, 332 S. VIII, 332 p. 242 mm)
  • 洋書

Parallel Computing on Distributed Memory Multiprocessors (Nato ASI Subseries F: 103) (2012. viii, 332 S. VIII, 332 p. 242 mm)  Paperback,  言語:ENG

Herausgegeben von OEzguener, Fuesun/ Ercal, Fikret

  • ウェブストア価格 ¥26,468(本体¥24,062)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2012発売)
  • ポイント 240pt
  • 海外取次在庫