Speech and Computer : 24th International Conference, SPECOM 2022, Gurugram, India, November 14-16, 2022, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • ポイントキャンペーン

Speech and Computer : 24th International Conference, SPECOM 2022, Gurugram, India, November 14-16, 2022, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Prasanna, S. R. Mahadeva (EDT)/ Karpov, Alexey (EDT)/ Samudravijaya, K. (EDT)

  • ウェブストア価格 ¥26,354(本体¥23,959)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 478pt
  • 海外取次在庫
Theory and Applications of Satisfiability Testing - SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Theory and Applications of Satisfiability Testing - SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Janota, Mikoláš (EDT)/ Lynce, Inês (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/06発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Akshay, S. (EDT)/ Niemetz, Aina (EDT)/ Sankaranarayanan, Sriram (EDT)

  • ウェブストア価格 ¥30,779(本体¥27,981)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 558pt
  • 海外からお取り寄せ(通常6~9週間)
Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Akshay, S. (EDT)/ Niemetz, Aina (EDT)/ Sankaranarayanan, Sriram (EDT)

  • ウェブストア価格 ¥36,375(本体¥33,069)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 660pt
  • 海外からお取り寄せ(通常6~9週間)
Smart Technologies for Sustainable and Resilient Ecosystems : 3rd EAI International Conference, Edge-IoT 2022, and 4th EAI International Conference, SmartGov 2022, Virtual Events, November 16-18, 2022, Proceedings (Lecture Notes of the Institute for
  • 洋書
  • ポイントキャンペーン

Smart Technologies for Sustainable and Resilient Ecosystems : 3rd EAI International Conference, Edge-IoT 2022, and 4th EAI International Conference, SmartGov 2022, Virtual Events, November 16-18, 2022, Proceedings (Lecture Notes of the Institute for  Paperback

Lopes, Sérgio Ivan (EDT)/ Fraga-Lamas, Paula (EDT)/ Fernándes-Camáres, Tiago M. (EDT)

  • ウェブストア価格 ¥15,372(本体¥13,975)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 278pt
  • 海外取次在庫
Plug-and-Play Visual Subgraph Query Interfaces (Synthesis Lectures on Data Management)
  • 洋書
  • ポイントキャンペーン

Plug-and-Play Visual Subgraph Query Interfaces (Synthesis Lectures on Data Management)  Hardcover

Bhowmick, Sourav S./ Choi, Byron

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 198pt
  • 海外取次在庫
Human Interaction with Graphs (Synthesis Lectures on Data Management)
  • 洋書
  • ポイントキャンペーン

Human Interaction with Graphs (Synthesis Lectures on Data Management)  Paperback,  言語:ENG

Bhowmick, Sourav S./ Choi, Byron/ Li, Chengkai

  • ウェブストア価格 ¥15,387(本体¥13,989)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 278pt
  • 海外からお取り寄せ(通常6~9週間)
Logikkalküle in der Informatik : Wie wird Logik vom Rechner genutzt?. Lehrbuch (Studienbücher Informatik) (2014. xii, 232 S. XII, 232 S. 74 Abb. 240 mm)
  • 洋書
  • ポイントキャンペーン

Logikkalküle in der Informatik : Wie wird Logik vom Rechner genutzt?. Lehrbuch (Studienbücher Informatik) (2014. xii, 232 S. XII, 232 S. 74 Abb. 240 mm)  Paperback

Schenke, Michael

  • ウェブストア価格 ¥7,847(本体¥7,134)
  • VIEWEG+TEUBNER; SPRINGER FACHMEDIEN WIESBADEN; SPRING(2014発売)
  • ポイント 142pt
  • 海外取次在庫
Machine Ethics : From Machine Morals to the Machinery of Morality (Studies in Applied Philosophy, Epistemology and Rational Ethics)
  • 洋書
  • ポイントキャンペーン

Machine Ethics : From Machine Morals to the Machinery of Morality (Studies in Applied Philosophy, Epistemology and Rational Ethics)  Paperback

Pereira, Luís Moniz/ Lopes, António Barata

  • ウェブストア価格 ¥37,337(本体¥33,943)
  • Springer Nature Switzerland AG(2021/01発売)
  • ポイント 678pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Unternehmensmodellierung : Grundlagen, Methoden und Praktiken (Xpert.press) (2013. xix, 266 S. XIX, 266 S. 130 Abb. in Farbe. 240 mm)
  • 洋書
  • ポイントキャンペーン

Unternehmensmodellierung : Grundlagen, Methoden und Praktiken (Xpert.press) (2013. xix, 266 S. XIX, 266 S. 130 Abb. in Farbe. 240 mm)  Hardcover

Sandkuhl, Kurt/Wissotzki, Matthias/Stirna, Janis

  • ウェブストア価格 ¥17,007(本体¥15,461)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2013発売)
  • ポイント 308pt
  • 海外取次在庫
Data Science : Konzepte, Erfahrungen, Fallstudien und Praxis (2021. xliii, 359 S. XLIII, 359 S. 133 Abb., 90 Abb. in Farbe. Book + e)
  • 洋書
  • ポイントキャンペーン

Data Science : Konzepte, Erfahrungen, Fallstudien und Praxis (2021. xliii, 359 S. XLIII, 359 S. 133 Abb., 90 Abb. in Farbe. Book + e)

Herausgegeben:Frick, Detlev/ Gadatsch, Andreas/ Kaufmann, Jens/ Lankes, Birgit/ Quix, Christoph/ Schmidt, Andreas/ Schmitz, Uwe

  • ウェブストア価格 ¥15,698(本体¥14,271)
  • SPRINGER, BERLIN; SPRINGER VIEWEG(2022/02発売)
  • ポイント 284pt
  • 海外からお取り寄せ(通常6~9週間)
Grundkurs Algorithmen Und Datenstrukturen in Java : Eine Einfhrung in Die Praktische Informatik (5TH)
  • 洋書
  • ポイントキャンペーン

Grundkurs Algorithmen Und Datenstrukturen in Java : Eine Einfhrung in Die Praktische Informatik (5TH)  Paperback,  言語:GER

Solymosi, Andreas/ Grude, Ulrich

  • Vieweg + Teubner Verlag(2014/08発売)
  • ご注文いただけません
Cybercomplexity : A Macroscopic View of Cybersecurity Risk (Advanced Sciences and Technologies for Security Applications)
  • 洋書
  • ポイントキャンペーン

Cybercomplexity : A Macroscopic View of Cybersecurity Risk (Advanced Sciences and Technologies for Security Applications)  Paperback

Young, Carl S.

  • ウェブストア価格 ¥43,927(本体¥39,934)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 798pt
  • 海外取次在庫
Theory and Practice of Model Transformation : 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings (Lecture Notes in Computer Science) (2018)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Theory and Practice of Model Transformation : 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings (Lecture Notes in Computer Science) (2018)  Paperback,  言語:ENG

Rensink, Arend (EDT)/ Sánchez Cuadrado, Jesús (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/06発売)
  • ポイント 218pt
  • 海外取次在庫
Uncertainty in Multi-Source Databases (Studies in Fuzziness and Soft Computing Vol.130) (2003. 190 p. 24,5 cm)
  • 洋書
  • ポイントキャンペーン

Uncertainty in Multi-Source Databases (Studies in Fuzziness and Soft Computing Vol.130) (2003. 190 p. 24,5 cm)  Hardcover

Nair, Premchand S.

  • ウェブストア価格 ¥27,997(本体¥25,452)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 508pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 318pt
  • 海外取次在庫
High Performance Computing in Science and Engineering : Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22-25, 2017, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

High Performance Computing in Science and Engineering : Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22-25, 2017, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback

Kozubek, Tomáš (EDT)/ Čermák, Martin (EDT)/ Tichý, Petr (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Cooperative Control : A Post-Workshop Volume 2003 Block Island Workshop on Cooperative Control (Lecture Notes in Control and Information Sciences Vol.309) (2004. XII, 291 p. w. 210 figs. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Cooperative Control : A Post-Workshop Volume 2003 Block Island Workshop on Cooperative Control (Lecture Notes in Control and Information Sciences Vol.309) (2004. XII, 291 p. w. 210 figs. 23,5 cm)  Paperback,  言語:ENG

Ed. by A. S. Morse, N. Leonard and V. Kumar

  • ウェブストア価格 ¥27,997(本体¥25,452)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 508pt
  • 海外取次在庫
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,997(本体¥12,725)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 254pt
  • 海外取次在庫
Formal Methods for Components and Objects, FMCO 2003 : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 (Lecture Notes in Computer Science Vol.3188) (2004. VIII, 373 p.)
  • 洋書
  • ポイントキャンペーン

Formal Methods for Components and Objects, FMCO 2003 : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 (Lecture Notes in Computer Science Vol.3188) (2004. VIII, 373 p.)  Paperback

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

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