Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dimitrova, Rayna (EDT)/ Lahav, Ori (EDT)/ Wolff, Sebastian (EDT)

  • ウェブストア価格 ¥17,829(本体¥16,209)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 162pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dimitrova, Rayna (EDT)/ Lahav, Ori (EDT)/ Wolff, Sebastian (EDT)

  • ウェブストア価格 ¥17,829(本体¥16,209)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 162pt
  • 海外取次在庫
Knowledge Engineering and Knowledge Management : 19th International Conference, EKAW 2014, Linköping, Sweden, November 24-28, 2014, Proceedings (Lecture Notes in Artificial Intelligence) (2014)
  • 洋書

Knowledge Engineering and Knowledge Management : 19th International Conference, EKAW 2014, Linköping, Sweden, November 24-28, 2014, Proceedings (Lecture Notes in Artificial Intelligence) (2014)  Paperback

Janowicz, Krzysztof (EDT)/ Schlobach, Stefan (EDT)/ Lambrix, Patrick (EDT)

  • Springer International Publishing AG(2014/11発売)
  • ご注文いただけません
Aspects of Computational Intelligence: Theory and Applications : Revised and Selected Papers of the 15th IEEE International Conference on Intelligent Engineering Systems 2011, INES 2011 (Topics in Intelligent Engineering and Informatics) (2013)
  • 洋書

Aspects of Computational Intelligence: Theory and Applications : Revised and Selected Papers of the 15th IEEE International Conference on Intelligent Engineering Systems 2011, INES 2011 (Topics in Intelligent Engineering and Informatics) (2013)  Paperback

Madarász, Ladislav (EDT)/ Živčák, Jozef (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/09発売)
  • ポイント 209pt
  • 海外取次在庫
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

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

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 95pt
  • 海外取次在庫
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 95pt
  • 海外取次在庫
Intelligent Technologies for Interactive Entertainment : 12th EAI International Conference, INTETAIN 2020, Virtual Event, December 12-14, 2020, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunicatio
  • 洋書

Intelligent Technologies for Interactive Entertainment : 12th EAI International Conference, INTETAIN 2020, Virtual Event, December 12-14, 2020, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunicatio  Paperback,  言語:ENG

Shaghaghi, Navid (EDT)/ Lamberti, Fabrizio (EDT)/ Beams, Brian (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2021/05発売)
  • ポイント 104pt
  • 海外取次在庫
From Electronic to Mobile Government (2024. viii, 212 S. VIII, 212 p. 32 illus., 26 illus. in color. 235 mm)
  • 洋書

From Electronic to Mobile Government (2024. viii, 212 S. VIII, 212 p. 32 illus., 26 illus. in color. 235 mm)  Hardcover

Herausgegeben:Homburg, Vincent/ Lampoltshammer, Thomas J./ Solvak, Mihkel

  • ウェブストア価格 ¥13,384(本体¥12,168)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; JOHAN(2024発売)
  • ポイント 121pt
  • 海外取次在庫
Computer Security. ESORICS 2021 International Workshops : CyberICPS, SECPRE, ADIoT, SPOSE, CPS4CIP, and CDT&SECOMANE, Darmstadt, Germany, October 4-8, 2021, Revised Selected Papers (Security and Cryptology)
  • 洋書

Computer Security. ESORICS 2021 International Workshops : CyberICPS, SECPRE, ADIoT, SPOSE, CPS4CIP, and CDT&SECOMANE, Darmstadt, Germany, October 4-8, 2021, Revised Selected Papers (Security and Cryptology)  Paperback,  言語:ENG

Katsikas, Sokratis (EDT)/ Lambrinoudakis, Costas (EDT)/ Cuppens, Nora (EDT)

  • ウェブストア価格 ¥16,780(本体¥15,255)
  • Springer Nature Switzerland AG(2022/02発売)
  • ポイント 152pt
  • 海外取次在庫
Navigating Digital Transformation : Organizational Change, Digital Work, and Individual Behavior (Lecture Notes in Information Systems and Organisation) (2025)
  • 洋書
  • 電子版あり

Navigating Digital Transformation : Organizational Change, Digital Work, and Individual Behavior (Lecture Notes in Information Systems and Organisation) (2025)  Paperback,  言語:ENG

Agrifoglio, Rocco (EDT)/ Lazazzara, Alessandra (EDT)/ Za, Stefano (EDT)

  • ウェブストア価格 ¥29,472(本体¥26,793)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 267pt
  • 海外からお取り寄せ(通常6~9週間)
Virtual Applications : Applications with Virtual Inhabited 3D Worlds (2003. 330 p.)
  • 洋書

Virtual Applications : Applications with Virtual Inhabited 3D Worlds (2003. 330 p.)  Hardcover

Andersen, Peter B./ Qvortrup, Lars

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 209pt
  • 海外取次在庫
Modernizing Processes in Public Administrations : Process Management in the Age of e-Government and New Public Management (Bpm Competence) (2012)
  • 洋書

Modernizing Processes in Public Administrations : Process Management in the Age of e-Government and New Public Management (Bpm Competence) (2012)  Paperback,  言語:ENG

Becker, Jörg/ Algermissen, Lars/ Falk, Thorsten

  • ウェブストア価格 ¥22,866(本体¥20,788)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/03発売)
  • ポイント 207pt
  • 海外取次在庫
User Modeling, Adaptation and Personalization : 23rd International Conference, UMAP 2015, Dublin, Ireland, June 29 -- July 3, 2015. Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2015)
  • 洋書

User Modeling, Adaptation and Personalization : 23rd International Conference, UMAP 2015, Dublin, Ireland, June 29 -- July 3, 2015. Proceedings (Information Systems and Applications, incl. Internet/web, and Hci) (2015)  Paperback

Ricci, Francesco (EDT)/ Bontcheva, Kalina (EDT)/ Conlan, Owen (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2015/06発売)
  • ポイント 104pt
  • 海外取次在庫
Advances in Services Computing : 9th Asia-Pacific Services Computing Conference, APSCC 2015, Bangkok, Thailand, December 7-9, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Advances in Services Computing : 9th Asia-Pacific Services Computing Conference, APSCC 2015, Bangkok, Thailand, December 7-9, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Yao, Lina (EDT)/ Xie, Xia (EDT)/ Zhang, Qingchen (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Shaping the Digital Transformation of the Education Ecosystem in Europe : 31st EDEN Annual Conference 2022, Tallinn, Estonia, June 20-22, 2022, Proceedings (Communications in Computer and Information Science)
  • 洋書

Shaping the Digital Transformation of the Education Ecosystem in Europe : 31st EDEN Annual Conference 2022, Tallinn, Estonia, June 20-22, 2022, Proceedings (Communications in Computer and Information Science)  Paperback

Väljataga, Terje (EDT)/ Laanpere, Mart (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 209pt
  • 海外取次在庫
Mobile, Secure, and Programmable Networking : 6th International Conference, MSPN 2020, Paris, France, October 28-29, 2020, Revised Selected Papers (Computer Communication Networks and Telecommunications)
  • 洋書

Mobile, Secure, and Programmable Networking : 6th International Conference, MSPN 2020, Paris, France, October 28-29, 2020, Revised Selected Papers (Computer Communication Networks and Telecommunications)  Paperback

Bouzefrane, Samia (EDT)/ Laurent, Maryline (EDT)/ Boumerdassi, Selma (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2021/01発売)
  • ポイント 104pt
  • 海外取次在庫
AI Solutions for the United Nations Sustainable Development Goals (UN SDGs) : A Practical Approach Using JavaScript (First Edition. 2024. xvi, 342 S. XVI, 342 p. 133 illus. 235 mm)
  • 洋書
  • 電子版あり

AI Solutions for the United Nations Sustainable Development Goals (UN SDGs) : A Practical Approach Using JavaScript (First Edition. 2024. xvi, 342 S. XVI, 342 p. 133 illus. 235 mm)  Paperback,  言語:ENG

Fowdur, Tulsi Pawan/Babooram, Lavesh/ Mitarbeit:Lalitesh, Dobee/ Ashven, SANGHAN/ Gyaneeta, LUCHMUNPARSAD/ Adnaan, Kurmally Mohammad/ Avishaye, DOMAH/ Dheeraj, RADJOO/ Vandana, HANUMUNTHADU/ Maadhavee, MOHADEB

  • ウェブストア価格 ¥16,063(本体¥14,603)
  • SPRINGER, BERLIN; APRESS(2024発売)
  • ポイント 146pt
  • 海外取次在庫
Technology Systems and Management : First International Conference, ICTSM 2011, Mumbai, India, February 25-27, 2011. Selected Papers (Communications in Computer and Information Science 145) (2011. XVIII, 334 S.)
  • 洋書

Technology Systems and Management : First International Conference, ICTSM 2011, Mumbai, India, February 25-27, 2011. Selected Papers (Communications in Computer and Information Science 145) (2011. XVIII, 334 S.)  Paperback

Herausgegeben von Shah, Ketan/ Lakshmi Gorty, V. R./ Phirke, Ajay

  • ウェブストア価格 ¥13,384(本体¥12,168)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 121pt
  • 海外取次在庫
Computer Analysis of Images and Patterns : 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Computer Analysis of Images and Patterns : 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Tsapatsoulis, Nicolas (EDT)/ Lanitis, Andreas (EDT)/ Pattichis, Marios (EDT)

  • ウェブストア価格 ¥14,682(本体¥13,348)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 133pt
  • 海外取次在庫