Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7152) (2012. 2012. XI, 326 S.)
  • 洋書
  • ポイントキャンペーン

Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7152) (2012. 2012. XI, 326 S.)  Paperback

Herausgegeben von Joshi, Rajeev/ Mueller, Peter/ Podelski, Andreas

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 254pt
  • 海外取次在庫
Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Artho, Cyrille (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advanced Computer and Communication Engineering Technology : Proceedings of the 1st International Conference on Communication and Computer Engineering (Lecture Notes in Electrical Engineering 315) (Softcover reprint of the original 1st ed. 2015. 2016. xx, 1090 S. XX,)
  • 洋書
  • ポイントキャンペーン

Advanced Computer and Communication Engineering Technology : Proceedings of the 1st International Conference on Communication and Computer Engineering (Lecture Notes in Electrical Engineering 315) (Softcover reprint of the original 1st ed. 2015. 2016. xx, 1090 S. XX,)  Paperback

Herausgegeben:Sulaiman, Hamzah Asyrani/ Othman, Mohd Azlishah/ Othman, Mohd Fairuz Iskandar/ Rahim, Yahaya Abd/ Pee, Naim Che

  • ウェブストア価格 ¥55,998(本体¥50,908)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2016発売)
  • ポイント 1,018pt
  • 海外取次在庫
Advanced Computer and Communication Engineering Technology, 2 Teile : Proceedings of ICOCOE 2015 (Lecture Notes in Electrical Engineering 362) (1st ed. 2016. 2016. xv, 1325 S. XV, 1325 p. 624 illus., 437 illus. in)
  • 洋書
  • ポイントキャンペーン

Advanced Computer and Communication Engineering Technology, 2 Teile : Proceedings of ICOCOE 2015 (Lecture Notes in Electrical Engineering 362) (1st ed. 2016. 2016. xv, 1325 S. XV, 1325 p. 624 illus., 437 illus. in)  Hardcover,  言語:ENG

Herausgegeben:Sulaiman, Hamzah Asyrani/ Othman, Mohd Azlishah/ Othman, Mohd Fairuz Iskandar/ Rahim, Yahaya Abd/ Pee, Naim Che

  • ウェブストア価格 ¥83,999(本体¥76,363)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2016発売)
  • ポイント 1,526pt
  • 海外からお取り寄せ(通常6~9週間)
Semantic Systems. the Power of AI and Knowledge Graphs : 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2019)
  • 洋書
  • ポイントキャンペーン

Semantic Systems. the Power of AI and Knowledge Graphs : 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2019)  Paperback,  言語:ENG

Acosta, Maribel (EDT)/ Cudré-Mauroux, Philippe (EDT)/ Maleshkova, Maria (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 238pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Safety, Reliability, and Security (Lecture Notes in Computer Science / Programming and Software Engineering .7613) (2012. 2012. XVI, 530 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Computer Safety, Reliability, and Security (Lecture Notes in Computer Science / Programming and Software Engineering .7613) (2012. 2012. XVI, 530 S. 235 mm)  Paperback

Herausgegeben von Ortmeier, Frank/ Daniel, Peter

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Computer Safety, Reliability, and Security : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7612) (2012. 2012. XVIII, 402 S.)
  • 洋書
Advanced Data Mining and Applications : 13th International Conference, ADMA 2017, Singapore, November 5-6, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advanced Data Mining and Applications : 13th International Conference, ADMA 2017, Singapore, November 5-6, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cong, Gao (EDT)/ Peng, Wen-Chih (EDT)/ Zhang, Wei Emma (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 438pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
The Power of Algorithms : Inspiration and Examples in Everyday Life
  • 洋書
  • ポイントキャンペーン

The Power of Algorithms : Inspiration and Examples in Everyday Life  Paperback,  言語:ENG

Ausiello, Giorgio (EDT)/ Petreschi, Rossella (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/08発売)
  • ポイント 198pt
  • 海外取次在庫
Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics : Third International Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, September 17-20, 2012, Proceedings (Lecture Notes in Computer Science Vol.7488) (2012. XII, 147 p. 235 mm)
  • 洋書
  • ポイントキャンペーン

Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics : Third International Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, September 17-20, 2012, Proceedings (Lecture Notes in Computer Science Vol.7488) (2012. XII, 147 p. 235 mm)  Paperback

Herausgegeben von Catarci, Tiziana/ Forner, Pamela/ Hiemstra, Djoerd/ Penas, Anselmo/ Santucci, Giuseppe

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2012)
  • 洋書
  • ポイントキャンペーン

Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2012)  Paperback,  言語:ENG

Arbab, Farhad (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/11発売)
  • ポイント 218pt
  • 海外取次在庫
Combinatorial Pattern Matching : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Combinatorial Pattern Matching : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Fischer, Johannes (EDT)/ Sanders, Peter (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/06発売)
  • ポイント 198pt
  • 海外取次在庫
Privacy and Identity Management for Life : 5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School, Nice, France, September 7-11, 2009, Revised Selected Papers (IFIP Advances in Information and Communication Technology 320) (2010. XI, 316 S.)
  • 洋書
  • ポイントキャンペーン

Privacy and Identity Management for Life : 5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School, Nice, France, September 7-11, 2009, Revised Selected Papers (IFIP Advances in Information and Communication Technology 320) (2010. XI, 316 S.)  Hardcover

Herausgegeben von Bezzi, Michele/ Duquenoy, Penny/ Fischer-Huebner, Simone/ Hansen, Marit/ Zhang, Ge

  • SPRINGER, BERLIN(2010発売)
  • ご注文いただけません
Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7294) (2012. 2012. X, 333 S.)
  • 洋書
  • ポイントキャンペーン

Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7294) (2012. 2012. X, 333 S.)  Paperback

Herausgegeben von Schrijvers, Tom/ Thiemann, Peter

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 254pt
  • 海外取次在庫
Knowledge Discovery, Knowledge Engineering and Knowledge Management : Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers (Communications in Computer and Information Science .272) (2012. 2012. 448 S.)
  • 洋書
  • ポイントキャンペーン

Knowledge Discovery, Knowledge Engineering and Knowledge Management : Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers (Communications in Computer and Information Science .272) (2012. 2012. 448 S.)  Paperback

Herausgegeben von Fred, Ana/ Dietz, Jan L.G./ Liu, Kecheng/ Filipe, Joaquim

  • SPRINGER, BERLIN(2012/12発売)
  • ご注文いただけません
Security in Computing and Communications : International Symposium, SSCC 2013, Mysore, India, August 22-24, 2013. Proceedings (Communications in Computer and Information Science) (2013)
  • 洋書
  • ポイントキャンペーン

Security in Computing and Communications : International Symposium, SSCC 2013, Mysore, India, August 22-24, 2013. Proceedings (Communications in Computer and Information Science) (2013)  Paperback,  言語:ENG

Thampi, Sabu M (EDT)/ Atrey, Pradeep K. (EDT)/ Fan, Chun I. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 218pt
  • 海外取次在庫
Left Atrial and Scar Quantification and Segmentation : First Challenge, LAScarQS 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Left Atrial and Scar Quantification and Segmentation : First Challenge, LAScarQS 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Zhuang, Xiahai (EDT)/ Li, Lei (EDT)/ Wang, Sihan (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2023/05発売)
  • ポイント 238pt
  • 海外取次在庫
Innovative Security Solutions for Information Technology and Communications : 17th International Conference, SecITC 2024, Bucharest, Romania, November 21-22, 2024, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Innovative Security Solutions for Information Technology and Communications : 17th International Conference, SecITC 2024, Bucharest, Romania, November 21-22, 2024, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Morogan, Luciana (EDT)/ Roenne, Peter (EDT)/ Bica, Ion (EDT)

  • ウェブストア価格 ¥28,551(本体¥25,956)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 518pt
  • 海外取次在庫
Automated Workflow Scheduling in Self-Adaptive Clouds : Concepts, Algorithms and Methods (Computer Communications and Networks)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Automated Workflow Scheduling in Self-Adaptive Clouds : Concepts, Algorithms and Methods (Computer Communications and Networks)  Hardcover,  言語:ENG

Kousalya, G./ Balakrishnan, P./ Pethuru Raj, C.

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2017/06発売)
  • ポイント 198pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Menzies, Tim (EDT)/ Petke, Justyna (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。