Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin,
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin,  Paperback

Petrucci, Laure (EDT)/ Seceleanu, Cristina (EDT)/ Cavalcanti, Ana (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Fuzzy Logic in Intelligent System Design : Theory and Applications (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Fuzzy Logic in Intelligent System Design : Theory and Applications (Advances in Intelligent Systems and Computing)  Paperback

Melin, Patricia (EDT)/ Castillo, Oscar (EDT)/ Kacprzyk, Janusz (EDT)

  • ウェブストア価格 ¥36,619(本体¥33,290)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 664pt
  • 海外取次在庫
International Joint Conference SOCO'17-CISIS'17-ICEUTE'17 León, Spain, September 6-8, 2017, Proceeding (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

International Joint Conference SOCO'17-CISIS'17-ICEUTE'17 León, Spain, September 6-8, 2017, Proceeding (Advances in Intelligent Systems and Computing)  Paperback

Perez Garcia, Hilde (EDT)/ Alfonso-Cendon, Javier (EDT)/ Sanchez Gonzalez, Lidia (EDT)

  • ウェブストア価格 ¥47,390(本体¥43,082)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 860pt
  • 海外取次在庫
Advanced Logic Synthesis
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advanced Logic Synthesis  Hardcover

Reis, André Inácio (EDT)/ Drechsler, Rolf (EDT)

  • ウェブストア価格 ¥23,694(本体¥21,540)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 430pt
  • 海外取次在庫
Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback

Lahiri, Shuvendu (EDT)/ Reger, Giles (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Cloud Infrastructures, Services, and IoT Systems for Smart Cities : Second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20-21, 2017, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informa
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Cloud Infrastructures, Services, and IoT Systems for Smart Cities : Second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20-21, 2017, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informa  Paperback

Longo, Antonella (EDT)/ Zappatore, Marco (EDT)/ Villari, Massimo (EDT)

  • Springer International Publishing AG(2017/10発売)
  • ご注文いただけません
Human-Computer Interaction - INTERACT 2017 : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Human-Computer Interaction - INTERACT 2017 : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Bernhaupt, Regina (EDT)/ Dalvi, Girish (EDT)/ Joshi, Anirudha (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Human-Computer Interaction - INTERACT 2017 : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Human-Computer Interaction - INTERACT 2017 : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback

Bernhaupt, Regina (EDT)/ Dalvi, Girish (EDT)/ Joshi, Anirudha (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Human-Computer Interaction - INTERACT 2017 : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Human-Computer Interaction - INTERACT 2017 : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Bernhaupt, Regina (EDT)/ Dalvi, Girish (EDT)/ Joshi, Anirudha (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Mobile, Secure, and Programmable Networking : Third International Conference, MSPN 2017, Paris, France, June 29-30, 2017, Revised Selected Papers (Computer Communication Networks and Telecommunications)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Mobile, Secure, and Programmable Networking : Third International Conference, MSPN 2017, Paris, France, June 29-30, 2017, Revised Selected Papers (Computer Communication Networks and Telecommunications)  Paperback

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

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Mathematical Methods for Curves and Surfaces : 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Mathematical Methods for Curves and Surfaces : 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback

Floater, Michael (EDT)/ Lyche, Tom (EDT)/ Mazure, Marie-Laurence (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Ad-hoc, Mobile, and Wireless Networks : 16th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2017, Messina, Italy, September 20-22, 2017, Proceedings (Computer Communication Networks and Telecommunications)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Ad-hoc, Mobile, and Wireless Networks : 16th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2017, Messina, Italy, September 20-22, 2017, Proceedings (Computer Communication Networks and Telecommunications)  Paperback

Puliafito, Antonio (EDT)/ Bruneo, Dario (EDT)/ Distefano, Salvatore (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Human-Computer Interaction - INTERACT 2017 : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Human-Computer Interaction - INTERACT 2017 : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback

Bernhaupt, Regina (EDT)/ Dalvi, Girish (EDT)/ Joshi, Anirudha (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Katoen, Joost-Pieter (EDT)/ Langerak, Rom (EDT)/ Rensink, Arend (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Neural Networks and Machine Learning - ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Artificial Neural Networks and Machine Learning - ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Lintas, Alessandra (EDT)/ Rovetta, Stefano (EDT)/ Verschure, Paul F. M. J. (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Neural Networks and Machine Learning - ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Artificial Neural Networks and Machine Learning - ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Lintas, Alessandra (EDT)/ Rovetta, Stefano (EDT)/ Verschure, Paul F. M. J. (EDT)

  • ウェブストア価格 ¥23,694(本体¥21,540)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 430pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

An, Bo (EDT)/ Bazzan, Ana (EDT)/ Leite, João (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 214pt
  • 海外取次在庫
Web and Big Data : APWeb-WAIM 2017 International Workshops: MWDA, HotSpatial, GDMA, DDC, SDMA, MASS, Beijing, China, July 7-9, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Web and Big Data : APWeb-WAIM 2017 International Workshops: MWDA, HotSpatial, GDMA, DDC, SDMA, MASS, Beijing, China, July 7-9, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Song, Shaoxu (EDT)/ Renz, Matthias (EDT)/ Moon, Yang-Sae (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theory of Cryptography : 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I (Security and Cryptology)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Theory of Cryptography : 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I (Security and Cryptology)  Paperback,  言語:ENG

Kalai, Yael (EDT)/ Reyzin, Leonid (EDT)

  • ウェブストア価格 ¥23,694(本体¥21,540)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 430pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theory of Cryptography : 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Theory of Cryptography : 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Kalai, Yael (EDT)/ Reyzin, Leonid (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 214pt
  • 海外取次在庫