1～5件／全5件 セーフサーチON
  •  
Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings (Programming and Software Engineering)
  • 洋書

Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings (Programming and Software Engineering)  Paperback,  言語：ENG

Pang, Jun (EDT)/ Zhang, Lijun (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer Nature Switzerland AG（2020/11発売）
  • ポイント 103pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Pr （2019）
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Pr （2019）  Paperback,  言語：ENG

Vojnar, Tomáš (EDT)/ Zhang, Lijun (EDT)

  • ウェブストア価格 ¥12,415（本体¥11,287）
  • Springer Nature Switzerland AG（2019/04発売）
  • ポイント 112pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Pr （2019）
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Pr （2019）  Paperback,  言語：ENG

Vojnar, Tomáš (EDT)/ Zhang, Lijun (EDT)

  • ウェブストア価格 ¥12,415（本体¥11,287）
  • Springer Nature Switzerland AG（2019/04発売）
  • ポイント 112pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Databases Theory and Applications : 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Databases Theory and Applications : 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Cheema, Muhammad Aamir (EDT)/ Zhang, Wenjie (EDT)/ Chang, Lijun (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2016/09発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Programming and Software Engineering)  Paperback

Finkbeiner, Bernd (EDT)/ Pu, Geguang (EDT)/ Zhang, Lijun (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2015/11発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～5件／全5件
  •