Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Programming and Software Engineering) (2013)
  • 洋書

Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Johnsen, Einar Broch (EDT)/ Petre, Luigia (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 109pt
  • 海外取次在庫
Staatsalmanak voor het Koninkrijk der Nederlanden.1914
  • 洋書

Staatsalmanak voor het Koninkrijk der Nederlanden.1914  Paperback,  言語:ENG

Bürkle de la Camp, Heinrich (EDT)/ Linder, Fritz (EDT)/ Trede, M. (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/12発売)
  • ポイント 219pt
  • 海外取次在庫
Artificial Neural Networks in Pattern Recognition : 5th INNS IAPR TC 3 GIRPR Workshop, ANNPR 2012, Trento, Italy, September 17-19, 2012, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7477) (2012. 2012. VIII, 240 S. 235 mm)
  • 洋書
Transactions on Computational Systems Biology XIV : Special Issue on Computational Models for Cell Processes (Lecture Notes in Computer Science) (2012)
  • 洋書

Transactions on Computational Systems Biology XIV : Special Issue on Computational Models for Cell Processes (Lecture Notes in Computer Science) (2012)  Paperback,  言語:ENG

Petre, Ion (EDT)/ de Vink, Erik (EDT)/ Priami, Corrado (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2012/11発売)
  • ポイント 109pt
  • 海外取次在庫
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7321) (2012. 2012. XII, 360 S. 235 mm)
  • 洋書

Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7321) (2012. 2012. XII, 360 S. 235 mm)  Paperback

Herausgegeben von Derrick, John/ Gnesi, Stefania/ Latella, Diego/ Treharne, Helen

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 126pt
  • 海外取次在庫
Computing and Combinatorics : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7434) (2012. 2012. XIV, 606 S. 235 mm)
  • 洋書

Computing and Combinatorics : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7434) (2012. 2012. XIV, 606 S. 235 mm)  Paperback

Herausgegeben von Gudmundsson, Joachim/ Mestre, Juli

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 126pt
  • 海外取次在庫
Unconventional Computation : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings (Theoretical Computer Science and General Issues 6714) (2011. x, 247 S. X, 247 p. 76 illus., 13 illus. in color. 235 mm)
  • 洋書

Unconventional Computation : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings (Theoretical Computer Science and General Issues 6714) (2011. x, 247 S. X, 247 p. 76 illus., 13 illus. in color. 235 mm)  Paperback

Herausgegeben:Calude, Cristian S./ Kari, Jarkko/ Petre, Ion/ Rozenberg, Grzegorz

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN; SPRINGER(2011発売)
  • ポイント 126pt
  • 海外取次在庫