Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Legunsen, Owolabi (EDT)/ Rosu, Grigore (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 208pt
  • 海外取次在庫
Service-Oriented Computing - ICSOC 2003 : First International Conference, Trento, Italy, December 15-18, 2003, Proceedings (Lecture Notes in Computer Science Vol.2910) (2003. XIV, 576 p. 23,5 cm)
  • 洋書

Service-Oriented Computing - ICSOC 2003 : First International Conference, Trento, Italy, December 15-18, 2003, Proceedings (Lecture Notes in Computer Science Vol.2910) (2003. XIV, 576 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Maria E. Orlowska, Sanjiva Weerawarana, Michael P. Papazoglou et al.

  • ウェブストア価格 ¥26,468(本体¥24,062)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 240pt
  • 海外取次在庫
Advanced Parallel Processing Technologies : 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6965) (2011. 190 S.)
  • 洋書

Advanced Parallel Processing Technologies : 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6965) (2011. 190 S.)  Paperback

Herausgegeben von Temam, Olivier/ Yew, Pen-chung/ Zang, Binyu

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Risks and Security of Internet and Systems : 19th International Conference, CRiSIS 2024, Aix-en-Provence, France, November 26-28, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Risks and Security of Internet and Systems : 19th International Conference, CRiSIS 2024, Aix-en-Provence, France, November 26-28, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Collart-Dutilleul, Simon (EDT)/ Ouchani, Samir (EDT)/ Cuppens, Nora (EDT)

  • ウェブストア価格 ¥30,699(本体¥27,909)
  • Springer International Publishing AG(2025/04発売)
  • ポイント 279pt
  • 海外からお取り寄せ(通常6~9週間)
Model and Data Engineering : 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Model and Data Engineering : 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback

Ouhammou, Yassine (EDT)/ Ivanovic, Mirjana (EDT)/ Abelló, Alberto (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings (Le
  • 洋書

Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings (Le  Paperback,  言語:ENG

Kupferman, Orna (EDT)/ Sobocinski, Pawel (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 94pt
  • 海外取次在庫
Advances in Cryptology - EUROCRYPT 2022 : 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30 - June 3, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Advances in Cryptology - EUROCRYPT 2022 : 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30 - June 3, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Dunkelman, Orr (EDT)/ Dziembowski, Stefan (EDT)

  • ウェブストア価格 ¥27,909(本体¥25,372)
  • Springer International Publishing AG(2022/05発売)
  • ポイント 253pt
  • 海外からお取り寄せ(通常6~9週間)
Advances in Cryptology - EUROCRYPT 2022 : 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30 - June 3, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Advances in Cryptology - EUROCRYPT 2022 : 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30 - June 3, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dunkelman, Orr (EDT)/ Dziembowski, Stefan (EDT)

  • ウェブストア価格 ¥36,282(本体¥32,984)
  • Springer International Publishing AG(2022/05発売)
  • ポイント 329pt
  • 海外からお取り寄せ(通常6~9週間)
Advances in Cryptology - EUROCRYPT 2022 : 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30 - June 3, 2022, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Advances in Cryptology - EUROCRYPT 2022 : 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30 - June 3, 2022, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dunkelman, Orr (EDT)/ Dziembowski, Stefan (EDT)

  • ウェブストア価格 ¥39,074(本体¥35,522)
  • Springer International Publishing AG(2022/05発売)
  • ポイント 355pt
  • 海外からお取り寄せ(通常6~9週間)
Analysis of Images, Social Networks and Texts : 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Analysis of Images, Social Networks and Texts : 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

van der Aalst, Wil M. P. (EDT)/ Batagelj, Vladimir (EDT)/ Ignatov, Dmitry I. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2021/04発売)
  • ポイント 104pt
  • 海外取次在庫
Product-Focused Software Process Improvement : 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7343) (2012. 2012. XVI, 378 S.)
  • 洋書

Product-Focused Software Process Improvement : 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7343) (2012. 2012. XVI, 378 S.)  Paperback

Herausgegeben von Dieste, Oscar/ Jedlitschka, Andreas/ Juristo, Natalia

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Recent Trends in Analysis of Images, Social Networks and Texts : 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020 Revised Supplementary Proceedings (Communications in Computer and Information Science)
  • 洋書

Recent Trends in Analysis of Images, Social Networks and Texts : 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020 Revised Supplementary Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

van der Aalst, Wil M. P. (EDT)/ Batagelj, Vladimir (EDT)/ Buzmakov, Alexey (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 104pt
  • 海外取次在庫
Advanced Information Systems Engineering : 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Advanced Information Systems Engineering : 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Salinesi, Camille (EDT)/ Norrie, Moira C. (EDT)/ Pastor, Oscar (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 104pt
  • 海外取次在庫
Industrial Engineering and Operations Management : XXVI IJCIEOM (2nd Edition), Rio de Janeiro, Brazil, February 22-24, 2021 (Springer Proceedings in Mathematics & Statistics)
  • 洋書

Industrial Engineering and Operations Management : XXVI IJCIEOM (2nd Edition), Rio de Janeiro, Brazil, February 22-24, 2021 (Springer Proceedings in Mathematics & Statistics)  Hardcover

Tavares Thomé, Antônio Márcio (EDT)/ Barbastefano, Rafael Garcia (EDT)/ Scavarda, Luiz Felipe (EDT)

  • ウェブストア価格 ¥45,841(本体¥41,674)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 416pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Industrial Engineering and Operations Management : XXVI IJCIEOM (2nd Edition), Rio de Janeiro, Brazil, February 22-24, 2021 (Springer Proceedings in Mathematics & Statistics) (2021)
  • 洋書

Industrial Engineering and Operations Management : XXVI IJCIEOM (2nd Edition), Rio de Janeiro, Brazil, February 22-24, 2021 (Springer Proceedings in Mathematics & Statistics) (2021)  Paperback,  言語:ENG

Tavares Thomé, Antônio Márcio (EDT)/ Barbastefano, Rafael Garcia (EDT)/ Scavarda, Luiz Felipe (EDT)

  • ウェブストア価格 ¥45,841(本体¥41,674)
  • Springer Nature Switzerland AG(2022/08発売)
  • ポイント 416pt
  • 海外取次在庫
Swarm Intelligence : 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Swarm Intelligence : 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Dorigo, Marco (EDT)/ Birattari, Mauro (EDT)/ Li, Xiaodong (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers (Lecture Notes in Computer Science, Volume 785) (2007. 364 S. 235 mm)
  • 洋書

Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers (Lecture Notes in Computer Science, Volume 785) (2007. 364 S. 235 mm)  Paperback

Herausgeber: Ehrig, Hartmut, Orejas, Fernando

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 120pt
  • 海外取次在庫
Rewriting Techniques and Applications, RTA 2004 : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings (Lecture Notes in Computer Science Vol.3091) (2004. X, 313 p. 23,5 cm)
  • 洋書

Rewriting Techniques and Applications, RTA 2004 : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings (Lecture Notes in Computer Science Vol.3091) (2004. X, 313 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Vincent van Oostrom

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Global Sourcing of Digital Services: Micro and Macro Perspectives : 11th Global Sourcing Workshop 2017, La Thuile, Italy, February 22-25, 2017, Revised Selected Papers (Lecture Notes in Business Information Processing)
  • 洋書
  • 電子版あり

Global Sourcing of Digital Services: Micro and Macro Perspectives : 11th Global Sourcing Workshop 2017, La Thuile, Italy, February 22-25, 2017, Revised Selected Papers (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Oshri, Ilan (EDT)/ Kotlarsky, Julia (EDT)/ Willcocks, Leslie P. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 104pt
  • 海外取次在庫
Big Social Data and Urban Computing : First Workshop, BiDU 2018, Rio de Janeiro, Brazil, August 31, 2018, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Big Social Data and Urban Computing : First Workshop, BiDU 2018, Rio de Janeiro, Brazil, August 31, 2018, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Oliveira, Jonice (EDT)/ Farias, Claudio M. (EDT)/ Pacitti, Esther (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。