大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Dur谩n 的图书(共5本)

Water and Sustainable Agriculture [electronic resource]

0
索取号：
作者：Garc铆a-Tejero、 Iv谩n Francisco.、Dur谩n-Zuazo、 V铆ctor Hugo.、Muriel-Fern谩ndez、 Jos茅 Luis.、Rodr铆guez-Pleguezuelo、 Carmen Roc铆o.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2011.

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

0
索取号：
作者：Dur谩n、 Franciso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Research in Karst Media [electronic resource]

0
索取号：
作者：Andreo、 Bartolom茅.、Carrasco、 Francisco.、Dur谩n、 Juan Jos茅.、LaMoreaux、 James W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mixed Finite Elements, Compatibility Conditions, and Applications [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy June 26鈥揓uly 1, 2006

0
索取号：
作者：Boffi、 Daniele.、Brezzi、 Franco.、Demkowicz、 Leszek F.、Dur谩n、 Ricardo G.、Falk、 Richard S.、Fortin、 Michel.、Boffi、 Daniele.、Gastaldi、 Lucia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic

0
索取号：
作者：Clavel、 Manuel.、Dur谩n、 Francisco.、Eker、 Steven.、Lincoln、 Patrick.、Mart铆-Oliet、 Narciso.、Meseguer、 Jos茅.、Talcott、 Carolyn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.