論理と複雑性<br>Logic and Complexity (Discrete Mathematics and Theoretical Computer Science) (2003. 370 p. w. 65 ill.)
  • 洋書

論理と複雑性
Logic and Complexity (Discrete Mathematics and Theoretical Computer Science) (2003. 370 p. w. 65 ill.)
 Hardcover

Lassaigne, R./ Rougemont, M. de

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 322pt
  • 海外取次在庫
Scalable Uncertainty Management : 15th International Conference, SUM 2022, Paris, France, October 17-19, 2022, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Scalable Uncertainty Management : 15th International Conference, SUM 2022, Paris, France, October 17-19, 2022, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Dupin de Saint-Cyr, Florence (EDT)/ Öztürk-Escoffier, Meltem (EDT)/ Potyka, Nico (EDT)

  • ウェブストア価格 ¥25,003(本体¥22,730)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 227pt
  • 海外取次在庫
Communications and Multimedia Security : 13th IFIP TC 6/TC 11 International Conference, CMS 2012, Canterbury, UK, September 3-5, 2012, Proceedings (Lecture Notes in Computer Science / Security and Cryptology .7394) (2012. 2012. VIII, 239 S. 235 mm)
  • 洋書

Communications and Multimedia Security : 13th IFIP TC 6/TC 11 International Conference, CMS 2012, Canterbury, UK, September 3-5, 2012, Proceedings (Lecture Notes in Computer Science / Security and Cryptology .7394) (2012. 2012. VIII, 239 S. 235 mm)  Paperback

Herausgegeben von De Decker, Bart/ Chadwick, David W.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

de Lara, Juan (EDT)/ Plump, Detlef (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Reversible Computation : Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers (Lecture Notes in Computer Science / Programming and Software Engineering .7165) (2012. 2012. IX, 123 S.)
  • 洋書

Reversible Computation : Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers (Lecture Notes in Computer Science / Programming and Software Engineering .7165) (2012. 2012. IX, 123 S.)  Paperback

Herausgegeben von De Vos, Alexis/ Wille, Robert

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6037) (2010. X, 205 S.)
  • 洋書
Algorithms -- ESA 2010, Part II : 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6347) (2010. XVII, 245 S.)
  • 洋書

Algorithms -- ESA 2010, Part II : 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6347) (2010. XVII, 245 S.)  Paperback

Herausgegeben von de Berg, Mark/ Meyer, Ulrich

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫
Service-Oriented and Cloud Computing : First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7592) (2012. 2012. XI, 282 S. 235 mm)
  • 洋書

Service-Oriented and Cloud Computing : First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7592) (2012. 2012. XI, 282 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von De Paoli, Flavio/ Pimentel, Ernesto/ Zavattaro, Gianluigi

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Software Engineering for Self-Adaptive Systems : International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Software Engineering for Self-Adaptive Systems : International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

de Lemos, Rogério (EDT)/ Giese, Holger (EDT)/ Müller, Hausi A. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 104pt
  • 海外取次在庫
Software Engineering : International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science) (2013)
  • 洋書

Software Engineering : International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

De Lucia, Andrea (EDT)/ Ferrucci, Filomena (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 94pt
  • 海外取次在庫
Coordination Models and Languages : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering Vol.6721) (2011. XII, 216 p.)
  • 洋書

Coordination Models and Languages : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering Vol.6721) (2011. XII, 216 p.)  Paperback

Herausgegeben von De Meuter, Wolfgang/ Roman, Gruia-Catalin

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
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,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Highlights in Practical Applications of Agents, Multi-Agent Systems, and Trust-worthiness. the PAAMS Collection : International Workshops of PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings (Communications in Computer and Information
  • 洋書

Highlights in Practical Applications of Agents, Multi-Agent Systems, and Trust-worthiness. the PAAMS Collection : International Workshops of PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings (Communications in Computer and Information  Paperback

De La Prieta, Fernando (EDT)/ Mathieu, Philippe (EDT)/ Rincón Arango, Jaime Andrés (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 104pt
  • 海外からお取り寄せ(通常6~9週間)
Quantum Interaction : 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書

Quantum Interaction : 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

de Barros, Jose Acacio (EDT)/ Coecke, Bob (EDT)/ Pothos, Emmanuel (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback

Supinski, Bronis R. de (EDT)/ Olivier, Stephen L. (EDT)/ Terboven, Christian (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Conceptual Modeling : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Advances in Conceptual Modeling : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

de Cesare, Sergio (EDT)/ Frank, Ulrich (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Engineering for Self-Adaptive Systems III. Assurances : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Software Engineering for Self-Adaptive Systems III. Assurances : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers (Lecture Notes in Computer Science)  Paperback

de Lemos, Rogério (EDT)/ Garlan, David (EDT)/ Ghezzi, Carlo (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
It's All about Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

It's All about Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab (Lecture Notes in Computer Science)  Paperback,  言語:ENG

de Boer, Frank (EDT)/ Bonsangue, Marcello (EDT)/ Rutten, Jan (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 104pt
  • 海外取次在庫
Evolving OpenMP for Evolving Architectures : 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Evolving OpenMP for Evolving Architectures : 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings (Programming and Software Engineering)  Paperback

de Supinski, Bronis R. (EDT)/ Valero-Lara, Pedro (EDT)/ Martorell, Xavier (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Reuse: Bridging with Social-Awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Software Reuse: Bridging with Social-Awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings (Programming and Software Engineering)  Paperback

Kapitsaki, Georgia M. (EDT)/ Santana de Almeida, Eduardo (EDT)

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