Handbook of Model Checking (1st ed. 2018. 2018. xlviii, 1212 S. XLVIII, 1212 p. 220 illus., 6 illu)
  • 洋書

Handbook of Model Checking (1st ed. 2018. 2018. xlviii, 1212 S. XLVIII, 1212 p. 220 illus., 6 illu)  Hardcover

Herausgegeben von Clarke, Edmund M./ Henzinger, Thomas A./ Veith, Helmut

  • ウェブストア価格 ¥36,842(本体¥33,493)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2018発売)
  • ポイント 334pt
  • 海外からお取り寄せ(通常6~9週間)
Cyber Security : Critical Infrastructure Protection (Computational Methods in Applied Sciences)
  • 洋書

Cyber Security : Critical Infrastructure Protection (Computational Methods in Applied Sciences)  Hardcover

Lehto, Martti (EDT)/ Neittaanmäki, Pekka (EDT)

  • ウェブストア価格 ¥37,506(本体¥34,097)
  • Springer Nature Switzerland AG(2022/04発売)
  • ポイント 340pt
  • 海外取次在庫
Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2013 (Lecture Notes in Electrical Engineering) (2015)
  • 洋書

Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2013 (Lecture Notes in Electrical Engineering) (2015)  Hardcover

Louërat, Marie-Minerve (EDT)/ Maehne, Torsten (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2014/09発売)
  • ポイント 208pt
  • 海外取次在庫
[Set Kemper, Datenbanksysteme, Einführung, 10. Aufl + Kemper, Übungsbuch Datenbanksysteme, 3. Aufl.] (De Gruyter Studium) (2023. 1328 S. 240 mm)
  • 洋書

[Set Kemper, Datenbanksysteme, Einführung, 10. Aufl + Kemper, Übungsbuch Datenbanksysteme, 3. Aufl.] (De Gruyter Studium) (2023. 1328 S. 240 mm)  Paperback

Kemper, Alfons/Eickler, André/Wimmer, Martin

  • ウェブストア価格 ¥17,204(本体¥15,640)
  • DE GRUYTER(2023発売)
  • ポイント 156pt
  • 海外からお取り寄せ(通常6~9週間)
テレプレゼンスの最前線:理論、測定、技術<br>Immersed in Media : Telepresence Theory, Measurement & Technology
  • 洋書
  • 電子版あり

テレプレゼンスの最前線:理論、測定、技術
Immersed in Media : Telepresence Theory, Measurement & Technology
 Hardcover

Lombard, Matthew (EDT)/ Biocca, Frank (EDT)/ Freeman, Jonathan (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2015/06発売)
  • ポイント 208pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
From Requirements to Java in a Snap : Model-Driven Requirements Engineering in Practice (2015)
  • 洋書

From Requirements to Java in a Snap : Model-Driven Requirements Engineering in Practice (2015)  Hardcover

Śmiałek, Michał/ Nowakowski, Wiktor

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Near Threshold Computing : Technology, Methods and Applications
  • 洋書

Near Threshold Computing : Technology, Methods and Applications  Hardcover

Hübner, Michael (EDT)/ Silvano, Cristina (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Cancer Prevention through Early Detection : Second International Workshop, CaPTion 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Cancer Prevention through Early Detection : Second International Workshop, CaPTion 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Ali, Sharib (EDT)/ van der Sommen, Fons (EDT)/ van Eijnatten, Maureen (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 208pt
  • 海外取次在庫
Automotive Software Architectures : An Introduction (2ND)
  • 洋書

Automotive Software Architectures : An Introduction (2ND)  Paperback,  言語:ENG

Staron, Miroslaw

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 123pt
  • 海外取次在庫
The Dark Side of Silicon : Energy Efficient Computing in the Dark Silicon Era
  • 洋書

The Dark Side of Silicon : Energy Efficient Computing in the Dark Silicon Era  Hardcover

Rahmani, Amir M. (EDT)/ Liljeberg, Pasi (EDT)/ Hemani, Ahmed (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 208pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
コンピュータ感情工学<br>Engineering Computational Emotion - a Reference Model for Emotion in Artificial Systems (Cognitive Systems Monographs)
  • 洋書
  • 電子版あり

コンピュータ感情工学
Engineering Computational Emotion - a Reference Model for Emotion in Artificial Systems (Cognitive Systems Monographs)
 Hardcover,  言語:ENG

Sánchez-Escribano, M. Guadalupe

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 208pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Green Mobile Cloud Computing (2022)
  • 洋書

Green Mobile Cloud Computing (2022)  Hardcover

De, Debashis (EDT)/ Mukherjee, Anwesha (EDT)/ Buyya, Rajkumar (EDT)

  • ウェブストア価格 ¥37,506(本体¥34,097)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 340pt
  • 海外取次在庫
Computer Intelligence against Pandemics : Tools and Methods to Face New Strains of Covid-19 (Intelligent Biomedical Data Analysis) -- Hardback
  • 洋書

Computer Intelligence against Pandemics : Tools and Methods to Face New Strains of Covid-19 (Intelligent Biomedical Data Analysis) -- Hardback  Hardcover

Koeppen, Mario

  • ウェブストア価格 ¥43,760(本体¥39,782)
  • De Gruyter(2023/08発売)
  • ポイント 397pt
  • 海外取次在庫
Augmented and Virtual Reality in Industry 5.0 (Augmented and Virtual Reality) -- Hardback
  • 洋書

Augmented and Virtual Reality in Industry 5.0 (Augmented and Virtual Reality) -- Hardback  Hardcover

Jain, Vishal

  • ウェブストア価格 ¥38,756(本体¥35,233)
  • De Gruyter(2023/06発売)
  • ポイント 352pt
  • 海外取次在庫
Transactions on Petri Nets and Other Models of Concurrency VIII (Lecture Notes in Computer Science) (2013)
  • 洋書

Transactions on Petri Nets and Other Models of Concurrency VIII (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Koutny, Maciej (EDT)/ van der Aalst, Wil M. P. (EDT)/ Yakovlev, Alex (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 104pt
  • 海外取次在庫
ROBOT2013: First Iberian Robotics Conference : Advances in Robotics, Vol. 1 (Advances in Intelligent Systems and Computing) (2014)
  • 洋書

ROBOT2013: First Iberian Robotics Conference : Advances in Robotics, Vol. 1 (Advances in Intelligent Systems and Computing) (2014)  Paperback,  言語:ENG

Armada, Manuel A. (EDT)/ Sanfeliu, Alberto (EDT)/ Ferre, Manuel (EDT)

  • ウェブストア価格 ¥45,841(本体¥41,674)
  • Springer International Publishing AG(2013/12発売)
  • ポイント 416pt
  • 海外取次在庫
物流のためのクラウド・コンピューティング<br>Cloud Computing for Logistics (Lecture Notes in Logistics) (2015)
  • 洋書
  • 電子版あり

物流のためのクラウド・コンピューティング
Cloud Computing for Logistics (Lecture Notes in Logistics) (2015)
 Hardcover

ten Hompel, Michael (EDT)/ Rehof, Jakob (EDT)/ Wolf, Oliver (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/01発売)
  • ポイント 104pt
  • 海外取次在庫
Wideband CMOS Receivers (Springerbriefs in Electrical and Computer Engineering)
  • 洋書

Wideband CMOS Receivers (Springerbriefs in Electrical and Computer Engineering)  Paperback

Fernandes, Miguel D. (EDT)/ Oliveira, Luis B. (EDT)

  • Springer International Publishing AG(2015/07発売)
  • ご注文いただけません
Fractional Order Darwinian Particle Swarm Optimization : Applications and Evaluation of an Evolutionary Algorithm (Springerbriefs in Applied Sciences and Technology) (2016)
  • 洋書

Fractional Order Darwinian Particle Swarm Optimization : Applications and Evaluation of an Evolutionary Algorithm (Springerbriefs in Applied Sciences and Technology) (2016)  Paperback,  言語:ENG

Couceiro, Micael/ Ghamisi, Pedram

  • Springer International Publishing AG(2015/06発売)
  • ご注文いただけません
Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Design
  • 洋書

Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Design  Hardcover,  言語:ENG

Fakhfakh, Mourad (EDT)/ Tlelo-Cuautle, Esteban (EDT)/ Siarry, Patrick (EDT)

  • Springer International Publishing AG(2015/07発売)
  • ご注文いただけません