Automated Deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Automated Deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Bonacina, Maria Paola (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 109pt
  • 海外取次在庫
Principles of Distributed Systems : 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7702) (2012. 2012. XIV, 361 S. 235 mm)
  • 洋書
Model-Based Software Performance Analysis (2011. 180 p. 235 mm)
  • 洋書

Model-Based Software Performance Analysis (2011. 180 p. 235 mm)  Hardcover

Cortellessa, Vittorio/ Di Marco, Antinisca/ Inverardi, Paola

  • SPRINGER, BERLIN(2011発売)
  • ご注文いただけません
Fondamenti di medicina nucleare : Tecniche e applicazioni (Imaging & formazione) (2010. XIV, 864 S. m. 50 SW u. 50 Farbabb.)
  • 洋書

Fondamenti di medicina nucleare : Tecniche e applicazioni (Imaging & formazione) (2010. XIV, 864 S. m. 50 SW u. 50 Farbabb.)  Paperback

Herausgegeben von Volterrani, Duccio/ Erba, Paola Anna/ Mariani, Giuliano

  • SPRINGER, BERLIN(2010発売)
  • ご注文いただけません
Experimental Algorithms : 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6049) (2010. XII, 514 S.)
  • 洋書

Experimental Algorithms : 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6049) (2010. XII, 514 S.)  Paperback,  言語:ENG

Herausgegeben von Festa, Paola

  • ウェブストア価格 ¥27,844(本体¥25,313)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 253pt
  • 海外取次在庫
Formal Methods for Software Architectures (Lecture Notes in Computer Science Vol.2804) (2003. VI, 285 p. w. figs. 23,5 cm)
  • 洋書

Formal Methods for Software Architectures (Lecture Notes in Computer Science Vol.2804) (2003. VI, 285 p. w. figs. 23,5 cm)  Paperback

Ed. by Marco Bernardo and Paola Inverardi

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