Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science)
  • 洋書
  • 電子版あり

Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science)  Paperback,  言語:ENG

Ayala-Rincón, Mauricio/ de Moura, Flávio L. C.

  • ウェブストア価格 ¥10,698(本体¥9,726)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 97pt
  • 海外取次在庫
Intelligent Transport System in Smart Cities : Aspects and Challenges of Vehicular Networks and Cloud (Urban Computing)
  • 洋書
  • 電子版あり

Intelligent Transport System in Smart Cities : Aspects and Challenges of Vehicular Networks and Cloud (Urban Computing)  Hardcover,  言語:ENG

I. Meneguette, Rodolfo/ E. De Grande, Robson/ A. F. Loureiro, Antonio

  • ウェブストア価格 ¥36,380(本体¥33,073)
  • Springer International Publishing AG(2018/09発売)
  • ポイント 330pt
  • 海外取次在庫
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectur
  • 洋書

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectur  Paperback

Bernardo, Marco (EDT)/ De Nicola, Rocco (EDT)/ Hillston, Jane (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Hybrid Soft Computing for Image Segmentation
  • 洋書

Hybrid Soft Computing for Image Segmentation  Hardcover

Bhattacharyya, Siddhartha (EDT)/ Dutta, Paramartha (EDT)/ De, Sourav (EDT)

  • ウェブストア価格 ¥23,538(本体¥21,399)
  • Springer International Publishing AG(2016/11発売)
  • ポイント 213pt
  • 海外取次在庫
The Theory and Practice of Social Machines (Lecture Notes in Social Networks)
  • 洋書
  • 電子版あり

The Theory and Practice of Social Machines (Lecture Notes in Social Networks)  Hardcover

Shadbolt, Nigel/ O'Hara, Kieron/ De Roure, David

  • ウェブストア価格 ¥36,380(本体¥33,073)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 330pt
  • 海外取次在庫
Data Management in Pervasive Systems (Data-centric Systems and Applications)
  • 洋書

Data Management in Pervasive Systems (Data-centric Systems and Applications)  Hardcover

Colace, Francesco (EDT)/ De Santo, Massimo (EDT)/ Moscato, Vincenzo (EDT)

  • Springer International Publishing AG(2015/10発売)
  • ご注文いただけません
A Remote Integrated Testbed for Cooperating Objects (Springerbriefs in Cooperating Objects) (2014)
  • 洋書
  • 電子版あり

A Remote Integrated Testbed for Cooperating Objects (Springerbriefs in Cooperating Objects) (2014)  Paperback,  言語:ENG

Martinez-de Dios, Jose Ramiro/ Jimenez-Gonzalez, Adrian/ de San Bernabe, Alberto

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2013/10発売)
  • ポイント 106pt
  • 海外取次在庫
COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy
  • 洋書

COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy  Hardcover

De Angeli, Antonella (EDT)/ Bannon, Liam (EDT)/ Marti, Patrizia (EDT)

  • ウェブストア価格 ¥24,469(本体¥22,245)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 222pt
  • 海外からお取り寄せ(通常6~9週間)
Trends in Practical Applications of Scalable Multi-Agent Systems, the PAAMS Collection (Advances in Intelligent Systems and Computing)
  • 洋書

Trends in Practical Applications of Scalable Multi-Agent Systems, the PAAMS Collection (Advances in Intelligent Systems and Computing)  Paperback

de la Prieta, Fernando (EDT)/ Escalona, María J. (EDT)/ Corchuelo, Rafael (EDT)

  • ウェブストア価格 ¥36,380(本体¥33,073)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 330pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Games and Learning Alliance : 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Games and Learning Alliance : 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

de Gloria, Alessandro (EDT)/ Veltkamp, Remco (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Augmented Reality, Virtual Reality, and Computer Graphics : Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Augmented Reality, Virtual Reality, and Computer Graphics : Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

De Paolis, Lucio Tommaso (EDT)/ Mongelli, Antonio (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 106pt
  • 海外取次在庫
Augmented Reality, Virtual Reality, and Computer Graphics : Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Augmented Reality, Virtual Reality, and Computer Graphics : Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

De Paolis, Lucio Tommaso (EDT)/ Mongelli, Antonio (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

De Nicola, Rocco (EDT)/ Kühn, Eva (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Embedded Systems Design with Special Arithmetic and Number Systems
  • 洋書
  • 電子版あり

Embedded Systems Design with Special Arithmetic and Number Systems  Hardcover

Molahosseini, Amir Sabbagh (EDT)/ de Sousa, Leonel Seabra (EDT)/ Chang, Chip-Hong (EDT)

  • ウェブストア価格 ¥23,538(本体¥21,399)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 213pt
  • 海外取次在庫
TestGoal : Results-Driven Testing
  • 洋書

TestGoal : Results-Driven Testing  Hardcover

Grood, D.-J. de

  • Springer(2008/05発売)
  • ご注文いただけません
Quantum Zero-Error Information Theory
  • 洋書

Quantum Zero-Error Information Theory  Hardcover,  言語:ENG

B. Guedes, Elloá/ de Assis, Francisco Marcos/ Medeiros, Rex A. C.

  • ウェブストア価格 ¥25,679(本体¥23,345)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 233pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Bildverarbeitung für die Medizin 2024 : Proceedings, German Conference on Medical Image Computing, Erlangen, March 10-12, 2024 (Informatik aktuell)
  • 洋書

Bildverarbeitung für die Medizin 2024 : Proceedings, German Conference on Medical Image Computing, Erlangen, March 10-12, 2024 (Informatik aktuell)  Paperback

Maier, Andreas (EDT)/ Deserno, Thomas M. (EDT)/ Handels, Heinz (EDT)

  • ウェブストア価格 ¥25,679(本体¥23,345)
  • Springer Vieweg(2024/02発売)
  • ポイント 233pt
  • 海外取次在庫
Animation and Performance Capture Using Digitized Models (Cognitive Systems Monographs .5) (2010. 2013. XVI, 170 S. 5 Tabellen. 235 mm)
  • 洋書

Animation and Performance Capture Using Digitized Models (Cognitive Systems Monographs .5) (2010. 2013. XVI, 170 S. 5 Tabellen. 235 mm)  Paperback

Aguiar, Edilson de

  • SPRINGER, BERLIN(2013発売)
  • ご注文いただけません
Serious Games, Interaction and Simulation : 6th International Conference, SGAMES 2016, Porto, Portugal, June 16-17, 2016, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee
  • 洋書

Serious Games, Interaction and Simulation : 6th International Conference, SGAMES 2016, Porto, Portugal, June 16-17, 2016, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee  Paperback,  言語:ENG

Vaz de Carvalho, Carlos (EDT)/ Escudeiro, Paula (EDT)/ Coelho, António (EDT)

  • Springer International Publishing AG(2016/12発売)
  • ご注文いただけません
Reliable Software Technologies - Ada-Europe 2015 : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

Reliable Software Technologies - Ada-Europe 2015 : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

de la Puente, Juan Antonio (EDT)/ Vardanega, Tullio (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2015/06発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。