Theory and Applications of Models of Computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings (Theoretical Computer Science and General Issues) (2013)
  • 洋書

Theory and Applications of Models of Computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings (Theoretical Computer Science and General Issues) (2013)  Paperback,  言語:ENG

Chan, T-H. Hubert (EDT)/ Lau, Lap Chi (EDT)/ Trevisan, Luca (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 109pt
  • 海外取次在庫
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,001(本体¥10,910)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 109pt
  • 海外取次在庫
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,767(本体¥12,516)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 125pt
  • 海外取次在庫
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 (Transactions on Computational Systems Biology) (2012)
  • 洋書

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

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

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • 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,767(本体¥12,516)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 125pt
  • 海外取次在庫
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,767(本体¥12,516)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2011発売)
  • ポイント 125pt
  • 海外取次在庫
Service Assurance with Partial and Intermittent Resources, SAPIR 2004 : First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6, 2004, Proceedings (Lecture Notes in Computer Science Vol.3126) (2004. XI, 312 p. 23,5 cm)
  • 洋書

Service Assurance with Partial and Intermittent Resources, SAPIR 2004 : First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6, 2004, Proceedings (Lecture Notes in Computer Science Vol.3126) (2004. XI, 312 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Petre Dini, Pascal Lorenz a. Jose Neuman De Souza

  • ウェブストア価格 ¥13,767(本体¥12,516)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 125pt
  • 海外取次在庫
Advances in Artificial Intelligence - IBERAMIA 2004 : 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings (Lecture Notes in Artificial Intelligence Vol.3315) (2004. XX, 987 p. 23,5 cm)
  • 洋書

Advances in Artificial Intelligence - IBERAMIA 2004 : 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings (Lecture Notes in Artificial Intelligence Vol.3315) (2004. XX, 987 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Christian Lemaitre, Carlos A. Reyes a. Jesus A. Gonzalez

  • ウェブストア価格 ¥41,309(本体¥37,554)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 375pt
  • 海外取次在庫