Uncertainty Reasoning for the Semantic Web III : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers (Lecture Notes in Artificial Intelligence) (2014)
  • 洋書

Uncertainty Reasoning for the Semantic Web III : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers (Lecture Notes in Artificial Intelligence) (2014)  Paperback

Bobillo, Fernando (EDT)/ Carvalho, Rommel N. (EDT)/ Costa, Paulo C.G. (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2014/12発売)
  • ポイント 104pt
  • 海外取次在庫
Computer Information Systems and Industrial Management : 13th IFIP TC 8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014, Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Computer Information Systems and Industrial Management : 13th IFIP TC 8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014, Proceedings (Lecture Notes in Computer Science) (2014)  Paperback

Saeed, Khalid (EDT)/ Snášel, Václav (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Proceedings of the Fifth International Conference on Innovations in Bio-Inspired Computing and Applications IBICA 2014 (Advances in Intelligent Systems and Computing) (2014)
  • 洋書

Proceedings of the Fifth International Conference on Innovations in Bio-Inspired Computing and Applications IBICA 2014 (Advances in Intelligent Systems and Computing) (2014)  Paperback,  言語:ENG

Kömer, Pavel (EDT)/ Abraham, Ajith (EDT)/ Snášel, Václav (EDT)

  • Springer International Publishing AG(2014/06発売)
  • ご注文いただけません
Communications and Multimedia Security : 14th IFIP TC 6/TC 11 International Conference, CMS 2013, Magdeburg, Germany, September 25-26, 2013. Proceedings (Security and Cryptology) (2013)
  • 洋書

Communications and Multimedia Security : 14th IFIP TC 6/TC 11 International Conference, CMS 2013, Magdeburg, Germany, September 25-26, 2013. Proceedings (Security and Cryptology) (2013)  Paperback,  言語:ENG

De Decker, Bart (EDT)/ Dittmann, Jana (EDT)/ Kraetzer, Christian (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 104pt
  • 海外取次在庫
Model-Driven Engineering Languages and Systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings (Programming and Software Engineering) (2013)
  • 洋書

Model-Driven Engineering Languages and Systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Moreira, Ana (EDT)/ Schätz, Bernhard (EDT)/ Gray, Jeff (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 104pt
  • 海外取次在庫
Coordination Models and Languages : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6116) (2010. XI, 183 S.)
  • 洋書

Coordination Models and Languages : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6116) (2010. XI, 183 S.)  Paperback

Herausgegeben von Clarke, Dave/ Agha, Gul

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers (Lecture Notes in Computer Science Vol.7162) (2012. XIV, 411 p.)
  • 洋書

Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers (Lecture Notes in Computer Science Vol.7162) (2012. XIV, 411 p.)  Paperback,  言語:ENG

Herausgegeben von Clarke, Edmund/ Virbitskaite, Irina/ Voronkov, Andrei

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Financial Cryptography and Data Security : FC 2016 International Workshops, BITCOIN, VOTING, and WAHC, Bridgetown, Barbados, February 22-26, 2016, Revised Selected Papers (Lecture Notes in Computer Science Vol.9604) (1st ed. 2016. xii, 323 S. 235 mm)
  • 洋書

Financial Cryptography and Data Security : FC 2016 International Workshops, BITCOIN, VOTING, and WAHC, Bridgetown, Barbados, February 22-26, 2016, Revised Selected Papers (Lecture Notes in Computer Science Vol.9604) (1st ed. 2016. xii, 323 S. 235 mm)  Paperback

Herausgegeben von Clark, Jeremy/ Meiklejohn, Sarah/ Ryan, Peter/ Wallach, Dan/ Brenner, Michael/ Rohloff, Kurt

  • ウェブストア価格 ¥14,908(本体¥13,553)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING(2016発売)
  • ポイント 135pt
  • 海外からお取り寄せ(通常6~9週間)
Handbook of Model Checking, 2 Teile (Softcover reprint of the original 1st ed. 2018. 2020. xlviii, 1212 S.)
  • 洋書

Handbook of Model Checking, 2 Teile (Softcover reprint of the original 1st ed. 2018. 2020. xlviii, 1212 S.)  Paperback

Herausgegeben von Clarke, Edmund M./ Henzinger, Thomas A./ Veith, Helmut/ Bloem, Roderick

  • ウェブストア価格 ¥37,270(本体¥33,882)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2020発売)
  • ポイント 338pt
  • 海外からお取り寄せ(通常6~9週間)
Practical Aspects of Declarative Languages : 14th International Symposium, PADL 2011, Philadelphia, PA, January 23-24, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7149) (2012. 2012. 314 S.)
  • 洋書

Practical Aspects of Declarative Languages : 14th International Symposium, PADL 2011, Philadelphia, PA, January 23-24, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7149) (2012. 2012. 314 S.)  Paperback

Herausgegeben von Russo, Claudio/ Zhou, Neng-Fa

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Multiple Access Communications : 4th International Workshop, MACOM 2011, Trento, Italy, September 12-13, 2011. Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications .6886) (2011. XIII, 255 S. 235 mm)
  • 洋書

Multiple Access Communications : 4th International Workshop, MACOM 2011, Trento, Italy, September 12-13, 2011. Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications .6886) (2011. XIII, 255 S. 235 mm)  Paperback

Herausgegeben von Sacchi, Claudio/ Bellalta, Boris/ Vinel, Alexey/ Granelli, Fabrizio/ Zhang, Yan

  • ウェブストア価格 ¥12,246(本体¥11,133)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 111pt
  • 海外取次在庫
Mathematics of Program Construction : 10th International Conference, MPC 2010, Qu (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6120) (2010. X, 427 S.)
  • 洋書

Mathematics of Program Construction : 10th International Conference, MPC 2010, Qu (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6120) (2010. X, 427 S.)  Paperback

Herausgegeben von Bolduc, Claude/ Desharnais, Jules/ Ktari, Bechir

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
Software Services for e-Business and e-Society : 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009, Proceedings (IFIP Advances in Information and Communication Technology .305) (2009. 2013. XIII, 443 S. 235 mm)
  • 洋書
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6023) (2010. XII, 249 S.)
  • 洋書

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6023) (2010. XII, 249 S.)  Paperback

Herausgegeben von Pizzuti, Clara/ Ritchie, Marylyn D./ Giacobini, Mario

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
Business System Management and Engineering : From Open Issues to Applications (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HC .7) (2012. 2012. X, 197 S. 235 mm)
  • 洋書

Business System Management and Engineering : From Open Issues to Applications (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HC .7) (2012. 2012. X, 197 S. 235 mm)  Paperback

Herausgegeben von Ardagna, Claudio Agostino/ Damiani, Ernesto/ Maciaszek, Leszek A./ Missikoff, Michele/ Parkin, Michael

  • ウェブストア価格 ¥12,246(本体¥11,133)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 111pt
  • 海外取次在庫
Service-Oriented Computing : 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Service-Oriented Computing : 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Pahl, Claus (EDT)/ Vukovic, Maja (EDT)/ Yin, Jianwei (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer Nature Switzerland AG(2018/11発売)
  • ポイント 209pt
  • 海外取次在庫
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dixon, Clare (EDT)/ Finger, Marcelo (EDT)

  • ウェブストア価格 ¥14,682(本体¥13,348)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 133pt
  • 海外取次在庫
Codes, Cryptology and Information Security : Third International Conference, C2SI 2019, Rabat, Morocco, April 22-24, 2019, Proceedings - in Honor of Said El Hajji (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Codes, Cryptology and Information Security : Third International Conference, C2SI 2019, Rabat, Morocco, April 22-24, 2019, Proceedings - in Honor of Said El Hajji (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Carlet, Claude (EDT)/ Guilley, Sylvain (EDT)/ Nitaj, Abderrahmane (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/03発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Barrett, Clark (EDT)/ Davies, Misty (EDT)/ Kahsai, Temesghen (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Brain Function Assessment in Learning : First International Conference, BFAL 2017, Patras, Greece, September 24-25, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Brain Function Assessment in Learning : First International Conference, BFAL 2017, Patras, Greece, September 24-25, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback

Frasson, Claude (EDT)/ Kostopoulos, George (EDT)

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