Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers (Communications in Computer and Information Science)  Paperback

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

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 101pt
  • 海外取次在庫
Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Braga, Christiano (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/01発売)
  • ポイント 101pt
  • 海外取次在庫
Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers (Communications in Computer and Information Science) (2015)
  • 洋書
  • 電子版あり

Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers (Communications in Computer and Information Science) (2015)  Paperback

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

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/04発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)
  • 洋書

Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)  Paperback

Martí-Oliet, Narciso (EDT)/ Ölveczky, Peter Csaba (EDT)/ Talcott, Carolyn (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 101pt
  • 海外取次在庫
Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers (Communications in Computer and Information Science) (2014)
  • 洋書
  • 電子版あり

Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers (Communications in Computer and Information Science) (2014)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2014/04発売)
  • ポイント 101pt
  • 海外取次在庫
Rewriting Logic and Its Applications (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6381) (2010. X, 264 S.)
  • 洋書

Rewriting Logic and Its Applications (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6381) (2010. X, 264 S.)  Paperback

Herausgegeben von OElveczky, Peter Csaba

  • ウェブストア価格 ¥12,620(本体¥11,473)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 114pt
  • 海外取次在庫
Electronic Government : 22nd IFIP WG 8.5 International Conference, EGOV 2023, Budapest, Hungary, September 5-7, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Electronic Government : 22nd IFIP WG 8.5 International Conference, EGOV 2023, Budapest, Hungary, September 5-7, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Lindgren, Ida (EDT)/ Csáki, Csaba (EDT)/ Kalampokis, Evangelos (EDT)

  • ウェブストア価格 ¥20,273(本体¥18,430)
  • Springer International Publishing AG(2023/08発売)
  • ポイント 184pt
  • 海外取次在庫
Electronic Participation : 12th IFIP WG 8.5 International Conference, ePart 2020, Linköping, Sweden, August 31 - September 2, 2020, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Electronic Participation : 12th IFIP WG 8.5 International Conference, ePart 2020, Linköping, Sweden, August 31 - September 2, 2020, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Hofmann, Sara (EDT)/ Csáki, Csaba (EDT)/ Edelmann, Noella (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 101pt
  • 海外取次在庫
Electronic Government : 21st IFIP WG 8.5 International Conference, EGOV 2022, Linköping, Sweden, September 6-8, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Electronic Government : 21st IFIP WG 8.5 International Conference, EGOV 2022, Linköping, Sweden, September 6-8, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Janssen, Marijn (EDT)/ Csáki, Csaba (EDT)/ Lindgren, Ida (EDT)

  • ウェブストア価格 ¥22,300(本体¥20,273)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 202pt
  • 海外取次在庫
Electronic Participation : 13th IFIP WG 8.5 International Conference, ePart 2021, Granada, Spain, September 7-9, 2021, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Electronic Participation : 13th IFIP WG 8.5 International Conference, ePart 2021, Granada, Spain, September 7-9, 2021, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Edelmann, Noella (EDT)/ Csáki, Csaba (EDT)/ Hofmann, Sara (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Graph Drawing and Network Visualization : 27th International Symposium, GD 2019, Prague, Czech Republic, September 17-20, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Graph Drawing and Network Visualization : 27th International Symposium, GD 2019, Prague, Czech Republic, September 17-20, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Archambault, Daniel (EDT)/ Tóth, Csaba D. (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Programming and Software Engineering) (2012)
  • 洋書

Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Programming and Software Engineering) (2012)  Paperback,  言語:ENG

Arbab, Farhad (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/11発売)
  • ポイント 101pt
  • 海外取次在庫
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,148(本体¥10,135)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 101pt
  • 海外取次在庫
Theoretical Aspects of Computing - ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Theoretical Aspects of Computing - ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cerone, Antonio (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥17,231(本体¥15,665)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 156pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Electronic Participation : 16th IFIP WG 8.5 International Conference, ePart 2024, Ghent, Belgium, September 3-5, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Electronic Participation : 16th IFIP WG 8.5 International Conference, ePart 2024, Ghent, Belgium, September 3-5, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Johannessen, Marius Rohde (EDT)/ Csáki, Csaba (EDT)/ Danneels, Lieselot (EDT)

  • ウェブストア価格 ¥14,190(本体¥12,900)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 129pt
  • 海外取次在庫
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Supported Education : 13th International Conference, CSEDU 2021, Virtual Event, April 23-25, 2021, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Computer Supported Education : 13th International Conference, CSEDU 2021, Virtual Event, April 23-25, 2021, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Csapó, Beno (EDT)/ Uhomoibhi, James (EDT)

  • ウェブストア価格 ¥22,300(本体¥20,273)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 202pt
  • 海外取次在庫
New Trends in Databases and Information Systems : ADBIS 2018 Short Papers and Workshops, AI*QA, BIGPMED, CSACDB, M2U, BigDataMAPS, ISTREND, DC, Budapest, Hungary, September, 2-5, 2018, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

New Trends in Databases and Information Systems : ADBIS 2018 Short Papers and Workshops, AI*QA, BIGPMED, CSACDB, M2U, BigDataMAPS, ISTREND, DC, Budapest, Hungary, September, 2-5, 2018, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Benczur, Andras (EDT)/ Thalheim, Bernhard (EDT)/ Horvath, Tomas (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2018/08発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。