Rewriting Logic and Its Applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /

Benzer Materyaller

• Rewriting Logic and Its Applications : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers /
  Yazar:: Peter Csaba Ölveczky
  Baskı/Yayın Bilgisi: (2010, c2010)
• Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS Grenoble, France, April 5–6, 2014 : Revised Selected Papers /
  Baskı/Yayın Bilgisi: (2014, c2014)
• Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings /
  Yazar:: Tobias Nipkow
  Baskı/Yayın Bilgisi: (1998, c1998)
• Numerical Analysis and Its Applications : 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers /
  Yazar:: Ivan Dimov, István Faragó, Lubin Vulkov
  Baskı/Yayın Bilgisi: (2013, c2013)
• Computer Science and its Applications : CSA 2012 /
  Yazar:: Sang-Soo Yeo, Yi Pan, Yang Sun Lee, Hang Bae Chang
  Baskı/Yayın Bilgisi: (2012, c2012)