Practical Aspects of Declarative Languages : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Practical Aspects of Declarative Languages : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Gavanelli, Marco (EDT)/ Reppy, John (EDT)

  • ウェブストア価格 ¥9,691(本体¥8,810)
  • Springer International Publishing AG(2015/12発売)
  • ポイント 176pt
  • 海外取次在庫
Advances in Network Science : 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances in Network Science : 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Wierzbicki, Adam (EDT)/ Brandes, Ulrik (EDT)/ Schweitzer, Frank (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Adaptive Resource Management and Scheduling for Cloud Computing : Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015
  • 洋書
  • ポイントキャンペーン

Adaptive Resource Management and Scheduling for Cloud Computing : Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015  Paperback,  言語:ENG

Pop, Florin (EDT)/ Potop-Butucaru, Maria (EDT)

  • ウェブストア価格 ¥9,691(本体¥8,810)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 176pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theory and Applications of Formal Argumentation : Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Theory and Applications of Formal Argumentation : Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Black, Elizabeth (EDT)/ Modgil, Sanjay (EDT)/ Oren, Nir (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 214pt
  • 海外取次在庫
Algorithms for Sensor Systems : 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Algorithms for Sensor Systems : 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bose, Prosenjit (EDT)/ Gąsieniec, Leszek Antoni (EDT)/ Römer, Kay (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 214pt
  • 海外取次在庫
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,845(本体¥10,769)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Lightweight Cryptography for Security and Privacy : 4th International Workshop, LightSec 2015, Bochum, Germany, September 10-11, 2015, Revised Selected Papers (Security and Cryptology)
  • 洋書
  • ポイントキャンペーン

Lightweight Cryptography for Security and Privacy : 4th International Workshop, LightSec 2015, Bochum, Germany, September 10-11, 2015, Revised Selected Papers (Security and Cryptology)  Paperback,  言語:ENG

Güneysu, Tim (EDT)/ Leander, Gregor (EDT)/ Moradi, Amir (EDT)

  • ウェブストア価格 ¥9,691(本体¥8,810)
  • Springer International Publishing AG(2016/01発売)
  • ポイント 176pt
  • 海外取次在庫
Functional and Logic Programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Functional and Logic Programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Kiselyov, Oleg (EDT)/ King, Andy (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 214pt
  • 海外取次在庫
Technology and Practice of Passwords : 9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Technology and Practice of Passwords : 9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Stajano, Frank (EDT)/ Mjølsnes, Stig F. (EDT)/ Jenkinson, Graeme (EDT)

  • ウェブストア価格 ¥9,691(本体¥8,810)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 176pt
  • 海外取次在庫
Computer-Assisted and Robotic Endoscopy : Second International Workshop, CARE 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer-Assisted and Robotic Endoscopy : Second International Workshop, CARE 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Luo, Xiongbiao (EDT)/ Reichl, Tobias (EDT)/ Reiter, Austin (EDT)

  • ウェブストア価格 ¥9,691(本体¥8,810)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 176pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Multi-Agent Based Simulation XVI : International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers (Lecture Notes in Artificial Intelligence)
  • 洋書
  • ポイントキャンペーン

Multi-Agent Based Simulation XVI : International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Gaudou, Benoit (EDT)/ Sichman, Jaime Simao (EDT)

  • ウェブストア価格 ¥9,691(本体¥8,810)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 176pt
  • 海外取次在庫
Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bošnački, Dragan (EDT)/ Wijs, Anton (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/04発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Ábrahám, Erika (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥19,385(本体¥17,623)
  • Springer International Publishing AG(2016/05発売)
  • ポイント 352pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algorithms for Computational Biology : Third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Algorithms for Computational Biology : Third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Botón-Fernández, María (EDT)/ Martín-Vide, Carlos (EDT)/ Santander-Jiménez, Sergio (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Trends in Functional Programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Trends in Functional Programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Serrano, Manuel (EDT)/ Hage, Jurriaan (EDT)

  • ウェブストア価格 ¥9,691(本体¥8,810)
  • Springer International Publishing AG(2016/05発売)
  • ポイント 176pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Unconventional Computation and Natural Computation : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Unconventional Computation and Natural Computation : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Amos, Martyn (EDT)/ Condon, Anne (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Controlled Natural Language : 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Controlled Natural Language : 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Davis, Brian (EDT)/ Pace, Gordon J. (EDT)/ Wyner, Adam (EDT)

  • ウェブストア価格 ¥9,691(本体¥8,810)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 176pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computational Methods and Clinical Applications for Spine Imaging : Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings (Image Processing, Computer Vision, Pattern
  • 洋書
  • ポイントキャンペーン

Computational Methods and Clinical Applications for Spine Imaging : Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings (Image Processing, Computer Vision, Pattern  Paperback,  言語:ENG

Vrtovec, Tomaž (EDT)/ Yao, Jianhua (EDT)/ Glocker, Ben (EDT)

  • ウェブストア価格 ¥9,691(本体¥8,810)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 176pt
  • 海外取次在庫
Medical Computer Vision: Algorithms for Big Data : International Workshop, MCV 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers (Image Processing, Computer Vision, Pattern Recognition, and Graphics
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Medical Computer Vision: Algorithms for Big Data : International Workshop, MCV 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers (Image Processing, Computer Vision, Pattern Recognition, and Graphics  Paperback,  言語:ENG

Menze, Bjoern (EDT)/ Langs, Georg (EDT)/ Montillo, Albert (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2016/07発売)
  • ポイント 214pt
  • 海外取次在庫
DNA Computing and Molecular Programming : 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

DNA Computing and Molecular Programming : 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Rondelez, Yannick (EDT)/ Woods, Damien (EDT)

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