Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Blazy, Sandrine (EDT)/ Chechik, Marsha (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/11発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algorithms for Sensor Systems : 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Algorithms for Sensor Systems : 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Chrobak, Marek (EDT)/ Fernández Anta, Antonio (EDT)/ Gąsieniec, Leszek (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Semantic Keyword-Based Search on Structured Data Sources : COST Action IC1302 Second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8-9, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Semantic Keyword-Based Search on Structured Data Sources : COST Action IC1302 Second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8-9, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Calì, Andrea (EDT)/ Gorgan, Dorian (EDT)/ Ugarte, Martín (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Information Retrieval : 39th European Conference on IR Research, ECIR 2017, Aberdeen, UK, April 8-13, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances in Information Retrieval : 39th European Conference on IR Research, ECIR 2017, Aberdeen, UK, April 8-13, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Jose, Joemon M (EDT)/ Hauff, Claudia (EDT)/ Altıngovde, Ismail Sengor (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 438pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Cryptology - CRYPTO 2017 : 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances in Cryptology - CRYPTO 2017 : 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Katz, Jonathan (EDT)/ Shacham, Hovav (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 438pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Information Technology in Bio- and Medical Informatics : 8th International Conference, ITBAM 2017, Lyon, France, August 28-31, 2017, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Information Technology in Bio- and Medical Informatics : 8th International Conference, ITBAM 2017, Lyon, France, August 28-31, 2017, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Bursa, Miroslav (EDT)/ Holzinger, Andreas (EDT)/ Renda, M. Elena (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Hague, Matthew (EDT)/ Potapov, Igor (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Mousavi, Mohammad Reza (EDT)/ Sgall, Jiří (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Service-Oriented Computing : 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Service-Oriented Computing : 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Maximilien, Michael (EDT)/ Vallecillo, Antonio (EDT)/ Wang, Jianmin (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 438pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Internet of Things. IoT through a Multi-disciplinary Perspective : 5th IFIP International Cross-Domain Conference, IFIPIoT 2022, Amsterdam, the Netherlands, October 27-28, 2022, Proceedings (Ifip Advances in Information and Communication Technology) (2022)
  • 洋書
  • ポイントキャンペーン

Internet of Things. IoT through a Multi-disciplinary Perspective : 5th IFIP International Cross-Domain Conference, IFIPIoT 2022, Amsterdam, the Netherlands, October 27-28, 2022, Proceedings (Ifip Advances in Information and Communication Technology) (2022)  Hardcover,  言語:ENG

Camarinha-Matos, Luis M. (EDT)/ Ribeiro, Luis (EDT)/ Strous, Leon (EDT)

  • ウェブストア価格 ¥25,182(本体¥22,893)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 456pt
  • 海外からお取り寄せ(通常6~9週間)
Geomatics for Green and Digital Transition : 25th Italian Conference, ASITA 2022, Genova, Italy, June 20-24, 2022, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Geomatics for Green and Digital Transition : 25th Italian Conference, ASITA 2022, Genova, Italy, June 20-24, 2022, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Borgogno-Mondino, Enrico (EDT)/ Zamperlin, Paola (EDT)

  • ウェブストア価格 ¥18,667(本体¥16,970)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 338pt
  • 海外取次在庫
The Semantic Web - ISWC 2022 : 21st International Semantic Web Conference, Virtual Event, October 23-27, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

The Semantic Web - ISWC 2022 : 21st International Semantic Web Conference, Virtual Event, October 23-27, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Sattler, Ulrike (EDT)/ Hogan, Aidan (EDT)/ Keet, Maria (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 438pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 398pt
  • 海外取次在庫
Entscheidungsunterstutzung mit Business Intelligence : Einfuhrung, Fallstudie und aktuelle Themen und Trends -- Paperback / softback (German Language (1. Aufl. 2)
  • 洋書
  • ポイントキャンペーン

Entscheidungsunterstutzung mit Business Intelligence : Einfuhrung, Fallstudie und aktuelle Themen und Trends -- Paperback / softback (German Language (1. Aufl. 2)  Paperback

Frey-luxemburger, Monika

  • Springer Fachmedien Wiesbaden(1900/01発売)
  • ご注文いただけません
Technologies and Applications for Big Data Value
  • 洋書
  • ポイントキャンペーン

Technologies and Applications for Big Data Value  Hardcover,  言語:ENG

Curry, Edward (EDT)/ Auer, Sören (EDT)/ Berre, Arne J. (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer Nature Switzerland AG(2022/04発売)
  • ポイント 238pt
  • 海外取次在庫
Technologies and Applications for Big Data Value
  • 洋書
  • ポイントキャンペーン

Technologies and Applications for Big Data Value  Paperback,  言語:ENG

Curry, Edward (EDT)/ Auer, Sören (EDT)/ Berre, Arne J. (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer Nature Switzerland AG(2022/04発売)
  • ポイント 198pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 318pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥15,372(本体¥13,975)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 278pt
  • 海外取次在庫
Electronic Voting : 7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4-7, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Electronic Voting : 7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4-7, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Krimmer, Robert (EDT)/ Volkamer, Melanie (EDT)/ Duenas-Cid, David (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 198pt
  • 海外取次在庫
Trustworthy Communications and Complete Genealogies : Unifying Ancestries for a Genealogical History of the Modern World (Synthesis Lectures on Information Concepts, Retrieval, and Services) (2ND)
  • 洋書
  • ポイントキャンペーン

Trustworthy Communications and Complete Genealogies : Unifying Ancestries for a Genealogical History of the Modern World (Synthesis Lectures on Information Concepts, Retrieval, and Services) (2ND)  Hardcover,  言語:ENG

Moore, Reagan W.

  • ウェブストア価格 ¥9,881(本体¥8,983)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 178pt
  • 海外取次在庫