'UML' 2003 - The Unified Modeling Language : Modeling Languages and Applications. 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings (Lecture Notes in Computer Science Vol.2863) (2003. XIV, 415 p. 23,5 cm)
  • 洋書

'UML' 2003 - The Unified Modeling Language : Modeling Languages and Applications. 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings (Lecture Notes in Computer Science Vol.2863) (2003. XIV, 415 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Perdita Stevens, Jon Whittle, Grady Booch et al.

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 123pt
  • 海外取次在庫
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.

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 123pt
  • 海外取次在庫
Integrated Formal Methods, IFM 2004 : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings (Lecture Notes in Computer Science Vol.2999) (2004. XI, 541 p. 23,5 cm)
  • 洋書

Integrated Formal Methods, IFM 2004 : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings (Lecture Notes in Computer Science Vol.2999) (2004. XI, 541 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Eerke A. Boiten, John Derrick and Graeme Smith

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
Validation of Stochastic Systems : A Guide to Current Research (Lecture Notes in Computer Science Vol.2925) (2004. VIII, 467 p.)
  • 洋書

Validation of Stochastic Systems : A Guide to Current Research (Lecture Notes in Computer Science Vol.2925) (2004. VIII, 467 p.)  Paperback

Ed. by Christel Baier, Boudewijn R. Haverkort, Joost-Pieter Katoen et al.

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
ロボカップ2003:ロボットによるサッカーワールドカップVII<br>RoboCup 2003, Robot Soccer World Cup VII (Lecture Notes in Computer Science) (2004. XVI, 767 p. 23,5 cm)
  • 洋書
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.

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
Knowledge Discovery in Databases: PKDD 2004 : 8th European Conference on Principles and Practice of Knowledge Discovery in Databases, Pisa, Italy, September 20-24, 2004, Proceedings (Lecture Notes in Computer Science Vol.3202) (2004. XIX, 560 p. 23,5 cm)
  • 洋書

Knowledge Discovery in Databases: PKDD 2004 : 8th European Conference on Principles and Practice of Knowledge Discovery in Databases, Pisa, Italy, September 20-24, 2004, Proceedings (Lecture Notes in Computer Science Vol.3202) (2004. XIX, 560 p. 23,5 cm)  Paperback,  言語:ENG

Ed. Jean-Francois Boulicaut, Floriana Esposito a. Fosca Giannotti

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
Advanced Lectures on Machine Learning : ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003. Revised Lectures (Lecture Notes in Artificial Intelligence Vol.3176) (2004. IX, 241 p.)
  • 洋書

Advanced Lectures on Machine Learning : ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003. Revised Lectures (Lecture Notes in Artificial Intelligence Vol.3176) (2004. IX, 241 p.)  Paperback

Ed. by O. Bousquet, U. von Luxburg and G. Raetsch

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
Rules and Rule Markup Languages for the Semantic Web : Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings (Lecture Notes in Computer Science Vol.3323) (2004. X, 215 p. 23,5 cm)
  • 洋書

Rules and Rule Markup Languages for the Semantic Web : Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings (Lecture Notes in Computer Science Vol.3323) (2004. X, 215 p. 23,5 cm)  Hardcover,  言語:ENG

Ed. by Grigoris Antoniou a. Harold Boley

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 123pt
  • 海外取次在庫
Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic
  • 洋書

Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic  Hardcover,  言語:ENG

Bollig, Benedikt

  • Springer(2006/08発売)
  • ご注文いただけません
Formal Methods for Components and Objects : 4th International Symposium, FMCO 2005, The Netherlands, November, 2005, Revised Lectures (Lecture Notes in Computer Science) 〈Vol. 4111〉
  • 洋書

Formal Methods for Components and Objects : 4th International Symposium, FMCO 2005, The Netherlands, November, 2005, Revised Lectures (Lecture Notes in Computer Science) 〈Vol. 4111〉  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • Springer(2006/08発売)
  • ポイント 123pt
  • 海外取次在庫
Computational Science ICCS 2003, 2 Pts. : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part IV (Lecture Notes in Computer Science 2660) (2003. cxii, 1164 S. CXII, 1164 p. In 2 volumes, not available separate)
  • 洋書

Computational Science ICCS 2003, 2 Pts. : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part IV (Lecture Notes in Computer Science 2660) (2003. cxii, 1164 S. CXII, 1164 p. In 2 volumes, not available separate)  Paperback,  言語:ENG

Herausgegeben:Zomaya, Albert Y./ Sloot, Peter M. A./ Abramson, David/ Dongarra, Jack J./ Bogdanov, Alexander V./ Gorbachev, Yuriy E.

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2003発売)
  • ポイント 123pt
  • 海外からお取り寄せ(通常6~9週間)
High Performance Computing in Science and Engineering, Munich 2004 : Transactions of the Second Joint HLRB and KONWIHR Status and Result Workshop, March 2-3, 2004, Technical University of Munich, and Leibniz-Rechenzentrum Munich, Germany (2004. XIV, 484 p. 23,5 cm)
  • 洋書

High Performance Computing in Science and Engineering, Munich 2004 : Transactions of the Second Joint HLRB and KONWIHR Status and Result Workshop, March 2-3, 2004, Technical University of Munich, and Leibniz-Rechenzentrum Munich, Germany (2004. XIV, 484 p. 23,5 cm)  Hardcover,  言語:ENG

Ed. by Siegfried Wagner, Werner Hanke, Arndt Bode et al.

  • ウェブストア価格 ¥27,232(本体¥24,757)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 247pt
  • 海外からお取り寄せ(通常6~9週間)
Parallel Processing: CONPAR 92 — VAPP V : Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992 Proceedings (Lecture Notes in Computer Science) (1992)
  • 洋書

Parallel Processing: CONPAR 92 — VAPP V : Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992 Proceedings (Lecture Notes in Computer Science) (1992)  Paperback,  言語:ENG

Bouge, Luc (EDT)/ Cosnard, Michel (EDT)/ Robert, Yves (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(1992/08発売)
  • ご注文いただけません
A Logical Theory of Nonmonotonic Inference and Belief Change (Artificial Intelligence)
  • 洋書

A Logical Theory of Nonmonotonic Inference and Belief Change (Artificial Intelligence)  Paperback

Bochman, Alexander

  • Springer(2010/12発売)
  • ご注文いただけません
Many-Valued Logics 2 : Automated Reasoning and Practical Applications
  • 洋書

Many-Valued Logics 2 : Automated Reasoning and Practical Applications  Paperback

Bolc, Leonard/ Borowik, Piotr

  • Springer(2010/12発売)
  • ご注文いただけません
Research in Computational Molecular Biology : 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics 6044) (2010. XVI, 582 S.)
  • 洋書

Research in Computational Molecular Biology : 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics 6044) (2010. XVI, 582 S.)  Paperback

Herausgegeben von Berger, Bonnie

  • ウェブストア価格 ¥27,232(本体¥24,757)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 247pt
  • 海外取次在庫
Bioinformatics Research and Applications : 6th International Symposium, ISBRA 2010, Storrs, CT, USA, May 23-26, 2010. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics 6053) (2010. XII, 253 S.)
  • 洋書

Bioinformatics Research and Applications : 6th International Symposium, ISBRA 2010, Storrs, CT, USA, May 23-26, 2010. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics 6053) (2010. XII, 253 S.)  Paperback,  言語:ENG

Herausgegeben von Borodovsky, Mark/ Gogarten, Johann Peter/ Przytycka, Teresa/ Rajasekaran, Sanguthevar

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 123pt
  • 海外取次在庫
Fun with Algorithms : 5th International Conference, FUN 2010, Iscia, Italy, June 2-4, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Vol.6099) (2010. IX, 382 S.)
  • 洋書

Fun with Algorithms : 5th International Conference, FUN 2010, Iscia, Italy, June 2-4, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Vol.6099) (2010. IX, 382 S.)  Paperback

Herausgegeben von Boldi, Paolo/ Gargano, Luisa

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 123pt
  • 海外取次在庫
Structural Information and Communication Complexity : 17th International Colloquium, SIROCCO 2010, Sirince, Turkey, June 7-11, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6058) (2010. 273 S.)
  • 洋書

Structural Information and Communication Complexity : 17th International Colloquium, SIROCCO 2010, Sirince, Turkey, June 7-11, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6058) (2010. 273 S.)  Paperback

Herausgegeben von Patt-Shamir, Boaz/ Ekim, Tinaz

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 123pt
  • 海外取次在庫