Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I (Theoretical Computer Science and General Iss
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I (Theoretical Computer Science and General Iss  Paperback

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥23,849(本体¥21,681)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 216pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II (Theoretical Computer Scienc
  • 洋書
  • 電子版あり

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II (Theoretical Computer Scienc  Paperback

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 108pt
  • 海外取次在庫
The New Codebreakers : Essays Dedicated to David Kahn on the Occasion of His 85th Birthday (Security and Cryptology)
  • 洋書

The New Codebreakers : Essays Dedicated to David Kahn on the Occasion of His 85th Birthday (Security and Cryptology)  Paperback

Ryan, Peter Y. A. (EDT)/ Naccache, David (EDT)/ Quisquater, Jean-Jacques (EDT)

  • ウェブストア価格 ¥13,007(本体¥11,825)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/03発売)
  • ポイント 118pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Long-Term Outcomes of Epilepsy Surgery in Adults and Children
  • 洋書

Long-Term Outcomes of Epilepsy Surgery in Adults and Children  Paperback,  言語:ENG

Malmgren, Kristina (EDT)/ Baxendale, Sallie (EDT)/ Cross, J. Helen (EDT)

  • Springer International Publishing AG(2016/10発売)
  • ご注文いただけません
Graph Structures for Knowledge Representation and Reasoning : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers (Lecture Notes in Artificial Intelligence)
  • 洋書

Graph Structures for Knowledge Representation and Reasoning : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Croitoru, Madalina (EDT)/ Marquis, Pierre (EDT)/ Rudolph, Sebastian (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 108pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
ICT Innovations 2015 : Emerging Technologies for Better Living (Advances in Intelligent Systems and Computing)
  • 洋書

ICT Innovations 2015 : Emerging Technologies for Better Living (Advances in Intelligent Systems and Computing)  Paperback

Loshkovska, Suzana (EDT)/ Koceski, Saso (EDT)

  • ウェブストア価格 ¥36,858(本体¥33,508)
  • Springer International Publishing AG(2016/01発売)
  • ポイント 335pt
  • 海外取次在庫
Resistance to Photodynamic Therapy in Cancer (Resistance to Targeted Anti-cancer Therapeutics)
  • 洋書

Resistance to Photodynamic Therapy in Cancer (Resistance to Targeted Anti-cancer Therapeutics)  Paperback

Rapozzi, Valentina (EDT)/ Jori, Giulio (EDT)

  • Springer International Publishing AG(2016/10発売)
  • ご注文いただけません
Nitric Oxide Action in Abiotic Stress Responses in Plants
  • 洋書

Nitric Oxide Action in Abiotic Stress Responses in Plants  Paperback

Khan, M. Nasir (EDT)/ Mobin, Mohammad (EDT)/ Mohammad, Firoz (EDT)

  • ウェブストア価格 ¥23,849(本体¥21,681)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 216pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Innovative Security Solutions for Information Technology and Communications : 8th International Conference, SECITC 2015, Bucharest, Romania, June 11-12, 2015. Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Innovative Security Solutions for Information Technology and Communications : 8th International Conference, SECITC 2015, Bucharest, Romania, June 11-12, 2015. Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bica, Ion (EDT)/ Naccache, David (EDT)/ Simion, Emil (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer International Publishing AG(2016/01発売)
  • ポイント 108pt
  • 海外取次在庫
Photocatalytic Semiconductors : Synthesis, Characterization, and Environmental Applications
  • 洋書

Photocatalytic Semiconductors : Synthesis, Characterization, and Environmental Applications  Paperback

Hernández-Ramírez, Aracely (EDT)/ Medina-Ramírez, Iliana (EDT)

  • Springer International Publishing AG(2016/09発売)
  • ご注文いただけません
Internet Science : Third International Conference, INSCI 2016, Florence, Italy, September 12-14, 2016, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Internet Science : Third International Conference, INSCI 2016, Florence, Italy, September 12-14, 2016, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Bagnoli, Franco (EDT)/ Satsiou, Anna (EDT)/ Stavrakakis, Ioannis (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 108pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Palliative Care in Oncology
  • 洋書

Palliative Care in Oncology  Paperback,  言語:ENG

Alt-Epping, Bernd (EDT)/ Nauck, Friedemann (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/11発売)
  • ご注文いただけません
Advances in Applied Biotechnology : Proceedings of the 2nd International Conference on Applied Biotechnology (ICAB 2014)-Volume I (Lecture Notes in Electrical Engineering)
  • 洋書

Advances in Applied Biotechnology : Proceedings of the 2nd International Conference on Applied Biotechnology (ICAB 2014)-Volume I (Lecture Notes in Electrical Engineering)  Paperback,  言語:ENG

Zhang, Tong-Cun (EDT)/ Nakajima, Motowo (EDT)

  • ウェブストア価格 ¥47,700(本体¥43,364)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/10発売)
  • ポイント 433pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Applied Biotechnology : Proceedings of the 2nd International Conference on Applied Biotechnology (ICAB 2014)-Volume II (Lecture Notes in Electrical Engineering)
  • 洋書

Advances in Applied Biotechnology : Proceedings of the 2nd International Conference on Applied Biotechnology (ICAB 2014)-Volume II (Lecture Notes in Electrical Engineering)  Paperback

Zhang, Tong-Cun (EDT)/ Nakajima, Motowo (EDT)

  • ウェブストア価格 ¥47,700(本体¥43,364)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/10発売)
  • ポイント 433pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Toward Sustainable Operations of Supply Chain and Logistics Systems (Ecoproduction)
  • 洋書

Toward Sustainable Operations of Supply Chain and Logistics Systems (Ecoproduction)  Paperback

Kachitvichyanukul, Voratas (EDT)/ Sethanan, Kanchana (EDT)/ Golinska- Dawson, Paulina (EDT)

  • ウェブストア価格 ¥36,858(本体¥33,508)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 335pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Synthesis and Application of Organoboron Compounds (Topics in Organometallic Chemistry)
  • 洋書

Synthesis and Application of Organoboron Compounds (Topics in Organometallic Chemistry)  Paperback

Fernández, Elena (EDT)/ Whiting, Andrew (EDT)

  • ウェブストア価格 ¥47,700(本体¥43,364)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 433pt
  • 海外取次在庫
Information and Knowledge Management in Complex Systems : 16th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2015, Toulouse, France, March 19-20, 2015, Proceedings (Ifip Advances in Information and Communic
  • 洋書
Microbial Degradation of Synthetic Dyes in Wastewaters (Environmental Science and Engineering)
  • 洋書

Microbial Degradation of Synthetic Dyes in Wastewaters (Environmental Science and Engineering)  Paperback

Singh, Shree Nath (EDT)

  • ウェブストア価格 ¥23,849(本体¥21,681)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 216pt
  • 海外取次在庫
Information Technology in Bio- and Medical Informatics : 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Information Technology in Bio- and Medical Informatics : 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Renda, M. Elena (EDT)/ Bursa, Miroslav (EDT)/ Holzinger, Andreas (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 108pt
  • 海外取次在庫
Information Security : 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings (Security and Cryptology)
  • 洋書
  • 電子版あり

Information Security : 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings (Security and Cryptology)  Paperback

Bishop, Matt (EDT)/ Nascimento, Anderson C A (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 108pt
  • 海外取次在庫