261～280件／全594件 セーフサーチON


Unconventional Computation and Natural Computation : 19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Unconventional Computation and Natural Computation : 19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Kostitsyna, Irina (EDT)/ Orponen, Pekka (EDT)

  • ウェブストア価格 ¥12,500（本体¥11,364）
  • Springer Nature Switzerland AG（2021/10発売）
  • ポイント 113pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theoretical Aspects of Computing - ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Theoretical Aspects of Computing - ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Cerone, Antonio (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥17,710（本体¥16,100）
  • Springer Nature Switzerland AG（2021/08発売）
  • ポイント 161pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification, CAV 2004 : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings (Lecture Notes in Computer Science Vol.3114) （2004. XII, 536 p. 23,5 cm）
  • 洋書

Computer Aided Verification, CAV 2004 : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings (Lecture Notes in Computer Science Vol.3114) （2004. XII, 536 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Rajeev Alur and Doron A. Peled

  • ウェブストア価格 ¥26,468（本体¥24,062）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 240pt
  • 海外取次在庫
Machine Learning and Knowledge Extraction : 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Machine Learning and Knowledge Extraction : 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Holzinger, Andreas (EDT)/ Kieseberg, Peter (EDT)/ Cabitza, Federico (EDT)

  • ウェブストア価格 ¥12,500（本体¥11,364）
  • Springer International Publishing AG（2023/08発売）
  • ポイント 113pt
  • 海外取次在庫
Software Ecosystems, Sustainability and Human Values in the Social Web : 8th Workshop of Human-Computer Interaction Aspects to the Social Web, WAIHCWS 2017, Joinville, Brazil, October 23, 2017 and 9th Workshop, WAIHCWS 2018, Belém, Brazil, Octob
  • 洋書
  • 電子版あり

Software Ecosystems, Sustainability and Human Values in the Social Web : 8th Workshop of Human-Computer Interaction Aspects to the Social Web, WAIHCWS 2017, Joinville, Brazil, October 23, 2017 and 9th Workshop, WAIHCWS 2018, Belém, Brazil, Octob  Paperback

Santos, Rodrigo Pereira dos (EDT)/ Maciel, Cristiano (EDT)/ Viterbo, José (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer Nature Switzerland AG（2020/04発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Agile Processes in Software Engineering and Extreme Programming - Workshops : XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, the Netherlands, June 13-16, 2023, Revised Selected Papers (Lecture Notes in Bus
  • 洋書

Agile Processes in Software Engineering and Extreme Programming - Workshops : XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, the Netherlands, June 13-16, 2023, Revised Selected Papers (Lecture Notes in Bus  Paperback

Kruchten, Philippe (EDT)/ Gregory, Peggy (EDT)

  • ウェブストア価格 ¥10,417（本体¥9,470）
  • Springer International Publishing AG（2023/12発売）
  • ポイント 94pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,836（本体¥18,942）
  • Springer International Publishing AG（2018/07発売）
  • ポイント 189pt
  • 海外取次在庫
Open Learning and Teaching in Educational Communities : 9th European Conference on Technology Enhanced Learning, EC-TEL 2014, Graz, Austria, September 16-19, 2014, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) （2014）
  • 洋書

Open Learning and Teaching in Educational Communities : 9th European Conference on Technology Enhanced Learning, EC-TEL 2014, Graz, Austria, September 16-19, 2014, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) （2014）  Paperback,  言語：ENG

Rensing, Christoph (EDT)/ de Freitas, Sara (EDT)/ Ley, Tobias (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer International Publishing AG（2014/09発売）
  • ポイント 104pt
  • 海外取次在庫
人工免疫系会議録：ＩＣＡＲＩＳ２００４<br>Artificial Immune Systems : Third International Conference, ICARIS 2004, Catania, Sicily, Italy, September 13-16, 2004, Proceedings (Lecture Notes in Computer Science Vol.3239) （2004. XII, 444 p. 23,5 cm）
  • 洋書

人工免疫系会議録：ＩＣＡＲＩＳ２００４
Artificial Immune Systems : Third International Conference, ICARIS 2004, Catania, Sicily, Italy, September 13-16, 2004, Proceedings (Lecture Notes in Computer Science Vol.3239) （2004. XII, 444 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Giuseppe Nicosia, Vincenzo Cutello, Peter J. Bentley et al.

  • ウェブストア価格 ¥13,231（本体¥12,029）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 120pt
  • 海外取次在庫
Machine Learning and Knowledge Extraction : 4th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2020, Dublin, Ireland, August 25-28, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Machine Learning and Knowledge Extraction : 4th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2020, Dublin, Ireland, August 25-28, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Holzinger, Andreas (EDT)/ Kieseberg, Peter (EDT)/ Tjoa, A Min (EDT)

  • ウェブストア価格 ¥22,919（本体¥20,836）
  • Springer Nature Switzerland AG（2020/08発売）
  • ポイント 208pt
  • 海外取次在庫
Machine Learning and Knowledge Extraction : 6th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2022, Vienna, Austria, August 23-26, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Machine Learning and Knowledge Extraction : 6th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2022, Vienna, Austria, August 23-26, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Holzinger, Andreas (EDT)/ Kieseberg, Peter (EDT)/ Tjoa, A Min (EDT)

  • ウェブストア価格 ¥20,836（本体¥18,942）
  • Springer International Publishing AG（2022/08発売）
  • ポイント 189pt
  • 海外取次在庫
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

Dongol, Brijesh (EDT)/ Petre, Luigia (EDT)/ Smith, Graeme (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer Nature Switzerland AG（2019/10発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Machine Learning and Knowledge Extraction : 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2021, Virtual Event, August 17-20, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Machine Learning and Knowledge Extraction : 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2021, Virtual Event, August 17-20, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Holzinger, Andreas (EDT)/ Kieseberg, Peter (EDT)/ Tjoa, A Min (EDT)

  • ウェブストア価格 ¥22,919（本体¥20,836）
  • Springer Nature Switzerland AG（2021/08発売）
  • ポイント 208pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Takagi, Tsuyoshi (EDT)/ Peyrin, Thomas (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer International Publishing AG（2017/11発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III (Security and Cryptology)
  • 洋書
  • 電子版あり

Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III (Security and Cryptology)  Paperback,  言語：ENG

Takagi, Tsuyoshi (EDT)/ Peyrin, Thomas (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer International Publishing AG（2017/11発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Takagi, Tsuyoshi (EDT)/ Peyrin, Thomas (EDT)

  • ウェブストア価格 ¥27,087（本体¥24,625）
  • Springer International Publishing AG（2017/11発売）
  • ポイント 246pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Security Protocols XXVI : 26th International Workshop, Cambridge, UK, March 19-21, 2018, Revised Selected Papers (Security and Cryptology)
  • 洋書
  • 電子版あり

Security Protocols XXVI : 26th International Workshop, Cambridge, UK, March 19-21, 2018, Revised Selected Papers (Security and Cryptology)  Paperback,  言語：ENG

Matyáš, Vashek (EDT)/ Švenda, Petr (EDT)/ Stajano, Frank (EDT)

  • Springer Nature Switzerland AG（2018/11発売）
  • ご注文いただけません
Domain Decomposition Methods in Science and Engineering (Lecture Notes in Computational Science and Engineering Vol.40) （2004. 700 p.）
  • 洋書

Domain Decomposition Methods in Science and Engineering (Lecture Notes in Computational Science and Engineering Vol.40) （2004. 700 p.）  Paperback

Ed by R. Kornhuber, R. Hoppe, Jacques Periaux et al.

  • ウェブストア価格 ¥39,703（本体¥36,094）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 360pt
  • 海外取次在庫
Requirements Engineering: Foundation for Software Quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Requirements Engineering: Foundation for Software Quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings (Programming and Software Engineering)  Paperback,  言語：ENG

Grünbacher, Paul (EDT)/ Perini, Anna (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer International Publishing AG（2017/02発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Eingebettete Systeme : Echtzeit 2010 (Informatik aktuell) （2010. XII, 140 S. 30 SW-Abb.）
  • 洋書

Eingebettete Systeme : Echtzeit 2010 (Informatik aktuell) （2010. XII, 140 S. 30 SW-Abb.）  Paperback

Herausgegeben von Halang, Wolfgang A./ Holleczek, Peter

  • SPRINGER, BERLIN（2010発売）
  • ご注文いただけません
261～280件／全594件