TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions (Lecture Notes in Computer Science) (2024)
  • 洋書

TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Hartmanns, Arnd (EDT)/ Kordon, Fabrice (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 104pt
  • 海外取次在庫
New Trends in Database and Information Systems : ADBIS 2024 Short Papers, Workshops, Doctoral Consortium and Tutorials, Bayonne, France, August 28-31, 2024, Proceedings (Communications in Computer and Information Science 2186) (2024. xxii, 402 S. XXII, 402 p. 102 illus., 84 illus. in color. 235 mm)
  • 洋書

New Trends in Database and Information Systems : ADBIS 2024 Short Papers, Workshops, Doctoral Consortium and Tutorials, Bayonne, France, August 28-31, 2024, Proceedings (Communications in Computer and Information Science 2186) (2024. xxii, 402 S. XXII, 402 p. 102 illus., 84 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Tekli, Joe/ Gamper, Johann/ Chbeir, Richard/ Manolopoulos, Yannis/ Sassi, Salma/ Ivanovic, Mirjana/ Vargas-Solar, Genoveva/ Zumpano, Ester

  • ウェブストア価格 ¥22,497(本体¥20,452)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 204pt
  • 海外取次在庫
Knowledge Graph Reasoning : A Neuro-Symbolic Perspective (Synthesis Lectures on Data, Semantics, and Knowledge) (2024. ix, 196 S. IX, 196 p. 37 illus., 32 illus. in color. 240 mm)
  • 洋書

Knowledge Graph Reasoning : A Neuro-Symbolic Perspective (Synthesis Lectures on Data, Semantics, and Knowledge) (2024. ix, 196 S. IX, 196 p. 37 illus., 32 illus. in color. 240 mm)  Hardcover,  言語:ENG

Cheng, Kewei/Sun, Yizhou

  • ウェブストア価格 ¥10,585(本体¥9,623)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 96pt
  • 海外取次在庫
Navigating the Intersection of Artificial Intelligence, Security, and Ethical Governance : Sentinels of Cyberspace (Advanced Sciences and Technologies for Security Applications) (2024)
  • 洋書

Navigating the Intersection of Artificial Intelligence, Security, and Ethical Governance : Sentinels of Cyberspace (Advanced Sciences and Technologies for Security Applications) (2024)  Hardcover

Montasari, Reza (EDT)/ Jahankhani, Hamid (EDT)/ Masys, Anthony J. (EDT)

  • ウェブストア価格 ¥37,506(本体¥34,097)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 340pt
  • 海外取次在庫
Analytics, Machine Learning, and Artificial Intelligence : Second Analytics Global Conference, AGC 2024, Kolkata, India, March 6-7, 2024, Revised Selected Papers (Communications in Computer and Information Science 2224) (2024. x, 267 S. X, 267 p. 135 illus., 84 illus. in color. 235 mm)
  • 洋書

Analytics, Machine Learning, and Artificial Intelligence : Second Analytics Global Conference, AGC 2024, Kolkata, India, March 6-7, 2024, Revised Selected Papers (Communications in Computer and Information Science 2224) (2024. x, 267 S. X, 267 p. 135 illus., 84 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Dhar, Suparna/ Goswami, Sanjay/ Unni Krishnan, Dinesh Kumar/ Bose, Indranil/ Dubey, Rameshwar/ Mazumdar, Chandan

  • ウェブストア価格 ¥18,526(本体¥16,842)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 168pt
  • 海外取次在庫
Artificial Intelligence and Speech Technology : 5th International Conference, AIST 2023, Delhi, India, December 26-27, 2023, Proceedings, Part I (Communications in Computer and Information Science) (2024)
  • 洋書

Artificial Intelligence and Speech Technology : 5th International Conference, AIST 2023, Delhi, India, December 26-27, 2023, Proceedings, Part I (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Dev, Amita (EDT)/ Sharma, Arun (EDT)/ Agrawal, S. S. (EDT)

  • ウェブストア価格 ¥20,827(本体¥18,934)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 189pt
  • 海外からお取り寄せ(通常6~9週間)
Intelligent Systems in Computing and Communication : First International Conference, ISCComm 2023, Moodabidri, India, December 8-9, 2023, Proceedings, Part I (Communications in Computer and Information Science 2231) (2024. xxi, 377 S. XXI, 377 p. 178 illus., 139 illus. in color. 235 mm)
  • 洋書

Intelligent Systems in Computing and Communication : First International Conference, ISCComm 2023, Moodabidri, India, December 8-9, 2023, Proceedings, Part I (Communications in Computer and Information Science 2231) (2024. xxi, 377 S. XXI, 377 p. 178 illus., 139 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:T., Shreekumar/ L., Dinesha/ Rajesh, Sreeja

  • ウェブストア価格 ¥34,409(本体¥31,281)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 312pt
  • 海外取次在庫
Machine Learning Algorithms : First International Conference, ICMLA 2024, Himachal Pradesh, India, February 23-24, 2024, Proceedings (Communications in Computer and Information Science) (2024)
  • 洋書

Machine Learning Algorithms : First International Conference, ICMLA 2024, Himachal Pradesh, India, February 23-24, 2024, Proceedings (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Khurana, Meenu (EDT)/ Thakur, Abhishek (EDT)/ Kantha, Praveen (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 189pt
  • 海外取次在庫
Scalable Uncertainty Management : 16th International Conference, SUM 2024, Palermo, Italy, November 27-29, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Scalable Uncertainty Management : 16th International Conference, SUM 2024, Palermo, Italy, November 27-29, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Destercke, Sébastien (EDT)/ Martinez, Maria Vanina (EDT)/ Sanfilippo, Giuseppe (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 151pt
  • 海外取次在庫
Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings (Lecture Notes in Computer Science) (2025)
  • 洋書

Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings (Lecture Notes in Computer Science) (2025)  Paperback

Kosmatov, Nikolai (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥29,170(本体¥26,519)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 265pt
  • 海外取次在庫
Metaverse - METAVERSE 2024 : 20th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings (Lecture Notes in Computer Science) (2025)
  • 洋書

Metaverse - METAVERSE 2024 : 20th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings (Lecture Notes in Computer Science) (2025)  Paperback,  言語:ENG

Xing, Chunxiao (EDT)/ Lai, Jiacai (EDT)/ Zhang, Liang-Jie (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 104pt
  • 海外取次在庫
Theoretical Aspects of Computing - ICTAC 2024 : 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings (Lecture Notes in Computer Science 15373) (2024. xviii, 410 S. XVIII, 410 p. 72 illus., 24 illus. in color. 235 m)
  • 洋書

Theoretical Aspects of Computing - ICTAC 2024 : 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings (Lecture Notes in Computer Science 15373) (2024. xviii, 410 S. XVIII, 410 p. 72 illus., 24 illus. in color. 235 m)  Paperback,  言語:ENG

Herausgegeben:Anutariya, Chutiporn/ Bonsangue, Marcello M.

  • ウェブストア価格 ¥17,468(本体¥15,880)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 158pt
  • 海外取次在庫
PRIMA 2024: Principles and Practice of Multi-Agent Systems : 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings (Lecture Notes in Computer Science 15395) (2024. xvi, 462 S. XVI, 462 p. 101 illus., 86 illus. in color. 235 mm)
  • 洋書

PRIMA 2024: Principles and Practice of Multi-Agent Systems : 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings (Lecture Notes in Computer Science 15395) (2024. xvi, 462 S. XVI, 462 p. 101 illus., 86 illus. in color. 235 mm)  Paperback

Herausgegeben:Arisaka, Ryuta/ Sanchez-Anguix, Victor/ Stein, Sebastian/ Aydogan, Reyhan/ van der Torre, Leon/ Ito, Takayuki

  • ウェブストア価格 ¥19,585(本体¥17,805)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 178pt
  • 海外取次在庫
Software Engineering and Formal Methods : 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science 15280) (2024. xv, 462 S. XV, 462 p. 243 illus., 190 illus. in color. 235 mm)
  • 洋書

Software Engineering and Formal Methods : 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science 15280) (2024. xv, 462 S. XV, 462 p. 243 illus., 190 illus. in color. 235 mm)  Paperback

Herausgegeben:Madeira, Alexandre/ Knapp, Alexander

  • ウェブストア価格 ¥18,526(本体¥16,842)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 168pt
  • 海外取次在庫
AI and Multimodal Services  - AIMS 2024 : 13th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings (Lecture Notes in Computer Science 15421) (2024. xiii, 113 S. XIII, 113 p. 40 illus., 37 illus. in color. 235 mm)
  • 洋書

AI and Multimodal Services - AIMS 2024 : 13th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings (Lecture Notes in Computer Science 15421) (2024. xiii, 113 S. XIII, 113 p. 40 illus., 37 illus. in color. 235 mm)  Paperback

Herausgegeben:Pan, Xiuqin/ Huang, Mengxing/ Zhang, Jiajia/ Chen, Junyang/ Zhang, Liang-Jie

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 120pt
  • 海外取次在庫
Intelligent Data Engineering and Automated Learning - IDEAL 2024 : 25th International Conference, Valencia, Spain, November 20-22, 2024, Proceedings, Part I (Lecture Notes in Computer Science 15346) (2024. xxviii, 516 S. XXVIII, 516 p. 163 illus., 144 illus. in color. 2)
  • 洋書

Intelligent Data Engineering and Automated Learning - IDEAL 2024 : 25th International Conference, Valencia, Spain, November 20-22, 2024, Proceedings, Part I (Lecture Notes in Computer Science 15346) (2024. xxviii, 516 S. XXVIII, 516 p. 163 illus., 144 illus. in color. 2)  Paperback

Herausgegeben:Julian, Vicente/ Camacho, David/ Yin, Hujun/ Alberola, Juan M./ Nogueira, Vitor Beires/ Novais, Paulo/ Talló/n-Ballesteros, Antonio

  • ウェブストア価格 ¥21,703(本体¥19,730)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 197pt
  • 海外取次在庫
Intelligent Data Engineering and Automated Learning - IDEAL 2024 : 25th International Conference, Valencia, Spain, November 20-22, 2024, Proceedings, Part II (Lecture Notes in Computer Science 15347) (2024. xxvii, 570 S. XXVII, 570 p. 176 illus., 143 illus. in color. 235)
  • 洋書

Intelligent Data Engineering and Automated Learning - IDEAL 2024 : 25th International Conference, Valencia, Spain, November 20-22, 2024, Proceedings, Part II (Lecture Notes in Computer Science 15347) (2024. xxvii, 570 S. XXVII, 570 p. 176 illus., 143 illus. in color. 235)  Paperback

Herausgegeben:Julian, Vicente/ Camacho, David/ Yin, Hujun/ Alberola, Juan M./ Nogueira, Vitor Beires/ Novais, Paulo/ Talló/n-Ballesteros, Antonio

  • ウェブストア価格 ¥21,703(本体¥19,730)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 197pt
  • 海外取次在庫
The Semantic Web - ISWC 2024 : 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part I (Lecture Notes in Computer Science 15231) (2024. xxxix, 259 S. XXXIX, 259 p. 69 illus., 55 illus. in color. 235 m)
  • 洋書

The Semantic Web - ISWC 2024 : 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part I (Lecture Notes in Computer Science 15231) (2024. xxxix, 259 S. XXXIX, 259 p. 69 illus., 55 illus. in color. 235 m)  Paperback

Herausgegeben:Demartini, Gianluca/ Hose, Katja/ Acosta, Maribel/ Palmonari, Matteo/ Cheng, Gong/ Skaf-Molli, Hala/ Ferranti, Nicolas/ Herná/ndez, Daniel/ Hogan, Aidan

  • ウェブストア価格 ¥15,350(本体¥13,955)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 139pt
  • 海外取次在庫
The Semantic Web - ISWC 2024 : 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part II (Lecture Notes in Computer Science 15232) (2024. xxxiv, 249 S. XXXIV, 249 p. 59 illus., 49 illus. in color. 235 m)
  • 洋書

The Semantic Web - ISWC 2024 : 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part II (Lecture Notes in Computer Science 15232) (2024. xxxiv, 249 S. XXXIV, 249 p. 59 illus., 49 illus. in color. 235 m)  Paperback

Herausgegeben:Demartini, Gianluca/ Hose, Katja/ Acosta, Maribel/ Palmonari, Matteo/ Cheng, Gong/ Skaf-Molli, Hala/ Ferranti, Nicolas/ Herná/ndez, Daniel/ Hogan, Aidan

  • ウェブストア価格 ¥15,350(本体¥13,955)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 139pt
  • 海外取次在庫
Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers : 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings (Lecture Notes in Computer Science 15453) (2024. xii, 187 S. XII, 187 p. 39 illus., 33 illus. in color. 235 mm)
  • 洋書

Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers : 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings (Lecture Notes in Computer Science 15453) (2024. xii, 187 S. XII, 187 p. 39 illus., 33 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Pfahl, Dietmar/ Gonzalez Huerta, Javier/ Kluender, Jil/ Anwar, Hina

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