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.

  • ウェブストア価格 ¥26,314(本体¥23,922)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 239pt
  • 海外からお取り寄せ(通常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 : Volume 1: Theoretical Foundations
  • 洋書

Many-Valued Logics : Volume 1: Theoretical Foundations  Paperback

Bolc, Leonard/ Borowik, Piotr

  • ウェブストア価格 ¥26,314(本体¥23,922)
  • Springer(2010/12発売)
  • ポイント 239pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥26,314(本体¥23,922)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 239pt
  • 海外取次在庫
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,156(本体¥11,960)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 119pt
  • 海外取次在庫
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,156(本体¥11,960)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 119pt
  • 海外取次在庫
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,156(本体¥11,960)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 119pt
  • 海外取次在庫
Wired/Wireless Internet Communications : 8th International Conference, WWIC 2010, Lulea, Sweden, June 1-3, 2010. Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications 6074) (2010. X, 400 S.)
  • 洋書

Wired/Wireless Internet Communications : 8th International Conference, WWIC 2010, Lulea, Sweden, June 1-3, 2010. Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications 6074) (2010. X, 400 S.)  Paperback

Herausgegeben von Osipov, Evgeny/ Kassler, Andreas/ Bohnert, Thomas Michael/ Masip-Bruin, Xavier

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 119pt
  • 海外取次在庫
Mathematics of Program Construction : 10th International Conference, MPC 2010, Qu (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6120) (2010. X, 427 S.)
  • 洋書

Mathematics of Program Construction : 10th International Conference, MPC 2010, Qu (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6120) (2010. X, 427 S.)  Paperback

Herausgegeben von Bolduc, Claude/ Desharnais, Jules/ Ktari, Bechir

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 119pt
  • 海外取次在庫
Testing Techniques in Software Engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Brazil, Revised Lectures (Lecture Notes in Computer Science) 〈Vol. 6153〉
  • 洋書

Testing Techniques in Software Engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Brazil, Revised Lectures (Lecture Notes in Computer Science) 〈Vol. 6153〉  Paperback

Borba, P./ Cavalcanti, A./ Sampaio, A.

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • Springer(2010/07発売)
  • ポイント 119pt
  • 海外取次在庫
Systems and Virtualization Management: Standards and the Cloud : Third International DMTF Academic Alliance Workshop, SVM 2009, Wuhan, China, September 22-23, 2009. Revised Selected Papers (Communications in Computer and Information Science 71) (2010. IX, 103 S.)
  • 洋書

Systems and Virtualization Management: Standards and the Cloud : Third International DMTF Academic Alliance Workshop, SVM 2009, Wuhan, China, September 22-23, 2009. Revised Selected Papers (Communications in Computer and Information Science 71) (2010. IX, 103 S.)  Paperback,  言語:ENG

Herausgegeben von Boursas, Latifa/ Carlson, Mark/ Jin, Hai/ Sibilla, Michelle/ Wold, Kes

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 119pt
  • 海外取次在庫
Testing : Academic and Industrial Conference - Practice and Research Techniques : 5th International Conference, TAIC PART 2010, UK, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6303〉
  • 洋書

Testing : Academic and Industrial Conference - Practice and Research Techniques : 5th International Conference, TAIC PART 2010, UK, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6303〉  Paperback

Bottaci, L. (EDT)/ Fraser, G. (EDT)

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • Springer(2010/10発売)
  • ポイント 119pt
  • 海外取次在庫
Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6252〉
  • 洋書

Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6252〉  Paperback

Bouajjani, A. (EDT)/ Chin, W. -N. (EDT)

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • Springer(2010/09発売)
  • ポイント 119pt
  • 海外取次在庫
Computer Performance Engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Spain, September 23-24, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6342) (2010. X, 286 S.)
  • 洋書

Computer Performance Engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Spain, September 23-24, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6342) (2010. X, 286 S.)  Paperback

Herausgegeben von Aldini, Alessandro/ Bernardo, Marco/ Bononi, Luciano/ Cortellessa, Vittorio

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 119pt
  • 海外取次在庫
Rainbow of Computer Science : Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday (Lecture Notes in Computer Science) 〈Vol. 6570〉
  • 洋書

Rainbow of Computer Science : Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday (Lecture Notes in Computer Science) 〈Vol. 6570〉  Paperback

Calude, C. S. (EDT)/ Bozenberg, G. (EDT)/ Salomaa, A. (EDT)

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • Springer(2011/06発売)
  • ポイント 119pt
  • 海外取次在庫
NASA Formal Methods : Third International Symposium, NFM 2011, USA, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6617〉
  • 洋書

NASA Formal Methods : Third International Symposium, NFM 2011, USA, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6617〉  Paperback

Bobaru, M. (EDT)/ Havelund, K. (EDT)

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • Springer(2011/06発売)
  • ポイント 119pt
  • 海外取次在庫
Trust and Trustworthy Computing : 4th International Conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011, Proceedings (Lecture Notes in Computer Science / Security and Cryptology 6740) (2011. VII, 314 S.)
  • 洋書

Trust and Trustworthy Computing : 4th International Conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011, Proceedings (Lecture Notes in Computer Science / Security and Cryptology 6740) (2011. VII, 314 S.)  Paperback

Herausgegeben von McCune, Jonathan/ Balacheff, Boris/ Perrig, Adrian/ Sadeghi, Ahmad-Reza/ Sasse, Angela

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 119pt
  • 海外取次在庫
Implementation and Application of Automata : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6807) (2011. XIII, 299 S.)
  • 洋書

Implementation and Application of Automata : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6807) (2011. XIII, 299 S.)  Paperback

Herausgegeben von Bouchou-Markhoff, B

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 119pt
  • 海外取次在庫