Software Ecosystems, Sustainability and Human Values in the Social Web : 8th Workshop of Human-Computer Interaction Aspects to the Social Web, WAIHCWS 2017, Joinville, Brazil, October 23, 2017 and 9th Workshop, WAIHCWS 2018, Belém, Brazil, Octob
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Software Ecosystems, Sustainability and Human Values in the Social Web : 8th Workshop of Human-Computer Interaction Aspects to the Social Web, WAIHCWS 2017, Joinville, Brazil, October 23, 2017 and 9th Workshop, WAIHCWS 2018, Belém, Brazil, Octob  Paperback

Santos, Rodrigo Pereira dos (EDT)/ Maciel, Cristiano (EDT)/ Viterbo, José (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2020/04発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Lecture Notes in Computer Science) (2018)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Lecture Notes in Computer Science) (2018)  Paperback,  言語:ENG

Havelund, Klaus (EDT)/ Peleska, Jan (EDT)/ Roscoe, Bill (EDT)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 390pt
  • 海外取次在庫
Soft Computing for Intelligent Control and Mobile Robotics (Studies in Computational Intelligence) (2011)
  • 洋書
  • ポイントキャンペーン

Soft Computing for Intelligent Control and Mobile Robotics (Studies in Computational Intelligence) (2011)  Paperback

Castillo, Oscar (EDT)/ Pedrycz, Witold (EDT)

  • ウェブストア価格 ¥36,619(本体¥33,290)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/11発売)
  • ポイント 664pt
  • 海外取次在庫
Proceedings of the 11th International Symposium on Computer Science in Sport (IACSS 2017) (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Proceedings of the 11th International Symposium on Computer Science in Sport (IACSS 2017) (Advances in Intelligent Systems and Computing)  Paperback

Lames, Martin (EDT)/ Saupe, Dietmar (EDT)/ Wiemeyer, Josef (EDT)

  • ウェブストア価格 ¥36,619(本体¥33,290)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 664pt
  • 海外取次在庫
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Dongol, Brijesh (EDT)/ Petre, Luigia (EDT)/ Smith, Graeme (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6128) (2010. X, 329 S.)
  • 洋書
  • ポイントキャンペーン

Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6128) (2010. X, 329 S.)  Paperback,  言語:ENG

Herausgegeben von Lilius, Johan/ Penczek, Wojciech

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 248pt
  • 海外取次在庫
Intelligent Interactive Multimedia Systems and Services 2017 (Smart Innovation, Systems and Technologies)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Intelligent Interactive Multimedia Systems and Services 2017 (Smart Innovation, Systems and Technologies)  Hardcover,  言語:ENG

De Pietro, Giuseppe (EDT)/ Gallo, Luigi (EDT)/ Howlett, Robert J. (EDT)

  • ウェブストア価格 ¥47,390(本体¥43,082)
  • Springer International Publishing AG(2017/05発売)
  • ポイント 860pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Takagi, Tsuyoshi (EDT)/ Peyrin, Thomas (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III (Security and Cryptology)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III (Security and Cryptology)  Paperback,  言語:ENG

Takagi, Tsuyoshi (EDT)/ Peyrin, Thomas (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances in Cryptology - ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Takagi, Tsuyoshi (EDT)/ Peyrin, Thomas (EDT)

  • ウェブストア価格 ¥28,002(本体¥25,457)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 508pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Database Systems for Advanced Applications : 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-18, 2012, Proceedings, Part II (Lecture Notes in Computer Science 7239) (2012. xviii, 320 S. XVIII, 320 p. 159 illus. 235 mm)
  • 洋書
  • ポイントキャンペーン

Database Systems for Advanced Applications : 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-18, 2012, Proceedings, Part II (Lecture Notes in Computer Science 7239) (2012. xviii, 320 S. XVIII, 320 p. 159 illus. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Lee, Sang-goo/ Peng, Zhiyong/ Zhou, Xiaofang/ Moon, Yang-Sae/ Unland, Rainer/ Yoo, Jaesoo

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2012発売)
  • ポイント 248pt
  • 海外取次在庫
The Power of Algorithms : Inspiration and Examples in Everyday Life
  • 洋書
  • ポイントキャンペーン

The Power of Algorithms : Inspiration and Examples in Everyday Life  Paperback,  言語:ENG

Ausiello, Giorgio (EDT)/ Petreschi, Rossella (EDT)

  • ウェブストア価格 ¥10,769(本体¥9,790)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/08発売)
  • ポイント 194pt
  • 海外取次在庫
Requirements Engineering: Foundation for Software Quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Requirements Engineering: Foundation for Software Quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Grünbacher, Paul (EDT)/ Perini, Anna (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Web Services and Formal Methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering .7176) (2012. 2012. IX, 143 S.)
  • 洋書
  • ポイントキャンペーン

Web Services and Formal Methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering .7176) (2012. 2012. IX, 143 S.)  Paperback

Herausgegeben von Carbone, Marco/ Petit, Jean-Marc

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 248pt
  • 海外取次在庫
NASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7226) (2012. CDLX, 10 S.)
  • 洋書
  • ポイントキャンペーン

NASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7226) (2012. CDLX, 10 S.)  Paperback

Herausgegeben von Goodloe, Alwyn/ Person, Suzette

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 248pt
  • 海外取次在庫
Interactive Storytelling : 5th International Conference, ICIDS 2012, San Sebasti (Lecture Notes in Computer Science Vol.7648) (2012. XII, 219 S.p. w. 38 figs.)
  • 洋書
  • ポイントキャンペーン

Interactive Storytelling : 5th International Conference, ICIDS 2012, San Sebasti (Lecture Notes in Computer Science Vol.7648) (2012. XII, 219 S.p. w. 38 figs.)  Paperback

Herausgegeben von Oyarzun, David/ Peinado, Federico/ Young, R. Michael/ Elizalde, Ane/ M

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Discovery Science : 15th International Conference, DS 2012, Lyon, France, October 29-31, 2012, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7569) (2012. XIV, 329 S.)
  • 洋書
  • ポイントキャンペーン

Discovery Science : 15th International Conference, DS 2012, Lyon, France, October 29-31, 2012, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7569) (2012. XIV, 329 S.)  Paperback,  言語:ENG

Herausgegeben von Ganascia, Jean-Gabriel/ Lenca, Philippe/ Petit, Jean-Marc

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Advanced Concepts for Intelligent Vision Systems : 18th International Conference, ACIVS 2017, Antwerp, Belgium, September 18-21, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advanced Concepts for Intelligent Vision Systems : 18th International Conference, ACIVS 2017, Antwerp, Belgium, September 18-21, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Blanc-Talon, Jacques (EDT)/ Penne, Rudi (EDT)/ Philips, Wilfried (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Grammar : 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7395) (2012. 2012. X, 290 S.)
  • 洋書
  • ポイントキャンペーン

Formal Grammar : 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7395) (2012. 2012. X, 290 S.)  Paperback

Herausgegeben von de Groote, Philippe/ Nederhof, Mark-Jan

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 248pt
  • 海外取次在庫
Green Energy and Networking : 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Green Energy and Networking : 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)  Paperback

Jin, Jiyu (EDT)/ Li, Peng (EDT)/ Fan, Lei (EDT)

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