Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cerrito, Serenella (EDT)/ Popescu, Andrei (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algorithms for Sensor Systems : 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers (Computer Communication Networks and Telecommuni
  • 洋書
  • 電子版あり

Algorithms for Sensor Systems : 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers (Computer Communication Networks and Telecommuni  Paperback

Gilbert, Seth (EDT)/ Hughes, Danny (EDT)/ Krishnamachari, Bhaskar (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Python for Graph and Network Analysis (Advanced Information and Knowledge Processing)
  • 洋書

Python for Graph and Network Analysis (Advanced Information and Knowledge Processing)  Paperback

Al-Taie, Mohammed Zuhair/ Kadry, Seifedine

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 246pt
  • 海外からお取り寄せ(通常6~9週間)
Inpainting and Denoising Challenges (The Springer Series on Challenges in Machine Learning)
  • 洋書
  • 電子版あり

Inpainting and Denoising Challenges (The Springer Series on Challenges in Machine Learning)  Hardcover,  言語:ENG

Escalera, Sergio (EDT)/ Ayache, Stephane (EDT)/ Wan, Jun (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
The NeurIPS '18 Competition : From Machine Learning to Intelligent Conversations (The Springer Series on Challenges in Machine Learning)
  • 洋書
  • 電子版あり

The NeurIPS '18 Competition : From Machine Learning to Intelligent Conversations (The Springer Series on Challenges in Machine Learning)  Hardcover,  言語:ENG

Escalera, Sergio (EDT)/ Herbrich, Ralf (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Database Systems for Advanced Applications : 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Database Systems for Advanced Applications : 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Navathe, Shamkant B. (EDT)/ Wu, Weili (EDT)/ Shekhar, Shashi (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 104pt
  • 海外取次在庫
Database Systems for Advanced Applications : 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Database Systems for Advanced Applications : 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Navathe, Shamkant B. (EDT)/ Wu, Weili (EDT)/ Shekhar, Shashi (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Distributed Computing - IWDC 2004 : 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3326) (2004. XIX, 546 p. 23,5 cm)
  • 洋書

Distributed Computing - IWDC 2004 : 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3326) (2004. XIX, 546 p. 23,5 cm)  Hardcover,  言語:ENG

Ed. by Nabanita Das, Arunabha Sen, Sajal K. Das et al.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Advanced Language Technologies for Digital Libraries (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6699) (2011. XI, 171 S. 235 mm)
  • 洋書

Advanced Language Technologies for Digital Libraries (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6699) (2011. XI, 171 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Bernardi, Raffaella/ Segond, Frederique/ Zaihrayeu, Ilya

  • SPRINGER, BERLIN(2011発売)
  • ご注文いただけません
Semantic Web : Grundlagen (eXamen.press) (2008. 200 S. 23,5 cm)
  • 洋書

Semantic Web : Grundlagen (eXamen.press) (2008. 200 S. 23,5 cm)  Paperback

Von Pascal Hitzler, York Sure, Sebastian Rudolph u.a.

  • SPRINGER, BERLIN(2008発売)
  • ご注文いただけません
Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7317) (2012. 2012. XIV, 500 S. 235 mm)
  • 洋書

Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7317) (2012. 2012. XIV, 500 S. 235 mm)  Paperback

Herausgegeben von Cimatti, Alessandro/ Sebastiani, Roberto

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Artificial Intelligence : 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21-25, 2019, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Artificial Intelligence : 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21-25, 2019, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Kuznetsov, Sergei O. (EDT)/ Panov, Aleksandr I. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
SOFSEM 2024: Theory and Practice of Computer Science : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

SOFSEM 2024: Theory and Practice of Computer Science : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback

Fernau, Henning (EDT)/ Gaspers, Serge (EDT)/ Klasing, Ralf (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 170pt
  • 海外取次在庫
Provenance in Data Science : From Data Models to Context-Aware Knowledge Graphs (Advanced Information and Knowledge Processing)
  • 洋書

Provenance in Data Science : From Data Models to Context-Aware Knowledge Graphs (Advanced Information and Knowledge Processing)  Paperback

Sikos, Leslie F. (EDT)/ Seneviratne, Oshani W. (EDT)/ McGuinness, Deborah L. (EDT)

  • ウェブストア価格 ¥31,928(本体¥29,026)
  • Springer Nature Switzerland AG(2022/04発売)
  • ポイント 290pt
  • 海外からお取り寄せ(通常6~9週間)
Algorithms and Complexity : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Algorithms and Complexity : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Spirakis, Paul G. (EDT)/ Serna, Maria (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 104pt
  • 海外取次在庫
Principles and Practice of Semantic Web Reasoning, PPSWR 2004 : Second International Workshop, PPSWR 2004, St. Malo, France, September 2004, Proceedings (Lecture Notes in Computer Science Vol.3208) (2004. VII, 165 p. 23,5 cm)
  • 洋書
Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7358) (2012. 2012. XVI, 789 S. 235 mm)
  • 洋書

Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7358) (2012. 2012. XVI, 789 S. 235 mm)  Paperback

Herausgegeben von Parthasarathy, Madhusudan/ Seshia, Sanjit A.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
IoT Streams for Data-Driven Predictive Maintenance and IoT, Edge, and Mobile for Embedded Machine Learning : Second International Workshop, IoT Streams 2020, and First International Workshop, ITEM 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium,
  • 洋書

IoT Streams for Data-Driven Predictive Maintenance and IoT, Edge, and Mobile for Embedded Machine Learning : Second International Workshop, IoT Streams 2020, and First International Workshop, ITEM 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium,  Paperback

Gama, Joao (EDT)/ Pashami, Sepideh (EDT)/ Bifet, Albert (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer Nature Switzerland AG(2021/01発売)
  • ポイント 189pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings (Lecture Notes in
  • 洋書

Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings (Lecture Notes in  Paperback,  言語:ENG

Lambers, Leen (EDT)/ Uchitel, Sebastián (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 94pt
  • 海外取次在庫
Selected Areas in Cryptography : 18th International Workshop, SAC 2011, Toronto, Canada, August 11-12, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology .7118) (2012. 2012. XIII, 431 S.)
  • 洋書

Selected Areas in Cryptography : 18th International Workshop, SAC 2011, Toronto, Canada, August 11-12, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology .7118) (2012. 2012. XIII, 431 S.)  Paperback

Herausgegeben von Miri, Ali/ Vaudenay, Serge

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