Formal System Verification : State-of the-Art and Future Trends
  • 洋書
  • 電子版あり

Formal System Verification : State-of the-Art and Future Trends  Hardcover,  言語:ENG

Drechsler, Rolf (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 246pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Open Source Systems: Towards Robust Practices : 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings (Ifip Advances in Information and Communication Technology)
  • 洋書

Open Source Systems: Towards Robust Practices : 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings (Ifip Advances in Information and Communication Technology)  Hardcover,  言語:ENG

Balaguer, Federico (EDT)/ Di Cosmo, Roberto (EDT)/ Garrido, Alejandra (EDT)

  • Springer International Publishing AG(2017/04発売)
  • ご注文いただけません
New Advances in the Internet of Things (Studies in Computational Intelligence)
  • 洋書
  • 電子版あり

New Advances in the Internet of Things (Studies in Computational Intelligence)  Hardcover,  言語:ENG

Yager, Ronald R. (EDT)/ Pascual Espada, Jordán (EDT)

  • ウェブストア価格 ¥29,170(本体¥26,519)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 265pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Communication Technologies for Vehicles : 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Communication Technologies for Vehicles : 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Pirovano, Alain (EDT)/ Berbineau, Marion (EDT)/ Vinel, Alexey (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Web Engineering : 17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Web Engineering : 17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Cabot, Jordi (EDT)/ De Virgilio, Roberto (EDT)/ Torlone, Riccardo (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2017/06発売)
  • ポイント 189pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algorithms for Computational Biology : 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017, Proceedings (Lecture Notes in Bioinformatics)
  • 洋書
  • 電子版あり

Algorithms for Computational Biology : 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017, Proceedings (Lecture Notes in Bioinformatics)  Paperback,  言語:ENG

Figueiredo, Daniel (EDT)/ Martín-Vide, Carlos (EDT)/ Pratas, Diogo (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Coordination, Organizations, Institutions, and Norms in Agent Systems XII : COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, the Hague, the Netherlands, August 30, 2016, Revised Selected Papers (Lecture Not
  • 洋書
  • 電子版あり

Coordination, Organizations, Institutions, and Norms in Agent Systems XII : COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, the Hague, the Netherlands, August 30, 2016, Revised Selected Papers (Lecture Not  Paperback,  言語:ENG

Cranefield, Stephen (EDT)/ Mahmoud, Samhar (EDT)/ Padget, Julian (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Informationelle Selbstbestimmung im digitalen Wandel (Dud-fachbeiträge)
  • 洋書

Informationelle Selbstbestimmung im digitalen Wandel (Dud-fachbeiträge)  Paperback,  言語:GER

Friedewald, Michael (EDT)/ Lamla, Jörn (EDT)/ Roßnagel, Alexander (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer Vieweg(2017/03発売)
  • ポイント 170pt
  • 海外取次在庫
Cyber-Physical Security and Privacy in the Electric Smart Grid (Synthesis Lectures on Information Security, Privacy, and Trust)
  • 洋書

Cyber-Physical Security and Privacy in the Electric Smart Grid (Synthesis Lectures on Information Security, Privacy, and Trust)  Paperback,  言語:ENG

McMillin, Bruce/ Roth, Thomas

  • ウェブストア価格 ¥5,832(本体¥5,302)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 53pt
  • 海外取次在庫
Electronic Voting : First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Electronic Voting : First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Krimmer, Robert (EDT)/ Volkamer, Melanie (EDT)/ Barrat, Jordi (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 104pt
  • 海外取次在庫
Using Open Data to Detect Organized Crime Threats : Factors Driving Future Crime
  • 洋書
  • 電子版あり

Using Open Data to Detect Organized Crime Threats : Factors Driving Future Crime  Hardcover,  言語:ENG

Larsen, Henrik Legind (EDT)/ Blanco, José María (EDT)/ Pastor Pastor, Raquel (EDT)

  • ウェブストア価格 ¥29,170(本体¥26,519)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 265pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Emerging Technologies for Education : First International Symposium, SETE 2016, Held in Conjunction with ICWL 2016, Rome, Italy, October 26-29, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Emerging Technologies for Education : First International Symposium, SETE 2016, Held in Conjunction with ICWL 2016, Rome, Italy, October 26-29, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Wu, Ting-Ting (EDT)/ Gennari, Rosella (EDT)/ Huang, Yueh-Min (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Proceedings of the 16th International Conference on Hybrid Intelligent Systems (HIS 2016) (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり

Proceedings of the 16th International Conference on Hybrid Intelligent Systems (HIS 2016) (Advances in Intelligent Systems and Computing)  Paperback,  言語:ENG

Abraham, Ajith (EDT)/ Haqiq, Abdelkrim (EDT)/ Alimi, Adel M. (EDT)

  • ウェブストア価格 ¥45,841(本体¥41,674)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 416pt
  • 海外取次在庫
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Leporati, Alberto (EDT)/ Rozenberg, Grzegorz (EDT)/ Salomaa, Arto (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Enterprise Security : Second International Workshop, ES 2015, Vancouver, BC, Canada, November 30 - December 3, 2015, Revised Selected Papers (Security and Cryptology)
  • 洋書
  • 電子版あり

Enterprise Security : Second International Workshop, ES 2015, Vancouver, BC, Canada, November 30 - December 3, 2015, Revised Selected Papers (Security and Cryptology)  Paperback,  言語:ENG

Chang, Victor (EDT)/ Ramachandran, Muthu (EDT)/ Walters, Robert J. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Technological Innovation for Smart Systems : 8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2017, Costa de Caparica, Portugal, May 3-5, 2017, Proceedings (Ifip Advances in Information and
  • 洋書
  • 電子版あり

Technological Innovation for Smart Systems : 8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2017, Costa de Caparica, Portugal, May 3-5, 2017, Proceedings (Ifip Advances in Information and  Hardcover,  言語:ENG

Camarinha-Matos, Luis M. (EDT)/ Parreira-Rocha, Mafalda (EDT)/ Ramezani, Javaneh (EDT)

  • Springer International Publishing AG(2017/03発売)
  • ご注文いただけません
Bioinformatics and Biomedical Engineering : 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26-28, 2017, Proceedings, Part I (Lecture Notes in Bioinformatics)
  • 洋書
  • 電子版あり

Bioinformatics and Biomedical Engineering : 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26-28, 2017, Proceedings, Part I (Lecture Notes in Bioinformatics)  Paperback,  言語:ENG

Rojas, Ignacio (EDT)/ Ortuño, Francisco (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Bioinformatics and Biomedical Engineering : 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Bioinformatics and Biomedical Engineering : 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Rojas, Ignacio (EDT)/ Ortuño, Francisco (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Recent Advances in Information Systems and Technologies : Volume 1 (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり

Recent Advances in Information Systems and Technologies : Volume 1 (Advances in Intelligent Systems and Computing)  Paperback,  言語:ENG

Rocha, Álvaro (EDT)/ Correia, Ana Maria (EDT)/ Adeli, Hojjat (EDT)

  • ウェブストア価格 ¥45,841(本体¥41,674)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 416pt
  • 海外取次在庫
Recent Advances in Information Systems and Technologies : Volume 2 (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり

Recent Advances in Information Systems and Technologies : Volume 2 (Advances in Intelligent Systems and Computing)  Paperback,  言語:ENG

Rocha, Álvaro (EDT)/ Correia, Ana Maria (EDT)/ Adeli, Hojjat (EDT)

  • ウェブストア価格 ¥68,764(本体¥62,513)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 625pt
  • 海外取次在庫