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,  言語:ENG

Bonsangue, Marcello M. (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/09発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theoretical Aspects of Computing - ICTAC 2024 : 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings (Lecture Notes in Computer Science 15373) (2024. xviii, 410 S. XVIII, 410 p. 72 illus., 24 illus. in color. 235 m)
  • 洋書

Theoretical Aspects of Computing - ICTAC 2024 : 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings (Lecture Notes in Computer Science 15373) (2024. xviii, 410 S. XVIII, 410 p. 72 illus., 24 illus. in color. 235 m)  Paperback,  言語:ENG

Herausgegeben:Anutariya, Chutiporn/ Bonsangue, Marcello M.

  • ウェブストア価格 ¥16,760(本体¥15,237)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 152pt
  • 海外取次在庫
Formal Methods for Components and Objects, FMCO 2002 : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002. Revised Lectures (Lecture Notes in Computer Science Vol.2852) (2003. VIII, 509 p. 23,5 cm)
  • 洋書

Formal Methods for Components and Objects, FMCO 2002 : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002. Revised Lectures (Lecture Notes in Computer Science Vol.2852) (2003. VIII, 509 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Frank S.de Boer, Marcello M. Bonsangue, Susanne Graf et al.

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 115pt
  • 海外取次在庫
Formal Methods for Components and Objects, FMCO 2003 : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 (Lecture Notes in Computer Science Vol.3188) (2004. VIII, 373 p.)
  • 洋書

Formal Methods for Components and Objects, FMCO 2003 : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 (Lecture Notes in Computer Science Vol.3188) (2004. VIII, 373 p.)  Paperback

Ed. by Frank S.de Boer, Marcello M. Bonsangue, Susanne Graf et al.

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 115pt
  • 海外取次在庫
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science) (2013)
  • 洋書

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Giachino, Elena (EDT)/ Hähnle, Reiner (EDT)/ de Boer, Frank S. (EDT)

  • ウェブストア価格 ¥10,205(本体¥9,278)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 92pt
  • 海外取次在庫
Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 (Lecture Notes in Computer Science / Programming and Software Engineering .6957) (2011. XI, 393 S. 235 mm)
  • 洋書

Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 (Lecture Notes in Computer Science / Programming and Software Engineering .6957) (2011. XI, 393 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Aichernig, Bernhard K./ de Boer, Frank S./ Bonsangue, Marcello M.

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 115pt
  • 海外取次在庫
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering) (2013)
  • 洋書

Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Beckert, Bernhard (EDT)/ Damiani, Ferruccio (EDT)/ de Boer, Frank S. (EDT)

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