Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2025)
  • 洋書
  • ポイントキャンペーン

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2025)  Paperback

Platzer, Andre (EDT)/ Rozier, Kristin Yvonne (EDT)/ Pradella, Matteo (EDT)

  • ウェブストア価格 ¥37,337(本体¥33,943)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 678pt
  • 海外取次在庫
Smart Cities/Smart Regions - Technische, wirtschaftliche und gesellschaftliche Innovationen, m. 1 Buch, m. 1 E-Book : Technische, wirtschaftliche und gesellschaftliche Innovationen. Mit E-Book (2019. xiv, 820 S. XIV, 820 S. 215 Abb. Book + eBook. 240 mm)
  • 洋書
  • ポイントキャンペーン

Smart Cities/Smart Regions - Technische, wirtschaftliche und gesellschaftliche Innovationen, m. 1 Buch, m. 1 E-Book : Technische, wirtschaftliche und gesellschaftliche Innovationen. Mit E-Book (2019. xiv, 820 S. XIV, 820 S. 215 Abb. Book + eBook. 240 mm)

Herausgegeben:Marx Gó/mez, Jorge/ Solsbach, Andreas/ Klenke, Thomas/ Wohlgemuth, Volker

  • ウェブストア価格 ¥22,240(本体¥20,219)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2019発売)
  • ポイント 404pt
  • 海外からお取り寄せ(通常6~9週間)
Hackathons, m. 1 Buch, m. 1 E-Book : Von der Idee zur erfolgreichen Umsetzung. Mit E-Book (2019. xi, 141 S. XI, 141 S. 12 Abb. Book + eBook. 210 mm)
  • 洋書
  • ポイントキャンペーン

Hackathons, m. 1 Buch, m. 1 E-Book : Von der Idee zur erfolgreichen Umsetzung. Mit E-Book (2019. xi, 141 S. XI, 141 S. 12 Abb. Book + eBook. 210 mm)

Kohne, Andreas/Wehmeier, Volker

  • ウェブストア価格 ¥10,462(本体¥9,511)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2019発売)
  • ポイント 190pt
  • 海外からお取り寄せ(通常6~9週間)
Automaten und Sprachen: Theoretische Informatik für die Praxis : Mathematik, Anwendung, Intuition (2025)
  • 洋書
  • ポイントキャンペーン

Automaten und Sprachen: Theoretische Informatik für die Praxis : Mathematik, Anwendung, Intuition (2025)  Paperback,  言語:GER

Müller, Andreas

  • Springer Vieweg(2024/11発売)
  • ご注文いただけません
Rough-Neuro-Computing : Techniques for computing with words (Artificial Intelligence) (2003. XVII, 720 p.)
  • 洋書
  • ポイントキャンペーン

Rough-Neuro-Computing : Techniques for computing with words (Artificial Intelligence) (2003. XVII, 720 p.)  Hardcover

Ed. by Sankar K. Pal, Lech Polkowski, and Andrzej Skowron

  • ウェブストア価格 ¥41,998(本体¥38,180)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 762pt
  • 海外取次在庫
Agile Processes in Software Engineering and Extreme Programming - Workshops : XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers (Lecture Notes in Business Information Processing) (2025)
  • 洋書
  • ポイントキャンペーン

Agile Processes in Software Engineering and Extreme Programming - Workshops : XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers (Lecture Notes in Business Information Processing) (2025)  Paperback

Marchesi, Lodovica (EDT)/ Goldman, Alfredo (EDT)/ Lunesu, Maria Ilaria (EDT)

  • ウェブストア価格 ¥9,791(本体¥8,901)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 178pt
  • 海外からお取り寄せ(通常6~9週間)
Logical Foundations of Cyber-Physical Systems
  • 洋書
  • ポイントキャンペーン

Logical Foundations of Cyber-Physical Systems  Paperback,  言語:ENG

Platzer, André

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 218pt
  • 海外取次在庫
VLSI-SoC: Design Trends : 28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, Salt Lake City, UT, USA, October 6-9, 2020, Revised and Extended Selected Papers (Ifip Advances in Information and Communication
  • 洋書
  • ポイントキャンペーン

VLSI-SoC: Design Trends : 28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, Salt Lake City, UT, USA, October 6-9, 2020, Revised and Extended Selected Papers (Ifip Advances in Information and Communication  Hardcover,  言語:ENG

Calimera, Andrea (EDT)/ Gaillardon, Pierre-Emmanuel (EDT)/ Korgaonkar, Kunal (EDT)

  • ウェブストア価格 ¥30,748(本体¥27,953)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 558pt
  • 海外取次在庫
VLSI-SoC: Design Trends : 28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, Salt Lake City, UT, USA, October 6-9, 2020, Revised and Extended Selected Papers (Ifip Advances in Information and Communication
  • 洋書
  • ポイントキャンペーン

VLSI-SoC: Design Trends : 28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, Salt Lake City, UT, USA, October 6-9, 2020, Revised and Extended Selected Papers (Ifip Advances in Information and Communication  Paperback

Calimera, Andrea (EDT)/ Gaillardon, Pierre-Emmanuel (EDT)/ Korgaonkar, Kunal (EDT)

  • ウェブストア価格 ¥30,748(本体¥27,953)
  • Springer Nature Switzerland AG(2022/07発売)
  • ポイント 558pt
  • 海外取次在庫
Knowledge Science, Engineering and Management : 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Knowledge Science, Engineering and Management : 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Jin, Zhi (EDT)/ Jiang, Yuncheng (EDT)/ Buchmann, Robert Andrei (EDT)

  • ウェブストア価格 ¥19,765(本体¥17,969)
  • Springer International Publishing AG(2023/08発売)
  • ポイント 358pt
  • 海外取次在庫
Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage : Third International Conference, TMM_CH 2023, Athens, Greece, March 20-23, 2023, Revised Selected Papers (Communications in Computer and Information S
  • 洋書
  • ポイントキャンペーン

Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage : Third International Conference, TMM_CH 2023, Athens, Greece, March 20-23, 2023, Revised Selected Papers (Communications in Computer and Information S  Paperback,  言語:ENG

Moropoulou, Antonia (EDT)/ Georgopoulos, Andreas (EDT)/ Ioannides, Marinos (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 398pt
  • 海外取次在庫
Systems, Software and Services Process Improvement : 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Systems, Software and Services Process Improvement : 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I (Communications in Computer and Information Science)  Paperback,  言語:ENG

Yilmaz, Murat (EDT)/ Clarke, Paul (EDT)/ Riel, Andreas (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 398pt
  • 海外取次在庫
Systems, Software and Services Process Improvement : 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Systems, Software and Services Process Improvement : 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II (Communications in Computer and Information Science)  Paperback,  言語:ENG

Yilmaz, Murat (EDT)/ Clarke, Paul (EDT)/ Riel, Andreas (EDT)

  • ウェブストア価格 ¥18,667(本体¥16,970)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 338pt
  • 海外取次在庫
Advances in Computational Intelligence : 17th International Work-Conference on Artificial Neural Networks, IWANN 2023, Ponta Delgada, Portugal, June 19-21, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Advances in Computational Intelligence : 17th International Work-Conference on Artificial Neural Networks, IWANN 2023, Ponta Delgada, Portugal, June 19-21, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Rojas, Ignacio (EDT)/ Joya, Gonzalo (EDT)/ Catala, Andreu (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 438pt
  • 海外取次在庫
Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

André, Étienne (EDT)/ Sun, Jun (EDT)

  • ウェブストア価格 ¥19,765(本体¥17,969)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 358pt
  • 海外取次在庫
Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

André, Étienne (EDT)/ Sun, Jun (EDT)

  • ウェブストア価格 ¥18,667(本体¥16,970)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 338pt
  • 海外取次在庫
Code-Based Cryptography : 11th International Workshop, CBCrypto 2023, Lyon, France, April 22-23, 2023, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Code-Based Cryptography : 11th International Workshop, CBCrypto 2023, Lyon, France, April 22-23, 2023, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Esser, Andre (EDT)/ Santini, Paolo (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 238pt
  • 海外取次在庫
Financial Cryptography and Data Security. FC 2023 International Workshops : Voting, CoDecFin, DeFi, WTSC, Bol, Brač, Croatia, May 5, 2023, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Financial Cryptography and Data Security. FC 2023 International Workshops : Voting, CoDecFin, DeFi, WTSC, Bol, Brač, Croatia, May 5, 2023, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Essex, Aleksander (EDT)/ Matsuo, Shin'ichiro (EDT)/ Kulyk, Oksana (EDT)

  • ウェブストア価格 ¥19,765(本体¥17,969)
  • Springer International Publishing AG(2023/12発売)
  • ポイント 358pt
  • 海外取次在庫
Product-Focused Software Process Improvement : 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Product-Focused Software Process Improvement : 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Kadgien, Regine (EDT)/ Jedlitschka, Andreas (EDT)/ Janes, Andrea (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer International Publishing AG(2023/12発売)
  • ポイント 438pt
  • 海外取次在庫
Product-Focused Software Process Improvement : 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Product-Focused Software Process Improvement : 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Kadgien, Regine (EDT)/ Jedlitschka, Andreas (EDT)/ Janes, Andrea (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2023/12発売)
  • ポイント 238pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。