Data Science and Artificial Intelligence : Second International Conference, DSAI 2024, Medan, Indonesia, November 13-15, 2024, Proceedings (Communications in Computer and Information Science) (2025)
  • 洋書
  • 電子版あり

Data Science and Artificial Intelligence : Second International Conference, DSAI 2024, Medan, Indonesia, November 13-15, 2024, Proceedings (Communications in Computer and Information Science) (2025)  Paperback,  言語:ENG

Anutariya, Chutiporn (EDT)/ Bonsangue, Marcello M. (EDT)/ Budhiarti-Nababan, Erna (EDT)

  • ウェブストア価格 ¥18,906(本体¥17,188)
  • Springer Nature(2024/12発売)
  • ポイント 171pt
  • 海外取次在庫
Data Science and Artificial Intelligence : First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Data Science and Artificial Intelligence : First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Anutariya, Chutiporn (EDT)/ Bonsangue, Marcello M. (EDT)

  • ウェブストア価格 ¥31,069(本体¥28,245)
  • Springer Verlag, Singapore(2024/01発売)
  • ポイント 282pt
  • 海外からお取り寄せ(通常6~9週間)
Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)  Paperback

Ábrahám, Erika (EDT)/ Bonsangue, Marcello (EDT)/ Johnsen, Einar Broch (EDT)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 111pt
  • 海外取次在庫
Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Cyprus, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4468〉
  • 洋書

Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Cyprus, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4468〉  Paperback,  言語:ENG

Bonsangue, Marcello M. (EDT)/ Johnsen, Einar Broch (EDT)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer(2007/06発売)
  • ポイント 111pt
  • 海外取次在庫
Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, France, State of the Art Survey (Lecture Notes in Computer Science) 〈Vol. 5751〉
  • 洋書

Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, France, State of the Art Survey (Lecture Notes in Computer Science) 〈Vol. 5751〉  Paperback,  言語:ENG

Boer, F. S. (EDT)/ Bonsangue, M. M. (EDT)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer(2009/10発売)
  • ポイント 111pt
  • 海外取次在庫
Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Netherlands, Revised Lectures (Lecture Notes in Computer Science) 〈Vol. 4709〉
  • 洋書

Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Netherlands, Revised Lectures (Lecture Notes in Computer Science) 〈Vol. 4709〉  Paperback

de Boer, Frank S. (EDT)/ Bonsangue, M. M. (et al., EDT)

  • ウェブストア価格 ¥19,275(本体¥17,523)
  • Springer(2007/10発売)
  • ポイント 175pt
  • 海外取次在庫
Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (2014)
  • 洋書
  • 電子版あり

Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (2014)  Paperback

Bonsangue, Marcello M. (EDT)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/09発売)
  • ポイント 111pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theoretical Aspects of Computing - ICTAC 2024 : 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Theoretical Aspects of Computing - ICTAC 2024 : 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Anutariya, ChutipornEDT/ Bonsangue, Marcello M.EDT

  • ウェブストア価格 ¥18,577(本体¥16,889)
  • Springer, Berlin; Springer(2024発売)
  • ポイント 168pt
  • 海外取次在庫
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-27, 2007, Revised Papers (L
  • 洋書

Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-27, 2007, Revised Papers (L  Paperback,  言語:ENG

De Boer, Frank S. (EDT)/ Bonsangue, Marcello M. (EDT)/ Graf, Susanne (

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer-Verlag New York Inc(2008/12発売)
  • ポイント 111pt
  • 海外取次在庫
Formal Methods for Components and Objects : Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures (L
  • 洋書

Formal Methods for Components and Objects : Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures (L  Paperback,  言語:ENG

Boer, Frank S. De (EDT)/ Bonsangue, Marcello M. (EDT)/ Graf, Susanne (

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer-Verlag New York Inc(2005/11発売)
  • ポイント 111pt
  • 海外取次在庫