The Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

The Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback

Ahrendt, Wolfgang (EDT)/ Beckert, Bernhard (EDT)/ Bubel, Richard (EDT)

  • ウェブストア価格 ¥23,694(本体¥21,540)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 430pt
  • 海外取次在庫
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)
  • 洋書
  • ポイントキャンペーン

Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)  Paperback

Ahrendt, Wolfgang (EDT)/ Beckert, Bernhard (EDT)/ Bubel, Richard (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Engineering Multi-Agent Systems : 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Engineering Multi-Agent Systems : 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Weyns, Danny (EDT)/ Mascardi, Viviana (EDT)/ Ricci, Alessandro (EDT)

  • ウェブストア価格 ¥16,154(本体¥14,686)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 292pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Transactions on Computational Collective Intelligence XXX (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Transactions on Computational Collective Intelligence XXX (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Thanh Nguyen, Ngoc (EDT)/ Kowalczyk, Richard (EDT)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer International Publishing AG(2018/10発売)
  • ポイント 222pt
  • 海外からお取り寄せ(通常6~9週間)
Engineering Education 4.0 : Excellent Teaching and Learning in Engineering Sciences
  • 洋書
  • ポイントキャンペーン

Engineering Education 4.0 : Excellent Teaching and Learning in Engineering Sciences  Paperback

Frerich, Sulamith (EDT)/ Meisen, Tobias (EDT)/ Richert, Anja (EDT)

  • ウェブストア価格 ¥38,773(本体¥35,249)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 704pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
VLSI-SoC: Technology Advancement on SoC Design : 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4-8, 2021, Revised and Extended Selected Papers (Ifip Advances in Information and Comm (2022)
  • 洋書
  • ポイントキャンペーン

VLSI-SoC: Technology Advancement on SoC Design : 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4-8, 2021, Revised and Extended Selected Papers (Ifip Advances in Information and Comm (2022)  Hardcover,  言語:ENG

Grimblatt, Victor (EDT)/ Chang, Chip Hong (EDT)/ Reis, Ricardo (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 214pt
  • 海外取次在庫
VLSI-SoC: Technology Advancement on SoC Design : 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4-8, 2021, Revised and Extended Selected Papers (Ifip Advances in Information and Comm
  • 洋書
  • ポイントキャンペーン

VLSI-SoC: Technology Advancement on SoC Design : 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4-8, 2021, Revised and Extended Selected Papers (Ifip Advances in Information and Comm  Paperback

Grimblatt, Victor (EDT)/ Chang, Chip Hong (EDT)/ Reis, Ricardo (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 214pt
  • 海外取次在庫
Numerical Analysis of Multiscale Computations : Proceedings of a Winter Workshop at the Banff International Research Station 2009 (Lecture Notes in Computational Science and Engineering Vol.82) (2011. 300 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Numerical Analysis of Multiscale Computations : Proceedings of a Winter Workshop at the Banff International Research Station 2009 (Lecture Notes in Computational Science and Engineering Vol.82) (2011. 300 S. 235 mm)  Hardcover

Herausgegeben von Engquist, Bjoern/ Runborg, Olof/ Tsai, Yen-Hsi Richard

  • SPRINGER, BERLIN(2011発売)
  • ご注文いただけません
Communications Technologies for Vehicles : 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications .7266) (2012. 2012. XII, 188 S.)
  • 洋書
  • ポイントキャンペーン

Communications Technologies for Vehicles : 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications .7266) (2012. 2012. XII, 188 S.)  Paperback

Herausgegeben von Vinel, Alexey/ Mehmood, Rashid/ Berbineau, Marion/ Rico Garcia, Cristina/ Huang, Chung-Ming

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 248pt
  • 海外取次在庫
VLSI-SoC: Forward-Looking Trends in IC and Systems Design : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers (Ifip Advances in Information an
  • 洋書
  • ポイントキャンペーン

VLSI-SoC: Forward-Looking Trends in IC and Systems Design : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers (Ifip Advances in Information an  Paperback,  言語:ENG

Ayala, Jose L. (EDT)/ Atienza Alonso, David (EDT)/ Reis, Ricardo (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/04発売)
  • ご注文いただけません
Systems, Software and Services Process Improvement : 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings (Communications in Computer and Information Science .301) (2012. 2012. 364 S.)
  • 洋書
  • ポイントキャンペーン

Systems, Software and Services Process Improvement : 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings (Communications in Computer and Information Science .301) (2012. 2012. 364 S.)  Paperback

Herausgegeben von Winkler, Dietmar/ O Connor, Rory V./ Messnarz, Richard

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 248pt
  • 海外取次在庫
Advanced Concepts, Methodologies and Technologies for Transportation and Logistics (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advanced Concepts, Methodologies and Technologies for Transportation and Logistics (Advances in Intelligent Systems and Computing)  Paperback,  言語:ENG

Żak, Jacek (EDT)/ Hadas, Yuval (EDT)/ Rossi, Riccardo (EDT)

  • ウェブストア価格 ¥36,619(本体¥33,290)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 664pt
  • 海外取次在庫
VLSI-SoC: Forward-Looking Trends in IC and System Design (IFIP Advances in Information and Communication Technology .373) (2012. 2012. X, 355 S.)
  • 洋書
  • ポイントキャンペーン

VLSI-SoC: Forward-Looking Trends in IC and System Design (IFIP Advances in Information and Communication Technology .373) (2012. 2012. X, 355 S.)  Hardcover,  言語:ENG

Herausgegeben von Ayala, Jose L./ Atienza Alonso, David/ Reis, Ricardo

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 248pt
  • 海外取次在庫
Local Solutions for Global Challenges : 20th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2025, Montego Bay, Jamaica, June 2-4, 2025, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Local Solutions for Global Challenges : 20th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2025, Montego Bay, Jamaica, June 2-4, 2025, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Chatterjee, Samir (EDT)/ vom Brocke, Jan (EDT)/ Anderson, Ricardo (EDT)

  • ウェブストア価格 ¥14,952(本体¥13,593)
  • Springer International Publishing AG(2025/06発売)
  • ポイント 270pt
  • 海外からお取り寄せ(通常6~9週間)
Local Solutions for Global Challenges : 20th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2025, Montego Bay, Jamaica, June 2-4, 2025, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Local Solutions for Global Challenges : 20th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2025, Montego Bay, Jamaica, June 2-4, 2025, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Chatterjee, Samir (EDT)/ vom Brocke, Jan (EDT)/ Anderson, Ricardo (EDT)

  • ウェブストア価格 ¥17,671(本体¥16,065)
  • Springer International Publishing AG(2025/06発売)
  • ポイント 320pt
  • 海外からお取り寄せ(通常6~9週間)
Computer Security. ESORICS 2024 International Workshops : DPM, CBT, and CyberICPS, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Computer Security. ESORICS 2024 International Workshops : DPM, CBT, and CyberICPS, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Garcia-Alfaro, Joaquin (EDT)/ Barker, Ken (EDT)/ Navarro-Arribas, Guillermo (EDT)

  • ウェブストア価格 ¥19,031(本体¥17,301)
  • Springer International Publishing AG(2025/04発売)
  • ポイント 346pt
  • 海外からお取り寄せ(通常6~9週間)
Genetic Programming : 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Genetic Programming : 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback

Sekanina, Lukas (EDT)/ Hu, Ting (EDT)/ Lourenço, Nuno (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2019/03発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computational Collective Intelligence : 14th International Conference, ICCCI 2022, Hammamet, Tunisia, September 28-30, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computational Collective Intelligence : 14th International Conference, ICCCI 2022, Hammamet, Tunisia, September 28-30, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Nguyen, Ngoc Thanh (EDT)/ Manolopoulos, Yannis (EDT)/ Chbeir, Richard (EDT)

  • ウェブストア価格 ¥23,694(本体¥21,540)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 430pt
  • 海外取次在庫
Inductive Logic Programming : 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Inductive Logic Programming : 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Bellodi, Elena (EDT)/ Lisi, Francesca Alessandra (EDT)/ Zese, Riccardo (EDT)

  • ウェブストア価格 ¥10,769(本体¥9,790)
  • Springer International Publishing AG(2023/12発売)
  • ポイント 194pt
  • 海外取次在庫
Logic, Language, and Computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Logic, Language, and Computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Bezhanishvili, Guram (EDT)/ Löbner, Sebastian (EDT)/ Marra, Vincenzo (EDT)

  • ウェブストア価格 ¥10,769(本体¥9,790)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/02発売)
  • ポイント 194pt
  • 海外取次在庫