Dependable Computing, Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings

Lignende værker

• Reduce: software for Algebraic Computation
  af: Rauna G. Gerharl
  Udgivet: (London, Springer-Verlag, 1987)
• Hadron Spectroscopy. Eleventh International Conference on Hadron Spectroscopy Conference Rio de Janero, Brazil, 21-26 August 2005
  Udgivet: (New York, AIP, 2006)
• Implementation and Application of Automata 7th. International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers
  Udgivet: (Berlin, Springer-Verlag, 2003)
• Mathematical and Computational Methods in Nuclear Physics
  Udgivet: (Berlin, Springer-Verlag, 1984)
• Automated Deduction - CADE-19 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28-August 2, 2003 Proceedings
  Udgivet: (Berlin, Springer-Verlag, 2003)