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,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Secure Data Management : VLDB 2004 Workshop, SDM 2004, Toronto, Canada, August 30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3178) (2004. VIII, 219 p. 23,5 cm)
  • 洋書

Secure Data Management : VLDB 2004 Workshop, SDM 2004, Toronto, Canada, August 30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3178) (2004. VIII, 219 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Willem Jonker and Milan Petkovic

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫
Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Artho, Cyrille (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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.)
  • 洋書
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,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/11発売)
  • ポイント 104pt
  • 海外取次在庫
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,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Innovative Security Solutions for Information Technology and Communications : 17th International Conference, SecITC 2024, Bucharest, Romania, November 21-22, 2024, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Innovative Security Solutions for Information Technology and Communications : 17th International Conference, SecITC 2024, Bucharest, Romania, November 21-22, 2024, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Morogan, Luciana (EDT)/ Roenne, Peter (EDT)/ Bica, Ion (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 246pt
  • 海外取次在庫
Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
3D Research Challenges in Cultural Heritage III : Complexity and Quality in Digitisation (Lecture Notes in Computer Science)
  • 洋書

3D Research Challenges in Cultural Heritage III : Complexity and Quality in Digitisation (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ioannides, Marinos (EDT)/ Patias, Petros (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 94pt
  • オンデマンド(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 (Theoretical Computer Science and General Issues) (2013)
  • 洋書

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

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

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/02発売)
  • ポイント 104pt
  • 海外取次在庫
Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Bae, Kyungmin (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 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,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Conceptual Modeling : 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Conceptual Modeling : 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Laender, Alberto H. F. (EDT)/ Pernici, Barbara (EDT)/ Lim, Ee-Peng (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 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発売)
  • ご注文いただけません
Code-Based Cryptography : 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9-10, 2020, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Code-Based Cryptography : 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9-10, 2020, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • 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,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Discovery Science : 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

Discovery Science : 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Kralj Novak, Petra (EDT)/ Šmuc, Tomislav (EDT)/ Džeroski, Sašo (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 170pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algorithm Theory -- SWAT 2012 : 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7357) (2012. XIII, 410 S. 235 mm)
  • 洋書

Algorithm Theory -- SWAT 2012 : 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7357) (2012. XIII, 410 S. 235 mm)  Paperback

Herausgegeben von Fomin, Fedor V./ Kaski, Petteri

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