Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Chen, Yu-Fang (EDT)/ Cheng, Chih-Hong (EDT)/ Esparza, Javier (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (
  • 洋書
  • 電子版あり

Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (  Paperback,  言語:ENG

Esparza, Javier (EDT)/ Murawski, Andrzej S. (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2017/03発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Automata, Languages, and Programming Pt.1 : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I (Theoretical Computer Science and General Issues 8572) (2014. xxxiv, 1090 S. XXXIV, 1090 p. 74 illus. 235 mm)
  • 洋書

Automata, Languages, and Programming Pt.1 : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I (Theoretical Computer Science and General Issues 8572) (2014. xxxiv, 1090 S. XXXIV, 1090 p. 74 illus. 235 mm)  Paperback

Herausgegeben von Esparza, Javier/ Fraigniaud, Pierre/ Husfeldt, Thore/ Koutsoupias, Elias

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2014発売)
  • ポイント 120pt
  • 海外取次在庫
Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II (Theoretical Computer Science and General Issues) (2014)
  • 洋書

Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II (Theoretical Computer Science and General Issues) (2014)  Paperback,  言語:ENG

Esparza, Javier (EDT)/ Fraigniaud, Pierre (EDT)/ Husfeldt, Thore (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/06発売)
  • ポイント 104pt
  • 海外取次在庫