Beyond Databases, Architectures and Structures. Advanced Technologies for Data Mining and Knowledge Discovery : 12th International Conference, BDAS 2016, Ustroń, Poland, May 31 - June 3, 2016, Proceedings (Communications in Computer and Informat
  • 洋書

Beyond Databases, Architectures and Structures. Advanced Technologies for Data Mining and Knowledge Discovery : 12th International Conference, BDAS 2016, Ustroń, Poland, May 31 - June 3, 2016, Proceedings (Communications in Computer and Informat  Paperback

Kozielski, Stanisław (EDT)/ Mrozek, Dariusz (EDT)/ Kasprowski, Paweł (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2016/04発売)
  • ポイント 208pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Databases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings (Communications in Computer and Information Science)
  • 洋書

Databases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings (Communications in Computer and Information Science)  Paperback

Arnicans, Guntis (EDT)/ Arnicane, Vineta (EDT)/ Borzovs, Juris (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Human-Centered and Error-Resilient Systems Development : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System D
  • 洋書
  • 電子版あり

Human-Centered and Error-Resilient Systems Development : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System D  Paperback

Bogdan, Cristian (EDT)/ Gulliksen, Jan (EDT)/ Sauer, Stefan (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Intelligent Data Analysis XV : 15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Advances in Intelligent Data Analysis XV : 15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Boström, Henrik (EDT)/ Knobbe, Arno (EDT)/ Soares, Carlos (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Foundations and Practice of Security : 9th International Symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, Revised Selected Papers (Security and Cryptology)
  • 洋書

Foundations and Practice of Security : 9th International Symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, Revised Selected Papers (Security and Cryptology)  Paperback

Cuppens, Frédéric (EDT)/ Wang, Lingyu (EDT)/ Cuppens-Boulahia, Nora (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/12発売)
  • ポイント 104pt
  • 海外取次在庫
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bowen, Jonathan P. (EDT)/ Zhu, Huibiao (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Bouajjani, Ahmed (EDT)/ Monniaux, David (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Quantum Interaction : 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書

Quantum Interaction : 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

de Barros, Jose Acacio (EDT)/ Coecke, Bob (EDT)/ Pothos, Emmanuel (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bowen, Jonathan P. (EDT)/ Liu, Zhiming (EDT)/ Zhang, Zili (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Engineering Applications of Neural Networks : 18th International Conference, EANN 2017, Athens, Greece, August 25-27, 2017, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Engineering Applications of Neural Networks : 18th International Conference, EANN 2017, Athens, Greece, August 25-27, 2017, Proceedings (Communications in Computer and Information Science)  Paperback

Boracchi, Giacomo (EDT)/ Iliadis, Lazaros (EDT)/ Jayne, Chrisina (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 208pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Bertrand, Nathalie (EDT)/ Bortolussi, Luca (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Graph-Theoretic Concepts in Computer Science : 43rd International Workshop, WG 2017, Eindhoven, the Netherlands, June 21-23, 2017, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Graph-Theoretic Concepts in Computer Science : 43rd International Workshop, WG 2017, Eindhoven, the Netherlands, June 21-23, 2017, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Bodlaender, Hans L. (EDT)/ Woeginger, Gerhard J. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Financial Cryptography and Data Security : FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers (Security and Cryptology)
  • 洋書
  • 電子版あり

Financial Cryptography and Data Security : FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers (Security and Cryptology)  Paperback,  言語:ENG

Brenner, Michael (EDT)/ Rohloff, Kurt (EDT)/ Bonneau, Joseph (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Technology Trends : Third International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Technology Trends : Third International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Botto-Tobar, Miguel (EDT)/ Esparza-Cruz, Nelly (EDT)/ León-Acurio, Joffre (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/12発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Human Centered Computing : Third International Conference, HCC 2017, Kazan, Russia, August 7-9, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Human Centered Computing : Third International Conference, HCC 2017, Kazan, Russia, August 7-9, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Zu, Qiaohong (EDT)/ Hu, Bo (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety : 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018
  • 洋書
  • 電子版あり

Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety : 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018  Paperback,  言語:ENG

Kozielski, Stanisław (EDT)/ Mrozek, Dariusz (EDT)/ Kasprowski, Paweł (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Abstract State Machines, w. CD-ROM : A Method for High-Level System Design and Analysis (2003. 420 p.)
  • 洋書

Abstract State Machines, w. CD-ROM : A Method for High-Level System Design and Analysis (2003. 420 p.)  Hardcover

Boerger, Egon/ Staerk, Roland

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 120pt
  • 海外取次在庫
Formal Methods for Components and Objects, FMCO 2002 : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002. Revised Lectures (Lecture Notes in Computer Science Vol.2852) (2003. VIII, 509 p. 23,5 cm)
  • 洋書

Formal Methods for Components and Objects, FMCO 2002 : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002. Revised Lectures (Lecture Notes in Computer Science Vol.2852) (2003. VIII, 509 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Frank S.de Boer, Marcello M. Bonsangue, Susanne Graf et al.

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 120pt
  • 海外取次在庫
Integrated Formal Methods, IFM 2004 : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings (Lecture Notes in Computer Science Vol.2999) (2004. XI, 541 p. 23,5 cm)
  • 洋書

Integrated Formal Methods, IFM 2004 : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings (Lecture Notes in Computer Science Vol.2999) (2004. XI, 541 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Eerke A. Boiten, John Derrick and Graeme Smith

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Validation of Stochastic Systems : A Guide to Current Research (Lecture Notes in Computer Science Vol.2925) (2004. VIII, 467 p.)
  • 洋書

Validation of Stochastic Systems : A Guide to Current Research (Lecture Notes in Computer Science Vol.2925) (2004. VIII, 467 p.)  Paperback

Ed. by Christel Baier, Boudewijn R. Haverkort, Joost-Pieter Katoen et al.

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫