Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Gurfinkel, Arie (EDT)/ Ganesh, Vijay (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 95pt
  • 海外取次在庫
Inside a Secret Software Laboratory : An Ethnographic Study of a Global Software Package Producer (Research) (2012. xviii, 289 S. XVIII, 289 p. 19 illus. 210 mm)
  • 洋書

Inside a Secret Software Laboratory : An Ethnographic Study of a Global Software Package Producer (Research) (2012. xviii, 289 S. XVIII, 289 p. 19 illus. 210 mm)  Paperback,  言語:ENG

Grimm, Christine

  • ウェブストア価格 ¥13,384(本体¥12,168)
  • GABLER; SPRINGER, BERLIN; GABLER VERLAG(2012発売)
  • ポイント 121pt
  • 海外取次在庫
Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Gurfinkel, Arie (EDT)/ Ganesh, Vijay (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 95pt
  • 海外取次在庫
Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Gurfinkel, Arie (EDT)/ Ganesh, Vijay (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 95pt
  • 海外取次在庫
Creativity in Intelligent Technologies and Data Science : Third Conference, CIT&DS 2019, Volgograd, Russia, September 16-19, 2019, Proceedings, Part I (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Creativity in Intelligent Technologies and Data Science : Third Conference, CIT&DS 2019, Volgograd, Russia, September 16-19, 2019, Proceedings, Part I (Communications in Computer and Information Science)  Paperback,  言語:ENG

Kravets, Alla G. (EDT)/ Groumpos, Peter P. (EDT)/ Shcherbakov, Maxim (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Creativity in Intelligent Technologies and Data Science : Third Conference, CIT&DS 2019, Volgograd, Russia, September 16-19, 2019, Proceedings, Part II (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Creativity in Intelligent Technologies and Data Science : Third Conference, CIT&DS 2019, Volgograd, Russia, September 16-19, 2019, Proceedings, Part II (Communications in Computer and Information Science)  Paperback,  言語:ENG

Kravets, Alla G. (EDT)/ Groumpos, Peter P. (EDT)/ Shcherbakov, Maxim (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
A Practical Guide to Hybrid Natural Language Processing : Combining Neural Models and Knowledge Graphs for NLP
  • 洋書

A Practical Guide to Hybrid Natural Language Processing : Combining Neural Models and Knowledge Graphs for NLP  Paperback,  言語:ENG

Gomez-Perez, Jose Manuel/ Denaux, Ronald/ Garcia-Silva, Andres

  • ウェブストア価格 ¥37,759(本体¥34,327)
  • Springer Nature Switzerland AG(2021/06発売)
  • ポイント 343pt
  • 海外取次在庫
Supervised Sequence Labelling with Recurrent Neural Networks (Studies in Computational Intelligence)
  • 洋書

Supervised Sequence Labelling with Recurrent Neural Networks (Studies in Computational Intelligence)  Paperback

Graves, Alex

  • ウェブストア価格 ¥41,748(本体¥37,953)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/04発売)
  • ポイント 379pt
  • 海外取次在庫
Digital Twins : Advancements in Theory, Implementation, and Applications (2024. xiii, 196 S. XIII, 196 p. 43 illus., 40 illus. in color. 235 mm)
  • 洋書

Digital Twins : Advancements in Theory, Implementation, and Applications (2024. xiii, 196 S. XIII, 196 p. 43 illus., 40 illus. in color. 235 mm)  Hardcover

Gupta, Sunil/Iyer, Ravi S./Kumar, Sanjeev

  • ウェブストア価格 ¥45,516(本体¥41,379)
  • SPRINGER, BERLIN; SPRINGER(2024発売)
  • ポイント 413pt
  • 海外取次在庫
テレコミュニケーションのプランニング<br>Telecommunications Planning : Innovations in Pricing, Network Design and Management (Operations Research/Computer Science Interfaces Vol.33) (2006. VIII, 388 p. w. 76 ill.)
  • 洋書

テレコミュニケーションのプランニング
Telecommunications Planning : Innovations in Pricing, Network Design and Management (Operations Research/Computer Science Interfaces Vol.33) (2006. VIII, 388 p. w. 76 ill.)
 Hardcover,  言語:ENG

Ed. by S. Raghavan and G. Anandalingam

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • SPRINGER, BERLIN(2006発売)
  • ポイント 209pt
  • 海外取次在庫
Petri Net Technology for Communication-Based Systems : Advances in Petri Nets (Lecture Notes in Computer Science Vol.2472) (2003. VIII, 455 p.)
  • 洋書

Petri Net Technology for Communication-Based Systems : Advances in Petri Nets (Lecture Notes in Computer Science Vol.2472) (2003. VIII, 455 p.)  Paperback

Ed. H. Ehrig, W. Reisig, G. Rozenberg et al.

  • ウェブストア価格 ¥13,384(本体¥12,168)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 121pt
  • 海外取次在庫
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,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 104pt
  • 海外取次在庫
Das It-gesetz Compliance in Der It-sicherheit : Leitfaden Fur Ein Regelwerk Zur It-sicherheit Im Unternehmen (2ND)
  • 洋書

Das It-gesetz Compliance in Der It-sicherheit : Leitfaden Fur Ein Regelwerk Zur It-sicherheit Im Unternehmen (2ND)  Paperback,  言語:GER

Grunendahl, Ralf Torsten/ Steinbacher, Andreas F./ Will, Peter H. L.

  • Vieweg + Teubner Verlag(2012/05発売)
  • ご注文いただけません
Intelligence and Security Informatics : Pacific Asia Workshop, PAISI 2014, Tainan, Taiwan, May 13, 2014, Proceedings (Security and Cryptology) (2014)
  • 洋書

Intelligence and Security Informatics : Pacific Asia Workshop, PAISI 2014, Tainan, Taiwan, May 13, 2014, Proceedings (Security and Cryptology) (2014)  Paperback,  言語:ENG

Chau, Michael (EDT)/ Chen, Hsinchun (EDT)/ Wang, G. Alan (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2014/05発売)
  • ポイント 104pt
  • 海外取次在庫
Physical Geodesy : A Theoretical Introduction (Springer Textbooks in Earth Sciences, Geography and Environment) (2023)
  • 洋書

Physical Geodesy : A Theoretical Introduction (Springer Textbooks in Earth Sciences, Geography and Environment) (2023)  Paperback,  言語:ENG

Guo, Jun-Yi

  • ウェブストア価格 ¥14,734(本体¥13,395)
  • Springer International Publishing AG(2024/03発売)
  • ポイント 133pt
  • 海外からお取り寄せ(通常6~9週間)
Artificial Intelligence with and for Learning Sciences. Past, Present, and Future Horizons : First Workshop, WAILS 2024, Salerno, Italy, January 18-19, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Artificial Intelligence with and for Learning Sciences. Past, Present, and Future Horizons : First Workshop, WAILS 2024, Salerno, Italy, January 18-19, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Palomba, Fabio (EDT)/ Gravino, Carmine  (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 104pt
  • 海外取次在庫
Mobile Technologies for Smart Healthcare System Design (Wireless Networks) (2024)
  • 洋書

Mobile Technologies for Smart Healthcare System Design (Wireless Networks) (2024)  Hardcover,  言語:ENG

Guo, Xiaonan/ Wang, Yan/ Cheng, Jerry

  • ウェブストア価格 ¥41,956(本体¥38,142)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 381pt
  • 海外からお取り寄せ(通常6~9週間)
Verification of Data-Aware Processes via Satisfiability Modulo Theories (Lecture Notes in Business Information Processing)
  • 洋書

Verification of Data-Aware Processes via Satisfiability Modulo Theories (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Gianola, Alessandro

  • ウェブストア価格 ¥15,732(本体¥14,302)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 143pt
  • 海外取次在庫
Games and Learning Alliance : 13th International Conference, GALA 2024, Berlin, Germany, November 20-22, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Games and Learning Alliance : 13th International Conference, GALA 2024, Berlin, Germany, November 20-22, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Schönbohm, Avo (EDT)/ Bellotti, Francesco (EDT)/ Bucchiarone, Antonio (EDT)

  • ウェブストア価格 ¥29,367(本体¥26,698)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 266pt
  • 海外取次在庫
Garden of Wisdom : Timeless Teachings in an AI Era (International Series on Computer, Entertainment and Media Technology) (2025. xxiv, 640 S. XXIV, 640 p. 57 illus., 51 illus. in color. 235 mm)
  • 洋書
  • 電子版あり

Garden of Wisdom : Timeless Teachings in an AI Era (International Series on Computer, Entertainment and Media Technology) (2025. xxiv, 640 S. XXIV, 640 p. 57 illus., 51 illus. in color. 235 mm)  Hardcover,  言語:ENG

Gal-Or, Sharon

  • ウェブストア価格 ¥14,724(本体¥13,386)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ポイント 133pt
  • 海外からお取り寄せ(通常6~9週間)