大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ！methods 的图书(共2707本)

Rigorous Methods for Software Construction and Analysis [electronic resource] : Essays Dedicated to Egon B枚rger on the Occasion of His 60th Birthday

0
索取号：
作者：Abrial、 Jean-Raymond.、Gl盲sser、 Uwe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Domain Decomposition Methods in Science and Engineering XIX [electronic resource]

0
索取号：
作者：Huang、 Yunqing.、Kornhuber、 Ralf.、Widlund、 Olof.、Xu、 Jinchao.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Interference-optical Methods of Solid Mechanics [electronic resource]

0
索取号：
作者：Razumovsky、 Igor A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Optimal Models and Methods with Fuzzy Quantities [electronic resource]

0
索取号：
作者：Cao、 Bing-Yuan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Direct Methods in the Theory of Elliptic Equations [electronic resource]

0
索取号：
作者：Ne膷as、 Jind艡ich.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Formal Methods: Foundations and Applications [electronic resource] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

0
索取号：
作者：Oliveira、 Marcel Vin铆cius Medeiros.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Formal Methods and Software Engineering [electronic resource] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

0
索取号：
作者：Breitman、 Karin.、Cavalcanti、 Ana.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Methods in Mechanics [electronic resource] : Lectures of the CMM 2009

0
索取号：
作者：Kuczma、 Mieczys艂aw.、Wilmanski、 Krzysztof.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

FM 2009: Formal Methods [electronic resource] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

0
索取号：
作者：Cavalcanti、 Ana.、Dams、 Dennis R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Semantic Methods for Execution-level Business Process Modeling [electronic resource] : Modeling Support Through Process Verification and Service Composition

0
索取号：
作者：Weber、 Ingo M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

MicroRNA Expression Detection Methods [electronic resource]

0
索取号：
作者：Wang、 Zhiguo.、Yang、 Baofeng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Teaching Formal Methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

0
索取号：
作者：Gibbons、 Jeremy.、Oliveira、 Jos茅 Nuno.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Relations and Kleene Algebra in Computer Science [electronic resource] : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings

0
索取号：
作者：Berghammer、 Rudolf.、Jaoua、 Ali Mohamed.、M枚ller、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Immunohistochemistry: Basics and Methods [electronic resource]

0
索取号：
作者：Buchwalow、 Igor B.、B枚cker、 Werner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods for Industrial Critical Systems [electronic resource] : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

0
索取号：
作者：Alpuente、 Mar铆a.、Cook、 Byron.、Joubert、 Christophe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computational Methods in Chemical Engineering with Maple [electronic resource]

0
索取号：
作者：White、 Ralph E.、Subramanian、 Venkat R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.