Principles and Practice of Constraint Programming - CP 2003 : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings (Lecture Notes in Computer Science .2833) (2003. XIX, 1005 S. 235 mm)
  • 洋書

Principles and Practice of Constraint Programming - CP 2003 : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings (Lecture Notes in Computer Science .2833) (2003. XIX, 1005 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Rossi, Francesca

  • ウェブストア価格 ¥26,468(本体¥24,062)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 240pt
  • 海外取次在庫
Handbook of Model Checking, 2 Teile (Softcover reprint of the original 1st ed. 2018. 2020. xlviii, 1212 S.)
  • 洋書

Handbook of Model Checking, 2 Teile (Softcover reprint of the original 1st ed. 2018. 2020. xlviii, 1212 S.)  Paperback

Herausgegeben von Clarke, Edmund M./ Henzinger, Thomas A./ Veith, Helmut/ Bloem, Roderick

  • ウェブストア価格 ¥37,055(本体¥33,687)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2020発売)
  • ポイント 336pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering) (2018)
  • 洋書
  • 電子版あり

Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering) (2018)  Paperback,  言語:ENG

Havelund, Klaus (EDT)/ Peleska, Jan (EDT)/ Roscoe, Bill (EDT)

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 190pt
  • 海外取次在庫
Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems : IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5-9, 2021, Proceedings, Part II (Ifip Advances in Informa
  • 洋書

Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems : IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5-9, 2021, Proceedings, Part II (Ifip Advances in Informa  Hardcover,  言語:ENG

Dolgui, Alexandre (EDT)/ Bernard, Alain (EDT)/ Lemoine, David (EDT)

  • ウェブストア価格 ¥37,759(本体¥34,327)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 343pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems : IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5-9, 2021, Proceedings, Part II (Ifip Advances in Informa (2021)
  • 洋書

Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems : IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5-9, 2021, Proceedings, Part II (Ifip Advances in Informa (2021)  Paperback

Dolgui, Alexandre (EDT)/ Bernard, Alain (EDT)/ Lemoine, David (EDT)

  • ウェブストア価格 ¥37,759(本体¥34,327)
  • Springer Nature Switzerland AG(2022/09発売)
  • ポイント 343pt
  • 海外取次在庫
Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures : IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part I (I (2023)
  • 洋書

Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures : IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part I (I (2023)  Hardcover

Alfnes, Erlend (EDT)/ Romsdal, Anita (EDT)/ Strandhagen, Jan Ola (EDT)

  • ウェブストア価格 ¥41,956(本体¥38,142)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 381pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures : IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part II (
  • 洋書

Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures : IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part II (  Hardcover

Alfnes, Erlend (EDT)/ Romsdal, Anita (EDT)/ Strandhagen, Jan Ola (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 324pt
  • 海外取次在庫
Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures : IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part III
  • 洋書

Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures : IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part III  Hardcover

Alfnes, Erlend (EDT)/ Romsdal, Anita (EDT)/ Strandhagen, Jan Ola (EDT)

  • ウェブストア価格 ¥41,956(本体¥38,142)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 381pt
  • 海外取次在庫
Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures : IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part IV ( (2023)
  • 洋書

Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures : IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part IV ( (2023)  Hardcover

Alfnes, Erlend (EDT)/ Romsdal, Anita (EDT)/ Strandhagen, Jan Ola (EDT)

  • ウェブストア価格 ¥37,759(本体¥34,327)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 343pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence Trends in Intelligent Systems : Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 1 (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり

Artificial Intelligence Trends in Intelligent Systems : Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 1 (Advances in Intelligent Systems and Computing)  Paperback,  言語:ENG

Silhavy, Radek (EDT)/ Senkerik, Roman (EDT)/ Kominkova Oplatkova, Zuzana (EDT)

  • Springer International Publishing AG(2017/04発売)
  • ご注文いただけません
Critical Infrastructure Protection : Advances in Critical Infrastructure Protection: Information Infrastructure Models, Analysis, and Defense (Lecture Notes in Computer Science Vol.7130) (2012. XIV, 357 p. 235 mm)
  • 洋書

Critical Infrastructure Protection : Advances in Critical Infrastructure Protection: Information Infrastructure Models, Analysis, and Defense (Lecture Notes in Computer Science Vol.7130) (2012. XIV, 357 p. 235 mm)  Paperback

Herausgegeben von Lopez, Javier/ Setola, Roberto/ Wolthusen, Stephen

  • ウェブストア価格 ¥22,497(本体¥20,452)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 204pt
  • 海外取次在庫
Ubiquitous Information Technologies and Applications : CUTE 2013 (Lecture Notes in Electrical Engineering) (2014)
  • 洋書

Ubiquitous Information Technologies and Applications : CUTE 2013 (Lecture Notes in Electrical Engineering) (2014)  Hardcover

Jeong, Young-Sik (EDT)/ Park, Young-Ho (EDT)/ Hsu, Ching-Hsien (Robert) (EDT)

  • ウェブストア価格 ¥75,314(本体¥68,468)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/12発売)
  • ポイント 684pt
  • 海外取次在庫
Ubiquitous Information Technologies and Applications : CUTE 2013 (Lecture Notes in Electrical Engineering)
  • 洋書

Ubiquitous Information Technologies and Applications : CUTE 2013 (Lecture Notes in Electrical Engineering)  Paperback,  言語:ENG

Jeong, Young-Sik (EDT)/ Park, Young-Ho (EDT)/ Hsu, Ching-Hsien (Robert) (EDT)

  • ウェブストア価格 ¥79,718(本体¥72,471)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/09発売)
  • ポイント 724pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Emotion-Oriented Systems : The Humaine Handbook (Cognitive Technologies) (2011)
  • 洋書

Emotion-Oriented Systems : The Humaine Handbook (Cognitive Technologies) (2011)  Paperback

Petta, Paolo (EDT)/ Pelachaud, Catherine (EDT)/ Cowie, Roddy (EDT)

  • ウェブストア価格 ¥46,151(本体¥41,956)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/02発売)
  • ポイント 419pt
  • 海外取次在庫
Machine Vision Beyond Visible Spectrum (Augmented Vision and Reality) (2011)
  • 洋書

Machine Vision Beyond Visible Spectrum (Augmented Vision and Reality) (2011)  Paperback

Hammoud, Riad (EDT)/ Fan, Guoliang (EDT)/ McMillan, Robert W. (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 324pt
  • 海外取次在庫
Semantic Search over the Web (Data-centric Systems and Applications) (2012)
  • 洋書

Semantic Search over the Web (Data-centric Systems and Applications) (2012)  Paperback,  言語:ENG

De Virgilio, Roberto (EDT)/ Guerra, Francesco (EDT)/ Velegrakis, Yannis (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/09発売)
  • ポイント 104pt
  • 海外取次在庫
Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Wyrzykowski, Roman (EDT)/ Dongarra, Jack (EDT)/ Deelman, Ewa (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 104pt
  • 海外取次在庫
Advances in Production Management Systems. Production Management Systems for Volatile, Uncertain, Complex, and Ambiguous Environments : 43rd IFIP WG 5.7 International Conference, APMS 2024, Chemnitz, Germany, September 8-12, 2024, Proceedings, Part I (2024)
  • 洋書

Advances in Production Management Systems. Production Management Systems for Volatile, Uncertain, Complex, and Ambiguous Environments : 43rd IFIP WG 5.7 International Conference, APMS 2024, Chemnitz, Germany, September 8-12, 2024, Proceedings, Part I (2024)  Hardcover,  言語:ENG

Thürer, Matthias (EDT)/ Riedel, Ralph (EDT)/ von Cieminski, Gregor (EDT)

  • ウェブストア価格 ¥27,270(本体¥24,791)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 247pt
  • 海外からお取り寄せ(通常6~9週間)
Data Driven Treatment Response Assessment and Preterm, Perinatal, and Paediatric Image Analysis : First International Workshop, DATRA 2018 and Third International Workshop, PIPPI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 1 (2018)
  • 洋書
  • 電子版あり

Data Driven Treatment Response Assessment and Preterm, Perinatal, and Paediatric Image Analysis : First International Workshop, DATRA 2018 and Third International Workshop, PIPPI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 1 (2018)  Paperback,  言語:ENG

Melbourne, Andrew (EDT)/ Licandro, Roxane (EDT)/ DiFranco, Matthew (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2018/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Bioinformatics and Computational Biology : 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 - November 1, 2018, Proceedings (Lecture Notes in Computer Science) (2018)
  • 洋書
  • 電子版あり

Advances in Bioinformatics and Computational Biology : 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 - November 1, 2018, Proceedings (Lecture Notes in Computer Science) (2018)  Paperback,  言語:ENG

Alves, Ronnie (EDT)

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