521～540件／全1009件 セーフサーチON


Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - Apri
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - Apri  Paperback,  言語：ENG

Groote, Jan Friso (EDT)/ Larsen, Kim Guldstrand (EDT)

  • ウェブストア価格 ¥10,417（本体¥9,470）
  • Springer Nature Switzerland AG（2021/03発売）
  • ポイント 94pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - Apri
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - Apri  Paperback,  言語：ENG

Groote, Jan Friso (EDT)/ Larsen, Kim Guldstrand (EDT)

  • ウェブストア価格 ¥10,417（本体¥9,470）
  • Springer Nature Switzerland AG（2021/03発売）
  • ポイント 94pt
  • 海外取次在庫
Production Methods, w. CD-ROM : Behind the Scenes of Virtual Inhabited 3D Worlds （2003. VIII, 272 p.）
  • 洋書

Production Methods, w. CD-ROM : Behind the Scenes of Virtual Inhabited 3D Worlds （2003. VIII, 272 p.）  Hardcover

Ed. by K. H. Madsen and Lars Qvortrup

  • SPRINGER, BERLIN（2003発売）
  • ご注文いただけません
Foundations and Practice of Security : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology .6888) （2012. 2012. XIII, 253 S. 58 SW-Abb. 235 mm）
  • 洋書

Foundations and Practice of Security : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology .6888) （2012. 2012. XIII, 253 S. 58 SW-Abb. 235 mm）  Paperback

Herausgegeben von Garcia-Alfaro, Joaquin/ Lafourcade, Pascal

  • ウェブストア価格 ¥13,231（本体¥12,029）
  • SPRINGER, BERLIN（2012発売）
  • ポイント 120pt
  • 海外取次在庫
Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Guttman, Joshua D. (EDT)/ Landwehr, Carl E. (EDT)/ Meseguer, José (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer Nature Switzerland AG（2019/04発売）
  • ポイント 104pt
  • 海外取次在庫
Blockchain - ICBC 2020 : Third International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings (Security and Cryptology)
  • 洋書

Blockchain - ICBC 2020 : Third International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings (Security and Cryptology)  Paperback,  言語：ENG

Chen, Zhixiong (EDT)/ Cui, Laizhong (EDT)/ Palanisamy, Balaji (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer Nature Switzerland AG（2020/09発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Clinical Image-Based Procedures. Translational Research in Medical Imaging : Second International Workshop, CLIP 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Revised Selected Papers (Lecture Notes in Computer Science （2014）
  • 洋書
  • 電子版あり

Clinical Image-Based Procedures. Translational Research in Medical Imaging : Second International Workshop, CLIP 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Revised Selected Papers (Lecture Notes in Computer Science （2014）  Paperback,  言語：ENG

Erdt, Marius (EDT)/ Linguraru, Marius George (EDT)/ Oyarzun Laura, Cristina (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer International Publishing AG（2014/04発売）
  • ポイント 104pt
  • 海外取次在庫
Modelling and Development of Intelligent Systems : 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Modelling and Development of Intelligent Systems : 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Simian, Dana (EDT)/ Stoica, Laura Florentina (EDT)

  • ウェブストア価格 ¥18,751（本体¥17,047）
  • Springer International Publishing AG（2023/02発売）
  • ポイント 170pt
  • 海外取次在庫
Modelling and Development of Intelligent Systems : 9th International Conference, MDIS 2024, Sibiu, Romania, October 17-19, 2024, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Modelling and Development of Intelligent Systems : 9th International Conference, MDIS 2024, Sibiu, Romania, October 17-19, 2024, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語：ENG

Simian, Dana (EDT)/ Stoica, Laura Florentina (EDT)

  • ウェブストア価格 ¥20,930（本体¥19,028）
  • Springer International Publishing AG（2025/05発売）
  • ポイント 190pt
  • 海外からお取り寄せ（通常6～9週間）
Security of Industrial Control Systems and Cyber Physical Systems : First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Security of Industrial Control Systems and Cyber Physical Systems : First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Bécue, Adrien (EDT)/ Cuppens-Boulahia, Nora (EDT)/ Cuppens, Frédéric (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer International Publishing AG（2016/06発売）
  • ポイント 104pt
  • 海外取次在庫
Hybrid Learning : 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011, Proceedings (Lecture Notes in Computer Science Vol.6837) （2011. XIV, 380 p.）
  • 洋書

Hybrid Learning : 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011, Proceedings (Lecture Notes in Computer Science Vol.6837) （2011. XIV, 380 p.）  Paperback

Herausgegeben von Kwan, Reggie/ Fong, Joseph/ Kwok, Lam-For/ Lam, Jeanne

  • ウェブストア価格 ¥13,231（本体¥12,029）
  • SPRINGER, BERLIN（2011発売）
  • ポイント 120pt
  • 海外取次在庫
Advances in Production Management Systems. Value Networks: Innovation, Technologies, and Management (IFIP Advances in Information and Communication Technology .384) （2012. 2012. XVIII, 630 S. 189 SW-Abb. 235 mm）
  • 洋書

Advances in Production Management Systems. Value Networks: Innovation, Technologies, and Management (IFIP Advances in Information and Communication Technology .384) （2012. 2012. XVIII, 630 S. 189 SW-Abb. 235 mm）  Hardcover

Herausgegeben von Frick, Jan/ Laugen, Bj

  • SPRINGER, BERLIN; SPRINGER（2012発売）
  • ご注文いただけません
Modelling and Development of Intelligent Systems : 7th International Conference, MDIS 2020, Sibiu, Romania, October 22-24, 2020, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Modelling and Development of Intelligent Systems : 7th International Conference, MDIS 2020, Sibiu, Romania, October 22-24, 2020, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Simian, Dana (EDT)/ Stoica, Laura Florentina (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer Nature Switzerland AG（2021/02発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theory and Practice of Model Transformations : 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7307) （2012. 2012. X, 297 S. 235 mm）
  • 洋書

Theory and Practice of Model Transformations : 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7307) （2012. 2012. X, 297 S. 235 mm）  Paperback

Herausgegeben von Hu, Zhenjiang/ de Lara, Juan

  • ウェブストア価格 ¥13,231（本体¥12,029）
  • SPRINGER, BERLIN（2012発売）
  • ポイント 120pt
  • 海外取次在庫
Medical Computer Vision: Recognition Techniques and Applications in Medical Imaging : Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers (Lecture Notes in Computer Science) （2013）
  • 洋書

Medical Computer Vision: Recognition Techniques and Applications in Medical Imaging : Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers (Lecture Notes in Computer Science) （2013）  Paperback,  言語：ENG

Menze, Bjoern (EDT)/ Langs, Georg (EDT)/ Lu, Le (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/03発売）
  • ポイント 104pt
  • 海外取次在庫
Constructing Ambient Intelligence : AmI 2011 Workshops, Amsterdam, The Netherlands, November 16-18, 2011. Revised Selected Papers (Communications in Computer and Information Science .277) （2012. 2012. 236 S. 235 mm）
  • 洋書

Constructing Ambient Intelligence : AmI 2011 Workshops, Amsterdam, The Netherlands, November 16-18, 2011. Revised Selected Papers (Communications in Computer and Information Science .277) （2012. 2012. 236 S. 235 mm）  Paperback

Herausgegeben von Wichert, Reiner/ Van Laerhoven, Kristof/ Gelissen, Jean

  • SPRINGER, BERLIN（2012発売）
  • ご注文いただけません
Design of Intelligent Multi-Agent Systems : Human-Centredness, Architectures, Learning and Adaptation (Studies in Fuzziness and Soft Computing Vol.162) （2004. 445 p.）
  • 洋書

Design of Intelligent Multi-Agent Systems : Human-Centredness, Architectures, Learning and Adaptation (Studies in Fuzziness and Soft Computing Vol.162) （2004. 445 p.）  Hardcover

Ichalkaranje, Nikhil/ Khosla, R./ Jain, Lakhmi C.

  • ウェブストア価格 ¥39,703（本体¥36,094）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 360pt
  • 海外取次在庫
NASA Formal Methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書

NASA Formal Methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback

Dutle, Aaron (EDT)/ Humphrey, Laura (EDT)/ Titolo, Laura (EDT)

  • ウェブストア価格 ¥30,699（本体¥27,909）
  • Springer International Publishing AG（2025/06発売）
  • ポイント 279pt
  • 海外からお取り寄せ（通常6～9週間）
Open and Big Data Management and Innovation : 14th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2015, Delft, the Netherlands, October 13-15, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Open and Big Data Management and Innovation : 14th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2015, Delft, the Netherlands, October 13-15, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Janssen, Marijn (EDT)/ Mäntymäki, Matti (EDT)/ Hidders, Jan (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer International Publishing AG（2015/10発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Biometric Person Authentication : 5th Chinese Conference on Biometric Recognition, SINOBIOMETRICS 2004, Guangzhou, China, December 13-14, 2004, Proceedings (Lecture Notes in Computer Science Vol.3338) （2004. XVIII, 699 p. 23,5 cm）
  • 洋書

Advances in Biometric Person Authentication : 5th Chinese Conference on Biometric Recognition, SINOBIOMETRICS 2004, Guangzhou, China, December 13-14, 2004, Proceedings (Lecture Notes in Computer Science Vol.3338) （2004. XVIII, 699 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Stan Z. Li, Jianhuang Lai, Tieniu Tan et al.

  • ウェブストア価格 ¥26,468（本体¥24,062）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 240pt
  • 海外取次在庫
521～540件／全1009件