Formal Methods - the Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Formal Methods - the Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ McIver, Annabelle (EDT)/ Oliveira, José N. (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (Programming and Software Engineering)
  • 洋書

Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (Programming and Software Engineering)  Paperback

ter Beek, Maurice H. (EDT)/ Ničković, Dejan (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 106pt
  • 海外取次在庫
Software Process Improvement and Capability Determination : 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014. Proceedings (Communications in Computer and Information Science) (2014)
  • 洋書

Software Process Improvement and Capability Determination : 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014. Proceedings (Communications in Computer and Information Science) (2014)  Paperback

Mitasiunas, Antanas (EDT)/ Rout, Terry (EDT)/ O'Connor, Rory V. (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2014/10発売)
  • ポイント 106pt
  • 海外取次在庫
Information Technology in Disaster Risk Reduction : 7th IFIP WG 5.15 International Conference, ITDRR 2022, Kristiansand, Norway, October 12-14, 2022, Revised Selected Papers (Ifip Advances in Information and Communication Technology)
  • 洋書

Information Technology in Disaster Risk Reduction : 7th IFIP WG 5.15 International Conference, ITDRR 2022, Kristiansand, Norway, October 12-14, 2022, Revised Selected Papers (Ifip Advances in Information and Communication Technology)  Hardcover

Gjøsæter, Terje (EDT)/ Radianti, Jaziar (EDT)/ Murayama, Yuko (EDT)

  • ウェブストア価格 ¥25,679(本体¥23,345)
  • Springer International Publishing AG(2023/05発売)
  • ポイント 233pt
  • 海外取次在庫
Software Process Improvement and Capability Determination : 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings (Communications in Computer and Information Science)
  • 洋書

Software Process Improvement and Capability Determination : 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings (Communications in Computer and Information Science)  Paperback

Clarke, Paul M. (EDT)/ O'Connor, Rory V. (EDT)/ Rout, Terry (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2016/05発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Introduction to Software Architecture : Innovative Design using Clean Architecture and Model-Driven Engineering (Undergraduate Topics in Computer Science) (1st ed. 2023. 2023. xiii, 257 S. XIII, 257 p. 178 illus., 136 illus. i)
  • 洋書

Introduction to Software Architecture : Innovative Design using Clean Architecture and Model-Driven Engineering (Undergraduate Topics in Computer Science) (1st ed. 2023. 2023. xiii, 257 S. XIII, 257 p. 178 illus., 136 illus. i)  Paperback

Lano, Kevin/Yassipour Tehrani, Sobhan

  • ウェブストア価格 ¥14,892(本体¥13,539)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2023発売)
  • ポイント 135pt
  • 海外取次在庫
Structural, Syntactic, and Statistical Pattern Recognition, SSPR 2004 : Joint IAPR International Workshops, SSPR 2004 and SPR 2004, Lisbon, Portugal, August 18-20, 2004 Proceedings (Lecture Notes in Computer Science Vol.3138) (2004. XXI, 1168 p. 23,5 cm)
  • 洋書

Structural, Syntactic, and Statistical Pattern Recognition, SSPR 2004 : Joint IAPR International Workshops, SSPR 2004 and SPR 2004, Lisbon, Portugal, August 18-20, 2004 Proceedings (Lecture Notes in Computer Science Vol.3138) (2004. XXI, 1168 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Ana Fred, Terry Caelli, Robert P.W. Duin et al.

  • ウェブストア価格 ¥40,620(本体¥36,928)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 369pt
  • 海外取次在庫
Advances in Information and Computer Security : 6th International Workshop on Security, IWSEC 2011, Tokyo, Japan, November 8-10, 2011. Proceedings (Lecture Notes in Computer Science / Security and Cryptology .7038) (2011. XII, 231 S.)
  • 洋書

Advances in Information and Computer Security : 6th International Workshop on Security, IWSEC 2011, Tokyo, Japan, November 8-10, 2011. Proceedings (Lecture Notes in Computer Science / Security and Cryptology .7038) (2011. XII, 231 S.)  Paperback,  言語:ENG

Herausgegeben von Iwata, Tetsu/ Nishigaki, Masakatsu

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 123pt
  • 海外取次在庫
Analytical and Stochastic Modelling Techniques and Applications : 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings (Programming and Software Engineering) (2014)
  • 洋書

Analytical and Stochastic Modelling Techniques and Applications : 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings (Programming and Software Engineering) (2014)  Paperback,  言語:ENG

Sericola, Bruno (EDT)/ Miklós, Telek (EDT)/ Horváth, Gábor (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 106pt
  • 海外取次在庫
E-Voting and Identity : 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings (Security and Cryptology) (2013)
  • 洋書

E-Voting and Identity : 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings (Security and Cryptology) (2013)  Paperback,  言語:ENG

Heather, James (EDT)/ Schneider, Steve (EDT)/ Teague, Vanessa (EDT)

  • ウェブストア価格 ¥10,698(本体¥9,726)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 97pt
  • 海外取次在庫
Grade Models and Methods for Data Analysis : With Applications for the Analysis of Data Populations (Studies in Fuzziness and Soft Computing 151) (2012. x, 477 S. X, 477 p. 235 mm)
  • 洋書

Grade Models and Methods for Data Analysis : With Applications for the Analysis of Data Populations (Studies in Fuzziness and Soft Computing 151) (2012. x, 477 S. X, 477 p. 235 mm)  Paperback

Herausgegeben:Kowalczyk, Teresa/ Pleszczynska, Elzbieta/ Ruland, Frederick

  • ウェブストア価格 ¥54,162(本体¥49,239)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2012発売)
  • ポイント 492pt
  • 海外取次在庫
Algorithms in Bioinformatics : 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics .6833) (2011. 370 S.)
  • 洋書

Algorithms in Bioinformatics : 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics .6833) (2011. 370 S.)  Paperback,  言語:ENG

Herausgegeben von Przytycka, Teresa/ Sagot, Marie-France

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 123pt
  • 海外取次在庫
Designing Data Spaces : The Ecosystem Approach to Competitive Advantage
  • 洋書

Designing Data Spaces : The Ecosystem Approach to Competitive Advantage  Hardcover,  言語:ENG

Otto, Boris (EDT)/ ten Hompel, Michael (EDT)/ Wrobel, Stefan (EDT)

  • ウェブストア価格 ¥12,838(本体¥11,671)
  • Springer Nature Switzerland AG(2022/07発売)
  • ポイント 116pt
  • 海外取次在庫
Advances in Production Management Systems. Initiatives for a Sustainable World : IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised Selected Papers (Ifip Advances in Information and Communication Tech
  • 洋書
  • 電子版あり

Advances in Production Management Systems. Initiatives for a Sustainable World : IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised Selected Papers (Ifip Advances in Information and Communication Tech  Hardcover

Nääs, Irenilza (EDT)/ Vendrametto, Oduvaldo (EDT)/ Mendes Reis, João (EDT)

  • ウェブストア価格 ¥35,346(本体¥32,133)
  • Springer International Publishing AG(2017/05発売)
  • ポイント 321pt
  • 海外からお取り寄せ(通常6~9週間)
Artificial Intelligence over Infrared Images for Medical Applications and Medical Image Assisted Biomarker Discovery : First MICCAI Workshop, AIIIMA 2022, and First MICCAI Workshop, MIABID 2022, Held in Conjunction with MICCAI 2022, Singapore, Septem
  • 洋書

Artificial Intelligence over Infrared Images for Medical Applications and Medical Image Assisted Biomarker Discovery : First MICCAI Workshop, AIIIMA 2022, and First MICCAI Workshop, MIABID 2022, Held in Conjunction with MICCAI 2022, Singapore, Septem  Paperback

Kakileti, Siva Teja (EDT)/ Gabrani, Maria (EDT)/ Manjunath, Geetha (EDT)

  • ウェブストア価格 ¥12,838(本体¥11,671)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 116pt
  • 海外取次在庫
Artificial Intelligence over Infrared Images for Medical Applications : Third International Conference, AIIIMA 2024, Virtual Event, November 9, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Artificial Intelligence over Infrared Images for Medical Applications : Third International Conference, AIIIMA 2024, Virtual Event, November 9, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Kakileti, Siva Teja (EDT)/ Manjunath, Geetha (EDT)/ Schwartz, Robert G. (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 106pt
  • 海外取次在庫
Artificial Intelligence over Infrared Images for Medical Applications (AIIIMA 2023) : Second International Workshop Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 2, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Artificial Intelligence over Infrared Images for Medical Applications (AIIIMA 2023) : Second International Workshop Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 2, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Kakileti, Siva Teja (EDT)/ Manjunath, Geetha (EDT)/ Schwartz, Robert G. (EDT)

  • ウェブストア価格 ¥24,469(本体¥22,245)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 222pt
  • 海外からお取り寄せ(通常6~9週間)
End-User Development : 8th International Symposium, IS-EUD 2021, Virtual Event, July 6-8, 2021, Proceedings (Programming and Software Engineering)
  • 洋書

End-User Development : 8th International Symposium, IS-EUD 2021, Virtual Event, July 6-8, 2021, Proceedings (Programming and Software Engineering)  Paperback

Fogli, Daniela (EDT)/ Tetteroo, Daniel (EDT)/ Barricelli, Barbara Rita (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2021/06発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Information Search, Integration and Personalization : International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised Selected Papers (Communications in Computer and Information Science) (2013)
  • 洋書

Information Search, Integration and Personalization : International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised Selected Papers (Communications in Computer and Information Science) (2013)  Paperback,  言語:ENG

Tanaka, Yuzuru (EDT)/ Spyratos, Nicolas (EDT)/ Yoshida, Tetsuya (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 106pt
  • 海外取次在庫
Advances in Human Factors in Training, Education, and Learning Sciences : Proceedings of the AHFE 2017 International Conference on Human Factors in Training, Education, and Learning Sciences, July 17-21, 2017, the Westin Bonaventure Hotel, Los Angele
  • 洋書
  • 電子版あり

Advances in Human Factors in Training, Education, and Learning Sciences : Proceedings of the AHFE 2017 International Conference on Human Factors in Training, Education, and Learning Sciences, July 17-21, 2017, the Westin Bonaventure Hotel, Los Angele  Paperback,  言語:ENG

Andre, Terence (EDT)

  • ウェブストア価格 ¥36,380(本体¥33,073)
  • Springer International Publishing AG(2017/06発売)
  • ポイント 330pt
  • 海外取次在庫