Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised
  • 洋書

Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised  Paperback,  言語:ENG

Lamprecht, Anna-Lena (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/12発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback

Bonfanti, Silvia (EDT)/ Gargantini, Angelo (EDT)/ Leuschel, Michael (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 161pt
  • 海外取次在庫
Digital Libraries: Supporting Open Science : 15th Italian Research Conference on Digital Libraries, IRCDL 2019, Pisa, Italy, January 31 - February 1, 2019, Proceedings (Communications in Computer and Information Science) (2019)
  • 洋書
  • 電子版あり

Digital Libraries: Supporting Open Science : 15th Italian Research Conference on Digital Libraries, IRCDL 2019, Pisa, Italy, January 31 - February 1, 2019, Proceedings (Communications in Computer and Information Science) (2019)  Paperback,  言語:ENG

Manghi, Paolo (EDT)/ Candela, Leonardo (EDT)/ Silvello, Gianmaria (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 189pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering Vol.6100) (2010. XV, 385 p. 23,5 cm)
  • 洋書

Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering Vol.6100) (2010. XV, 385 p. 23,5 cm)  Paperback

Ed. by Holger Giese, Gabor Karsai, Edward A. Lee et al.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
Software Architecture : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Software Architecture : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings (Programming and Software Engineering)  Paperback

Lopes, Antonia (EDT)/ Lemos, Rogerio de (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Chechik, Marsha (EDT)/ Katoen, Joost-Pieter (EDT)/ Leucker, Martin (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 208pt
  • 海外取次在庫
Image and Signal Processing : 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings (Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Grap Vo) (2012. XIX, 609 p. 235 mm)
  • 洋書

Image and Signal Processing : 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings (Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Grap Vo) (2012. XIX, 609 p. 235 mm)  Paperback

Ed. by Abderrahim Elmoataz, Driss Mammass, Olivier Lezoray et al.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Milius, Birgit (EDT)/ Collart-Dutilleul, Simon (EDT)/ Lecomte, Thierry (EDT)

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 132pt
  • 海外取次在庫
Artificial Evolution : 15th International Conference, Évolution Artificielle, EA 2022, Exeter, UK, October 31 - November 2, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Artificial Evolution : 15th International Conference, Évolution Artificielle, EA 2022, Exeter, UK, October 31 - November 2, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Legrand, Pierrick (EDT)/ Liefooghe, Arnaud (EDT)/ Keedwell, Edward (EDT)

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 132pt
  • 海外取次在庫
Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings (Programming and Software Engineering) (2019)
  • 洋書
  • 電子版あり

Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings (Programming and Software Engineering) (2019)  Paperback,  言語:ENG

Finkbeiner, Bernd (EDT)/ Mariani, Leonardo (EDT)

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 132pt
  • 海外取次在庫
Genetic Programming Theory and Practice XVII (Genetic and Evolutionary Computation)
  • 洋書
  • 電子版あり

Genetic Programming Theory and Practice XVII (Genetic and Evolutionary Computation)  Hardcover,  言語:ENG

Banzhaf, Wolfgang (EDT)/ Goodman, Erik (EDT)/ Sheneman, Leigh (EDT)

  • ウェブストア価格 ¥37,506(本体¥34,097)
  • Springer Nature Switzerland AG(2020/05発売)
  • ポイント 340pt
  • 海外取次在庫
Social Modeling Using the i* Framework : Essays in Honour of Eric Yu (2025)
  • 洋書

Social Modeling Using the i* Framework : Essays in Honour of Eric Yu (2025)  Hardcover

Franch, Xavier (EDT)/ Sampaio do Prado Leite, Julio Cesar (EDT)/ Mussbacher, Gunter (EDT)

  • ウェブストア価格 ¥41,674(本体¥37,886)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 378pt
  • 海外取次在庫
Database Systems for Advanced Applications : 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Database Systems for Advanced Applications : 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Candan, Selçuk (EDT)/ Chen, Lei (EDT)/ Pedersen, Torben Bach (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Database Systems for Advanced Applications : 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Database Systems for Advanced Applications : 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Candan, Selçuk (EDT)/ Chen, Lei (EDT)/ Pedersen, Torben Bach (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Financial Cryptography and Data Security. FC 2021 International Workshops : CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Financial Cryptography and Data Security. FC 2021 International Workshops : CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bernhard, Matthew (EDT)/ Bracciali, Andrea (EDT)/ Gudgeon, Lewis (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2021/09発売)
  • ポイント 246pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Uncertainty for Safe Utilization of Machine Learning in Medical Imaging : 5th International Workshop, UNSURE 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Uncertainty for Safe Utilization of Machine Learning in Medical Imaging : 5th International Workshop, UNSURE 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Sudre, Carole H. (EDT)/ Baumgartner, Christian F. (EDT)/ Dalca, Adrian (EDT)

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 132pt
  • 海外取次在庫
Recommender Systems for Sustainability and Social Good : First International Workshop, RecSoGood 2024, Bari, Italy, October 18, 2024, Proceedings (Communications in Computer and Information Science)
  • 洋書

Recommender Systems for Sustainability and Social Good : First International Workshop, RecSoGood 2024, Bari, Italy, October 18, 2024, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Boratto, Ludovico (EDT)/ De Filippo, Allegra (EDT)/ Lex, Elisabeth (EDT)

  • ウェブストア価格 ¥18,418(本体¥16,744)
  • Springer International Publishing AG(2025/04発売)
  • ポイント 167pt
  • 海外からお取り寄せ(通常6~9週間)
Evaluation of Novel Approaches to Software Engineering : 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Evaluation of Novel Approaches to Software Engineering : 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Ali, Raian (EDT)/ Kaindl, Hermann (EDT)/ Maciaszek, Leszek A. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2021/02発売)
  • ポイント 104pt
  • 海外取次在庫
Evaluation of Novel Approaches to Software Engineering : 16th International Conference, ENASE 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Evaluation of Novel Approaches to Software Engineering : 16th International Conference, ENASE 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Ali, Raian (EDT)/ Kaindl, Hermann (EDT)/ Maciaszek, Leszek A. (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer Nature Switzerland AG(2022/02発売)
  • ポイント 170pt
  • 海外取次在庫
Algorithms and Computation : 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7676) (2012. 2012. XVIII, 702 S. 117 SW-Abb.)
  • 洋書