Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7316) (2012. 2012. XV, 378 S. 235 mm)
  • 洋書

Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7316) (2012. 2012. XV, 378 S. 235 mm)  Paperback

Herausgegeben von Derrick, John/ Fitzgerald, John S./ Gnesi, Stefania/ Khurshid, Sarfraz/ Leuschel, Michael

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 126pt
  • 海外取次在庫
学習空間:学際的応用数学<br>Learning Spaces : Interdisciplinary Applied Mathematics (2010. 400 p. w. 30 b&w and 30 col. figs. and 20 tabs. 23,5 cm)
  • 洋書

学習空間:学際的応用数学
Learning Spaces : Interdisciplinary Applied Mathematics (2010. 400 p. w. 30 b&w and 30 col. figs. and 20 tabs. 23,5 cm)
 Hardcover,  言語:ENG

Falmagne, Jean-Claude/ Doignon, Jean-Paul

  • SPRINGER, BERLIN(2010発売)
  • ご注文いただけません
Non-Commutative Harmonic Analysis and Lie Groups : Proceedings of the International Conference Held in Marseille-Luminy, June 24-29, 1985 (Lecture Notes in Mathematics, Volume 1243) (2008. 316 S. 235 mm)
  • 洋書

Non-Commutative Harmonic Analysis and Lie Groups : Proceedings of the International Conference Held in Marseille-Luminy, June 24-29, 1985 (Lecture Notes in Mathematics, Volume 1243) (2008. 316 S. 235 mm)  Paperback

Herausgeber: Carmona, Jaques, Delorme, Patrick, Vergne, Michele

  • ウェブストア価格 ¥9,732(本体¥8,848)
  • SPRINGER, BERLIN(2008発売)
  • ポイント 88pt
  • 海外取次在庫
D-modules, Representation Theory, and Quantum Groups : Lectures given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Venezia, Italy, June 12-20, 1992 (Lecture Notes in Mathematics, Volume 1565) (2008. 232 S. 235 mm)
  • 洋書

D-modules, Representation Theory, and Quantum Groups : Lectures given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Venezia, Italy, June 12-20, 1992 (Lecture Notes in Mathematics, Volume 1565) (2008. 232 S. 235 mm)  Paperback

Boutet de Monvel, Louis/ Concini, Ennio de/ Procesi, Claudio/ Schapira, Pierre/ Vergne, Michele/ Herausgeber: D'Agnolo, Andrea, Zampieri, Giuseppe

  • ウェブストア価格 ¥12,527(本体¥11,389)
  • SPRINGER, BERLIN(2008発売)
  • ポイント 113pt
  • 海外取次在庫
Category Theory and Computer Science : Edinburgh, UK, September 7-9, 1987. Proceedings (Lecture Notes in Computer Science, Volume 283) (2007. 312 S. 235 mm)
  • 洋書

Category Theory and Computer Science : Edinburgh, UK, September 7-9, 1987. Proceedings (Lecture Notes in Computer Science, Volume 283) (2007. 312 S. 235 mm)  Paperback

Herausgeber: Rydeheard, David E., Poigne, Axel, Pitt, David H.

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 126pt
  • 海外取次在庫
論理と複雑性<br>Logic and Complexity (Discrete Mathematics and Theoretical Computer Science) (2003. 370 p. w. 65 ill.)
  • 洋書

論理と複雑性
Logic and Complexity (Discrete Mathematics and Theoretical Computer Science) (2003. 370 p. w. 65 ill.)
 Hardcover

Lassaigne, R./ Rougemont, M. de

  • ウェブストア価格 ¥37,577(本体¥34,161)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 341pt
  • 海外取次在庫
FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science 2805) (2003. XVII, 942 S. 235 mm)
  • 洋書

FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science 2805) (2003. XVII, 942 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Araki, Keijiro/ Gnesi, Stefania/ Mandrioli, Dion

  • ウェブストア価格 ¥27,844(本体¥25,313)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 253pt
  • 海外取次在庫