Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7152) (2012. 2012. XI, 326 S.)
  • 洋書

Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7152) (2012. 2012. XI, 326 S.)  Paperback

Herausgegeben von Joshi, Rajeev/ Mueller, Peter/ Podelski, Andreas

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Computer Safety, Reliability, and Security (Lecture Notes in Computer Science / Programming and Software Engineering .7613) (2012. 2012. XVI, 530 S. 235 mm)
  • 洋書

Computer Safety, Reliability, and Security (Lecture Notes in Computer Science / Programming and Software Engineering .7613) (2012. 2012. XVI, 530 S. 235 mm)  Paperback

Herausgegeben von Ortmeier, Frank/ Daniel, Peter

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Computer Safety, Reliability, and Security : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7612) (2012. 2012. XVIII, 402 S.)
  • 洋書
Advanced Data Mining and Applications : 13th International Conference, ADMA 2017, Singapore, November 5-6, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Advanced Data Mining and Applications : 13th International Conference, ADMA 2017, Singapore, November 5-6, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cong, Gao (EDT)/ Peng, Wen-Chih (EDT)/ Zhang, Wei Emma (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 209pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,487(本体¥9,534)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/08発売)
  • ポイント 95pt
  • 海外取次在庫
Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2012)
  • 洋書

Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science) (2012)  Paperback,  言語:ENG

Arbab, Farhad (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/11発売)
  • ポイント 104pt
  • 海外取次在庫
Combinatorial Pattern Matching : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Combinatorial Pattern Matching : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Fischer, Johannes (EDT)/ Sanders, Peter (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/06発売)
  • ポイント 95pt
  • 海外取次在庫
Privacy and Identity Management for Life : 5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School, Nice, France, September 7-11, 2009, Revised Selected Papers (IFIP Advances in Information and Communication Technology 320) (2010. XI, 316 S.)
  • 洋書

Privacy and Identity Management for Life : 5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School, Nice, France, September 7-11, 2009, Revised Selected Papers (IFIP Advances in Information and Communication Technology 320) (2010. XI, 316 S.)  Hardcover

Herausgegeben von Bezzi, Michele/ Duquenoy, Penny/ Fischer-Huebner, Simone/ Hansen, Marit/ Zhang, Ge

  • SPRINGER, BERLIN(2010発売)
  • ご注文いただけません
Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7294) (2012. 2012. X, 333 S.)
  • 洋書

Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7294) (2012. 2012. X, 333 S.)  Paperback

Herausgegeben von Schrijvers, Tom/ Thiemann, Peter

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Menzies, Tim (EDT)/ Petke, Justyna (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Future Security : 7th Security Research Conference, Future Security 2012, Bonn, Germany, September 4-6, 2012. Proceedings (Communications in Computer and Information Science .318) (2012. 2012. 532 S.)
  • 洋書

Future Security : 7th Security Research Conference, Future Security 2012, Bonn, Germany, September 4-6, 2012. Proceedings (Communications in Computer and Information Science .318) (2012. 2012. 532 S.)  Paperback

Herausgegeben von Aschenbruck, Nils/ Martini, Peter/ Meier, Michael/ Toelle, Jens

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Evolutionary Multi-Criterion Optimization : 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Evolutionary Multi-Criterion Optimization : 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Purshouse, Robin (EDT)/ Fleming, Peter (EDT)/ Fonseca, Carlos M. (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/02発売)
  • ポイント 104pt
  • 海外取次在庫
Artificial Intelligence XXXIV : 37th SGAI International Conference on Artificial Intelligence, AI 2017, Cambridge, UK, December 12-14, 2017, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Artificial Intelligence XXXIV : 37th SGAI International Conference on Artificial Intelligence, AI 2017, Cambridge, UK, December 12-14, 2017, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Bramer, Max (EDT)/ Petridis, Miltos (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence XXXV : 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11-13, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Artificial Intelligence XXXV : 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11-13, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

Bramer, Max (EDT)/ Petridis, Miltos (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2018/11発売)
  • ポイント 104pt
  • 海外取次在庫
Artificial Intelligence XXXVI : 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17-19, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Artificial Intelligence XXXVI : 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17-19, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bramer, Max (EDT)/ Petridis, Miltos (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Design Requirements Engineering: A Ten-Year Perspective : Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers (Lecture Notes in Business Information Processing Vol.14) (2009. XIII, 495 p. 23,5 cm)
  • 洋書

Design Requirements Engineering: A Ten-Year Perspective : Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers (Lecture Notes in Business Information Processing Vol.14) (2009. XIII, 495 p. 23,5 cm)  Paperback,  言語:ENG

Herausgegeben von Lyytinen, Kalle/ Loucopoulos, Pericles/ Mylopoulos, John/ Robinson, William N.

  • SPRINGER, BERLIN(2009発売)
  • ご注文いただけません
Computer Analysis of Images and Patterns : CAIP 2019 International Workshops, ViMaBi and DL-UAV, Salerno, Italy, September 6, 2019, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Computer Analysis of Images and Patterns : CAIP 2019 International Workshops, ViMaBi and DL-UAV, Salerno, Italy, September 6, 2019, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Vento, Mario (EDT)/ Percannella, Gennaro (EDT)/ Colantonio, Sara (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Virtual Agents : 17th International Conference, IVA 2017, Stockholm, Sweden, August 27-30, 2017, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Intelligent Virtual Agents : 17th International Conference, IVA 2017, Stockholm, Sweden, August 27-30, 2017, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Beskow, Jonas (EDT)/ Peters, Christopher (EDT)/ Castellano, Ginevra (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 104pt
  • 海外取次在庫
Code-Based Cryptography : 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9-10, 2020, Revised Selected Papers (Security and Cryptology)
  • 洋書

Code-Based Cryptography : 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9-10, 2020, Revised Selected Papers (Security and Cryptology)  Paperback,  言語:ENG

Baldi, Marco (EDT)/ Persichetti, Edoardo (EDT)/ Santini, Paolo (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Code-Based Cryptography : 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18-19, 2019, Revised Selected Papers (Security and Cryptology) (2019)
  • 洋書
  • 電子版あり

Code-Based Cryptography : 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18-19, 2019, Revised Selected Papers (Security and Cryptology) (2019)  Paperback,  言語:ENG

Baldi, Marco (EDT)/ Persichetti, Edoardo (EDT)/ Santini, Paolo (EDT)

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