Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) (2012. 2012. 272 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) (2012. 2012. 272 S. 235 mm)  Paperback

Herausgegeben von Haehnle, Reiner/ Knoop, Jens/ Margaria, Tiziana/ Schreiner, Dietmar/ Steffen, Bernhard

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Internet of Things - ICIOT 2020 : 5th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Internet of Things - ICIOT 2020 : 5th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Song, Wei (EDT)/ Lee, Kisung (EDT)/ Yan, Zhisheng (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 218pt
  • 海外取次在庫
Emerging Technologies for Developing Countries : 7th International Conference, AFRICATEK 2024, Ilorin, Nigeria, August 6-8, 2024, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Emerging Technologies for Developing Countries : 7th International Conference, AFRICATEK 2024, Ilorin, Nigeria, August 6-8, 2024, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering  Paperback

Awotunde, Joseph Bamidele (EDT)/ Imoize, Agbotiname Lucky (EDT)/ Lee, Cheng-Chi (EDT)

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 318pt
  • 海外取次在庫
Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Iyoda, Juliano (EDT)/ de Moura, Leonardo (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 198pt
  • 海外取次在庫
Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedin
  • 洋書
  • ポイントキャンペーン

Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedin  Paperback,  言語:ENG

Guerra, Esther (EDT)/ Stoelinga, Mariëlle (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 198pt
  • 海外取次在庫
Software Quality: Methods and Tools for Better Software and Systems : 10th International Conference, SWQD 2018, Vienna, Austria, January 16-19, 2018, Proceedings (Lecture Notes in Business Information Processing)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Software Quality: Methods and Tools for Better Software and Systems : 10th International Conference, SWQD 2018, Vienna, Austria, January 16-19, 2018, Proceedings (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Winkler, Dietmar (EDT)/ Biffl, Stefan (EDT)/ Bergsmann, Johannes (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances of Science and Technology : 6th EAI International Conference, ICAST 2018, Bahir Dar, Ethiopia, October 5-7, 2018, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances of Science and Technology : 6th EAI International Conference, ICAST 2018, Bahir Dar, Ethiopia, October 5-7, 2018, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)  Paperback,  言語:ENG

Zimale, Fasikaw Atanaw (EDT)/ Enku Nigussie, Temesgen (EDT)/ Fanta, Solomon Workneh (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/03発売)
  • ポイント 218pt
  • 海外取次在庫
Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud : 11th International Conference, SWQD 2019, Vienna, Austria, January 15-18, 2019, Proceedings (Lecture Notes in Business Information Processing) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud : 11th International Conference, SWQD 2019, Vienna, Austria, January 15-18, 2019, Proceedings (Lecture Notes in Business Information Processing) (2019)  Paperback,  言語:ENG

Winkler, Dietmar (EDT)/ Biffl, Stefan (EDT)/ Bergsmann, Johannes (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2018/12発売)
  • ポイント 218pt
  • 海外取次在庫
Software Quality: Quality Intelligence in Software and Systems Engineering : 12th International Conference, SWQD 2020, Vienna, Austria, January 14-17, 2020, Proceedings (Lecture Notes in Business Information Processing) (2020)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Software Quality: Quality Intelligence in Software and Systems Engineering : 12th International Conference, SWQD 2020, Vienna, Austria, January 14-17, 2020, Proceedings (Lecture Notes in Business Information Processing) (2020)  Paperback,  言語:ENG

Winkler, Dietmar (EDT)/ Biffl, Stefan (EDT)/ Mendez, Daniel (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Cryptology - CRYPTO 2020 : 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part I (Security and Cryptology)
  • 洋書
  • ポイントキャンペーン

Advances in Cryptology - CRYPTO 2020 : 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part I (Security and Cryptology)  Paperback,  言語:ENG

Micciancio, Daniele (EDT)/ Ristenpart, Thomas (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 438pt
  • 海外取次在庫
Advances in Cryptology - CRYPTO 2020 : 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Advances in Cryptology - CRYPTO 2020 : 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Micciancio, Daniele (EDT)/ Ristenpart, Thomas (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 438pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Cryptology - CRYPTO 2020 : 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part II (Security and Cryptology)
  • 洋書
  • ポイントキャンペーン

Advances in Cryptology - CRYPTO 2020 : 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part II (Security and Cryptology)  Paperback,  言語:ENG

Micciancio, Daniele (EDT)/ Ristenpart, Thomas (EDT)

  • ウェブストア価格 ¥26,354(本体¥23,959)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 478pt
  • 海外取次在庫
Fundamentals of Computation Theory : 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Fundamentals of Computation Theory : 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Gąsieniec, Leszek Antoni (EDT)/ Jansson, Jesper (EDT)/ Levcopoulos, Christos (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
HCI International 2022 - Late Breaking Papers. Interaction in New Media, Learning and Games : 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26-July 1, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

HCI International 2022 - Late Breaking Papers. Interaction in New Media, Learning and Games : 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26-July 1, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Meiselwitz, Gabriele (EDT)/ Moallem, Abbas (EDT)/ Zaphiris, Panayiotis (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 398pt
  • 海外取次在庫
Intelligent Tutoring Systems, ITS 2004 : 7th International Conference, ITS 2004, Maceio, Alagoas, Brazil, August 30 - September 3, 2004, Proceedings (Lecture Notes in Computer Science Vol.3220) (2004. XXI, 920 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Intelligent Tutoring Systems, ITS 2004 : 7th International Conference, ITS 2004, Maceio, Alagoas, Brazil, August 30 - September 3, 2004, Proceedings (Lecture Notes in Computer Science Vol.3220) (2004. XXI, 920 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by James C. Lester, Rosa M. Vicari a. Fabio Paraguacu

  • SPRINGER, BERLIN(2004発売)
  • ご注文いただけません
Bioinformatics Research and Applications : 8th International Symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012. Proceedings (Lecture Notes in Computer Science Vol.7292) (2012. 348 p.)
  • 洋書
  • ポイントキャンペーン

Bioinformatics Research and Applications : 8th International Symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012. Proceedings (Lecture Notes in Computer Science Vol.7292) (2012. 348 p.)  Paperback

Herausgegeben von Bleris, Leonidas/ Mandoiu, Ion/ Schwartz, Russell/ Wang, Jianxin

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 254pt
  • 海外取次在庫
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Davis, Martin (EDT)/ Fehnker, Ansgar (EDT)/ McIver, Annabelle (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/12発売)
  • ご注文いただけません
Chaos, Complexity and Leadership 2016 (Springer Proceedings in Complexity)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Chaos, Complexity and Leadership 2016 (Springer Proceedings in Complexity)  Hardcover

Erçetin, Şefika Şule (EDT)

  • ウェブストア価格 ¥37,337(本体¥33,943)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 678pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Applied Cryptography and Network Security : 19th International Conference, ACNS 2021, Kamakura, Japan, June 21-24, 2021, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Applied Cryptography and Network Security : 19th International Conference, ACNS 2021, Kamakura, Japan, June 21-24, 2021, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Sako, Kazue (EDT)/ Tippenhauer, Nils Ole (EDT)

  • ウェブストア価格 ¥19,765(本体¥17,969)
  • Springer Nature Switzerland AG(2021/06発売)
  • ポイント 358pt
  • 海外取次在庫
Applied Cryptography and Network Security : 19th International Conference, ACNS 2021, Kamakura, Japan, June 21-24, 2021, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Applied Cryptography and Network Security : 19th International Conference, ACNS 2021, Kamakura, Japan, June 21-24, 2021, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Sako, Kazue (EDT)/ Tippenhauer, Nils Ole (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2021/06発売)
  • ポイント 218pt
  • 海外取次在庫