Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

James, Phillip (EDT)/ Roggenbach, Markus (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2017/12発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7317) (2012. 2012. XIV, 500 S. 235 mm)
  • 洋書

Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7317) (2012. 2012. XIV, 500 S. 235 mm)  Paperback

Herausgegeben von Cimatti, Alessandro/ Sebastiani, Roberto

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 123pt
  • 海外取次在庫
Methodologies and Intelligent Systems for Technology Enhanced Learning : 7th International Conference (Advances in Intelligent Systems and Computing)
  • 洋書
  • 電子版あり

Methodologies and Intelligent Systems for Technology Enhanced Learning : 7th International Conference (Advances in Intelligent Systems and Computing)  Paperback,  言語:ENG

Vittorini, Pierpaolo (EDT)/ Gennari, Rosella (EDT)/ Di Mascio, Tania (EDT)

  • ウェブストア価格 ¥23,538(本体¥21,399)
  • Springer International Publishing AG(2017/06発売)
  • ポイント 213pt
  • 海外取次在庫
Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers (Programming and Software Engineering)  Paperback,  言語:ENG

Cerone, Antonio (EDT)/ Roveri, Marco (EDT)

  • Springer International Publishing AG(2018/02発売)
  • ご注文いただけません
Building Innovation Pipelines through Computer-Aided Innovation : 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 - July 1, 2011, Proceedings (Ifip Advances in Information and Communication Technology) (2011)
  • 洋書

Building Innovation Pipelines through Computer-Aided Innovation : 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 - July 1, 2011, Proceedings (Ifip Advances in Information and Communication Technology) (2011)  Paperback,  言語:ENG

Cavallucci, Denis (EDT)/ de Guio, Roland (EDT)/ Cascini, Gaetano (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ご注文いただけません
Security and Cryptography for Networks : 8th International Conference, SCN 2012, Amalfi, Italy, September 5-7, 2012, Proceedings (Lecture Notes in Computer Science / Security and Cryptology .7485) (2012. 2012. XI, 582 S. 235 mm)
  • 洋書
Carl Adam Petri: Ideas, Personality, Impact (2019)
  • 洋書
  • 電子版あり

Carl Adam Petri: Ideas, Personality, Impact (2019)  Hardcover,  言語:ENG

Reisig, Wolfgang (EDT)/ Rozenberg, Grzegorz (EDT)

  • ウェブストア価格 ¥10,698(本体¥9,726)
  • Springer International Publishing AG(2019/06発売)
  • ポイント 97pt
  • 海外取次在庫
Financial Cryptography and Data Security : FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers (Security and Cryptology)
  • 洋書
  • 電子版あり

Financial Cryptography and Data Security : FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers (Security and Cryptology)  Paperback,  言語:ENG

Brenner, Michael (EDT)/ Rohloff, Kurt (EDT)/ Bonneau, Joseph (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Autonomous Agents and Multiagent Systems : AAMAS 2017 Workshops, Visionary Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Autonomous Agents and Multiagent Systems : AAMAS 2017 Workshops, Visionary Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Sukthankar, Gita (EDT)/ Rodriguez-Aguilar, Juan A. (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Autonomous Agents and Multiagent Systems : AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Autonomous Agents and Multiagent Systems : AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Sukthankar, Gita (EDT)/ Rodriguez-Aguilar, Juan A. (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 106pt
  • 海外取次在庫
Application and Theory of Petri Nets and Concurrency : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Application and Theory of Petri Nets and Concurrency : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Khomenko, Victor (EDT)/ Roux, Olivier H. (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2018/05発売)
  • ポイント 106pt
  • 海外取次在庫
Theory of Cryptography : 17th International Conference, TCC 2019, Nuremberg, Germany, December 1-5, 2019, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Theory of Cryptography : 17th International Conference, TCC 2019, Nuremberg, Germany, December 1-5, 2019, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Hofheinz, Dennis (EDT)/ Rosen, Alon (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 106pt
  • 海外取次在庫
Membrane Computing : 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Membrane Computing : 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Gheorghe, Marian (EDT)/ Rozenberg, Grzegorz (EDT)/ Salomaa, Arto (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 106pt
  • 海外取次在庫
Theory of Cryptography : 17th International Conference, TCC 2019, Nuremberg, Germany, December 1-5, 2019, Proceedings, Part I (Security and Cryptology)
  • 洋書
  • 電子版あり

Theory of Cryptography : 17th International Conference, TCC 2019, Nuremberg, Germany, December 1-5, 2019, Proceedings, Part I (Security and Cryptology)  Paperback,  言語:ENG

Hofheinz, Dennis (EDT)/ Rosen, Alon (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 106pt
  • 海外取次在庫
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Leporati, Alberto (EDT)/ Rozenberg, Grzegorz (EDT)/ Salomaa, Arto (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Neural Networks and Machine Learning - ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Artificial Neural Networks and Machine Learning - ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Lintas, Alessandra (EDT)/ Rovetta, Stefano (EDT)/ Verschure, Paul F. M. J. (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Neural Networks and Machine Learning - ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Artificial Neural Networks and Machine Learning - ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Lintas, Alessandra (EDT)/ Rovetta, Stefano (EDT)/ Verschure, Paul F. M. J. (EDT)

  • ウェブストア価格 ¥23,538(本体¥21,399)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 213pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Coordination Models and Languages : 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings (Lectur (2013)
  • 洋書

Coordination Models and Languages : 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings (Lectur (2013)  Paperback,  言語:ENG

De Nicola, Rocco (EDT)/ Julien, Christine (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 106pt
  • 海外取次在庫
Wired/Wireless Internet Communications : 16th IFIP WG 6.2 International Conference, WWIC 2018, Boston, MA, USA, June 18-20, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Wired/Wireless Internet Communications : 16th IFIP WG 6.2 International Conference, WWIC 2018, Boston, MA, USA, June 18-20, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Chowdhury, Kaushik Roy (EDT)/ Di Felice, Marco (EDT)/ Matta, Ibrahim (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2018/12発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic, Language and Meaning : 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7218) (2012. XII, 482 S.)
  • 洋書

Logic, Language and Meaning : 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7218) (2012. XII, 482 S.)  Paperback

Herausgegeben von Aloni, Maria/ Kimmelman, Vadim/ Roelofsen, Floris/ Sassoon, Galit/ Schulz, Katrin

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 123pt
  • 海外取次在庫