Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding  Paperback,  言語:ENG

Sankaranarayanan, Sriram (EDT)/ Sharygina, Natasha (EDT)

  • ウェブストア価格 ¥10,698(本体¥9,726)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 97pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding  Paperback,  言語:ENG

Sankaranarayanan, Sriram (EDT)/ Sharygina, Natasha (EDT)

  • ウェブストア価格 ¥10,698(本体¥9,726)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 97pt
  • 海外取次在庫
Tools for Design, Implementation and Verification of Emerging Information Technologies : 17th EAI International Conference, TridentCom 2022, Melbourne, Australia, November 23-25, 2022, Proceedings (Lecture Notes of the Institute for Computer Sciences
  • 洋書

Tools for Design, Implementation and Verification of Emerging Information Technologies : 17th EAI International Conference, TridentCom 2022, Melbourne, Australia, November 23-25, 2022, Proceedings (Lecture Notes of the Institute for Computer Sciences  Paperback,  言語:ENG

Yu, Shui (EDT)/ Gu, Bruce (EDT)/ Qu, Youyang (EDT)

  • ウェブストア価格 ¥13,908(本体¥12,644)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 126pt
  • 海外取次在庫
Proceedings of the 9th International Ergonomics Conference : ERGONOMICS 2022 (Lecture Notes in Networks and Systems) (2023)
  • 洋書

Proceedings of the 9th International Ergonomics Conference : ERGONOMICS 2022 (Lecture Notes in Networks and Systems) (2023)  Hardcover,  言語:ENG

Salopek Čubrić, Ivana (EDT)/ Čubrić, Goran (EDT)/ Jambrošić, Kristian (EDT)

  • ウェブストア価格 ¥38,065(本体¥34,605)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 346pt
  • 海外からお取り寄せ(通常6~9週間)
Learning and Collaboration Technologies : 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Learning and Collaboration Technologies : 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Zaphiris, Panayiotis (EDT)/ Ioannou, Andri (EDT)

  • ウェブストア価格 ¥21,399(本体¥19,454)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 194pt
  • 海外取次在庫
Sensor Systems and Software : 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)
  • 洋書

Sensor Systems and Software : 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)  Paperback,  言語:ENG

Karimi , Hamid Reza (EDT)/ Wang, Ning (EDT)

  • ウェブストア価格 ¥17,118(本体¥15,562)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 155pt
  • 海外取次在庫
Critical Information Infrastructures Security : 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Critical Information Infrastructures Security : 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Hämmerli, Bernhard (EDT)/ Helmbrecht, Udo (EDT)/ Hommel, Wolfgang (EDT)

  • ウェブストア価格 ¥12,838(本体¥11,671)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 116pt
  • 海外取次在庫
Emerging Technologies for Developing Countries : 5th EAI International Conference, AFRICATEK 2022, Bloemfontein, South Africa, December 5-7, 2022, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunica
  • 洋書

Emerging Technologies for Developing Countries : 5th EAI International Conference, AFRICATEK 2022, Bloemfontein, South Africa, December 5-7, 2022, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunica  Paperback,  言語:ENG

Masinde, Muthoni (EDT)/ Bagula, Antoine (EDT)

  • ウェブストア価格 ¥17,118(本体¥15,562)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 155pt
  • 海外取次在庫
Computational Science - ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書

Computational Science - ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Mikyška, Jiří (EDT)/ de Mulatier, Clélia (EDT)/ Paszynski, Maciej (EDT)

  • ウェブストア価格 ¥21,399(本体¥19,454)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 194pt
  • 海外取次在庫
Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Computational Science and Its Applications - ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Gervasi, Osvaldo (EDT)/ Murgante, Beniamino (EDT)/ Rocha, Ana Maria A. C. (EDT)

  • ウェブストア価格 ¥21,399(本体¥19,454)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 194pt
  • 海外取次在庫
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥10,698(本体¥9,726)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 97pt
  • 海外取次在庫
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥10,698(本体¥9,726)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 97pt
  • 海外取次在庫
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Prevosto, Virgile (EDT)/ Seceleanu, Cristina (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 106pt
  • 海外取次在庫
Deep Learning Theory and Applications : 4th International Conference, DeLTA 2023, Rome, Italy, July 13-14, 2023, Proceedings (Communications in Computer and Information Science)
  • 洋書

Deep Learning Theory and Applications : 4th International Conference, DeLTA 2023, Rome, Italy, July 13-14, 2023, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Conte, Donatello (EDT)/ Fred, Ana (EDT)/ Gusikhin, Oleg (EDT)

  • ウェブストア価格 ¥19,258(本体¥17,508)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 175pt
  • 海外取次在庫
3D Research Challenges in Cultural Heritage III : Complexity and Quality in Digitisation (Lecture Notes in Computer Science)
  • 洋書

3D Research Challenges in Cultural Heritage III : Complexity and Quality in Digitisation (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ioannides, Marinos (EDT)/ Patias, Petros (EDT)

  • ウェブストア価格 ¥10,698(本体¥9,726)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 97pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥10,698(本体¥9,726)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 97pt
  • 海外取次在庫
Composing Model-Based Analysis Tools (2021)
  • 洋書

Composing Model-Based Analysis Tools (2021)  Paperback,  言語:ENG

Heinrich, Robert (EDT)/ Durán, Francisco (EDT)/ Talcott, Carolyn (EDT)

  • ウェブストア価格 ¥23,327(本体¥21,207)
  • Springer Nature Switzerland AG(2022/12発売)
  • ポイント 212pt
  • 海外取次在庫
Optimization and Decision Science : ODS, Virtual Conference, November 19, 2020 (Airo Springer Series) (2021)
  • 洋書

Optimization and Decision Science : ODS, Virtual Conference, November 19, 2020 (Airo Springer Series) (2021)  Paperback,  言語:ENG

Cerulli, Raffaele (EDT)/ Dell'Amico, Mauro (EDT)/ Guerriero, Francesca (EDT)

  • ウェブストア価格 ¥32,627(本体¥29,661)
  • Springer Nature Switzerland AG(2023/01発売)
  • ポイント 296pt
  • 海外からお取り寄せ(通常6~9週間)
Computational Intelligence in Data Science : 4th IFIP TC 12 International Conference, ICCIDS 2021, Chennai, India, March 18-20, 2021, Revised Selected Papers (Ifip Advances in Information and Communication Technology) (2021)
  • 洋書

Computational Intelligence in Data Science : 4th IFIP TC 12 International Conference, ICCIDS 2021, Chennai, India, March 18-20, 2021, Revised Selected Papers (Ifip Advances in Information and Communication Technology) (2021)  Paperback,  言語:ENG

Krishnamurthy, Vallidevi (EDT)/ Jaganathan, Suresh (EDT)/ Rajaram, Kanchana (EDT)

  • ウェブストア価格 ¥21,399(本体¥19,454)
  • Springer Nature Switzerland AG(2022/12発売)
  • ポイント 194pt
  • 海外取次在庫
Critical Infrastructure Protection XV : 15th IFIP WG 11.10 International Conference, ICCIP 2021, Virtual Event, March 15-16, 2021, Revised Selected Papers (Ifip Advances in Information and Communication Technology) (2022)
  • 洋書

Critical Infrastructure Protection XV : 15th IFIP WG 11.10 International Conference, ICCIP 2021, Virtual Event, March 15-16, 2021, Revised Selected Papers (Ifip Advances in Information and Communication Technology) (2022)  Paperback,  言語:ENG

Staggs, Jason (EDT)/ Shenoi, Sujeet (EDT)

  • ウェブストア価格 ¥21,399(本体¥19,454)
  • Springer Nature Switzerland AG(2023/01発売)
  • ポイント 194pt
  • 海外取次在庫