Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / 订购中 (含光盘)

著者: edited by Franciso Dur谩n.

出版社: Springer Berlin Heidelberg :   出版日期: 2012.

文献类型: 非书资料 , 索书号:

Advances in Research in Karst Media 订购中 (含光盘)

著者: Carrasco Francisco. Dur谩n Juan Jos茅. LaMoreaux James W.

出版社: Springer Berlin Heidelberg,   出版日期: 2010.

文献类型: 非书资料 , 索书号:

Mixed Finite Elements, Compatibility Conditions, and Applications: Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy June 26鈥揓uly 1, 2006 / 订购中 (含光盘)

著者: Brezzi Franco. Demkowicz Leszek F. Dur谩n Ricardo G. Falk Richard S. Fortin Michel. Boffi Daniele. Gastaldi Lucia.

出版社: Springer Berlin Heidelberg,   出版日期: 2008.

文献类型: 非书资料 , 索书号:

All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic / 订购中 (含光盘)

著者: Dur谩n Francisco. Eker Steven. Lincoln Patrick. Mart铆-Oliet Narciso. Meseguer Jos茅. Talcott Carolyn.

出版社: Springer-Verlag Berlin Heidelberg,   出版日期: 2007.

文献类型: 非书资料 , 索书号:

Water and Sustainable Agriculture 订购中 (含光盘)

著者: Dur谩n-Zuazo V铆ctor Hugo. Muriel-Fern谩ndez Jos茅 Luis. Rodr铆guez-Pleguezuelo Carmen Roc铆o.

出版社: Springer Netherlands,   出版日期: 2011.

文献类型: 非书资料 , 索书号: