Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro (2018)
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro (2018)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥12,838(本体¥11,671)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 232pt
  • 海外取次在庫
ソフトウェア認証コンサイスガイド(テキスト)<br>Concise Guide to Software Verification : From Model Checking to Annotation Checking (Texts in Computer Science) (2023. ix, 248 S. IX, 248 p. 146 illus., 127 illus. in color. 235 mm)
  • 洋書
  • ポイントキャンペーン

ソフトウェア認証コンサイスガイド(テキスト)
Concise Guide to Software Verification : From Model Checking to Annotation Checking (Texts in Computer Science) (2023. ix, 248 S. IX, 248 p. 146 illus., 127 illus. in color. 235 mm)
 Hardcover,  言語:ENG

Huisman, Marieke/Wijs, Anton

  • ウェブストア価格 ¥21,663(本体¥19,694)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2023発売)
  • ポイント 392pt
  • 海外からお取り寄せ(通常6~9週間)
Telematics and Computing : 13th International Congress of Telematics and Computing, WITCOM 2024, Mazatlan, Mexico, November 4-8, 2024, Proceedings, Part I (Communications in Computer and Information Science 2249) (2024. xvii, 347 S. XVII, 347 p. 191 illus., 156 illus. in color. 235 m)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Telematics and Computing : 13th International Congress of Telematics and Computing, WITCOM 2024, Mazatlan, Mexico, November 4-8, 2024, Proceedings, Part I (Communications in Computer and Information Science 2249) (2024. xvii, 347 S. XVII, 347 p. 191 illus., 156 illus. in color. 235 m)  Paperback

Herausgegeben:Mata-Rivera, Miguel Fé/lix/ Zagal-Flores, Roberto/ Barria-Huidobro, Cristian

  • ウェブストア価格 ¥20,309(本体¥18,463)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 368pt
  • 海外取次在庫
Telematics and Computing : 13th International Congress of Telematics and Computing, WITCOM 2024, Mazatlan, Mexico, November 4-8, 2024, Proceedings, Part II (Communications in Computer and Information Science 2250) (2024. xvii, 317 S. XVII, 317 p. 203 illus., 176 illus. in color. 235 m)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Telematics and Computing : 13th International Congress of Telematics and Computing, WITCOM 2024, Mazatlan, Mexico, November 4-8, 2024, Proceedings, Part II (Communications in Computer and Information Science 2250) (2024. xvii, 317 S. XVII, 317 p. 203 illus., 176 illus. in color. 235 m)  Paperback

Herausgegeben:Mata-Rivera, Miguel Fé/lix/ Zagal-Flores, Roberto/ Barria-Huidobro, Cristian

  • ウェブストア価格 ¥20,309(本体¥18,463)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 368pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Lecture Notes in Computer Science) (2019)
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)/ Kordon, Fabrice (EDT)

  • ウェブストア価格 ¥12,838(本体¥11,671)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 232pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Programming and Software Engineering)
  • 洋書
  • ポイントキャンペーン

Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Programming and Software Engineering)  Paperback

Huisman, Marieke (EDT)/ Păsăreanu, Corina (EDT)/ Zhan, Naijun (EDT)

  • ウェブストア価格 ¥25,679(本体¥23,345)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 466pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥12,838(本体¥11,671)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 232pt
  • 海外取次在庫
Database and Expert Systems Applications : 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Database and Expert Systems Applications : 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings, Part I (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Hartmann, Sven (EDT)/ Ma, Hui (EDT)/ Hameurlain, Abdelkader (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 212pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Database and Expert Systems Applications : 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Database and Expert Systems Applications : 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Hartmann, Sven (EDT)/ Ma, Hui (EDT)/ Hameurlain, Abdelkader (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 212pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII : Special Issue on Database- and Expert-Systems Applications (Transactions on Large-scale Data- and Knowledge-centered Systems)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII : Special Issue on Database- and Expert-Systems Applications (Transactions on Large-scale Data- and Knowledge-centered Systems)  Paperback,  言語:ENG

Hameurlain, Abdelkader (EDT)/ Wagner, Roland (EDT)/ Hartmann, Sven (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2018/12発売)
  • ご注文いただけません