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

Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bj酶rner and Chaochen Zhou on the Occasion of Their 70th Birthdays

0
索取号：
作者：Jones、 Cliff B.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings

0
索取号：
作者：Wolter、 Katinka.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

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

0
索取号：
作者：Langer、 Ulrich.、Discacciati、 Marco.、Keyes、 David E.、Widlund、 Olof B.、Zulehner、 Walter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computational Methods in Systems Biology [electronic resource] : International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings

0
索取号：
作者：Calder、 Muffy.、Gilmore、 Stephen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

High Order Difference Methods for Time Dependent PDE [electronic resource]

0
索取号：
作者：Gustafsson、 Bertil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Theory and Mathematical Methods for Bioinformatics [electronic resource]

0
索取号：
作者：Shen、 Shiyi.、Tuszynski、 Jack A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Methods for Components and Objects [electronic resource] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

0
索取号：
作者：Boer、 Frank S.、Bonsangue、 Marcello M.、Graf、 Susanne.、Roever、 Willem-Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Environmental Geology [electronic resource] : Handbook of Field Methods and Case Studies

0
索取号：
作者：Kn枚del、 Klaus.、Lange、 Gerhard.、Voigt、 Hans-J眉rgen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Monte Carlo and Quasi-Monte Carlo Methods 2006 [electronic resource]

0
索取号：
作者：Keller、 Alexander.、Heinrich、 Stefan.、Niederreiter、 Harald.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Geological Methods in Mineral Exploration and Mining [electronic resource]

0
索取号：
作者：Marjoribanks、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Measuring the Value of Culture [electronic resource] : Methods and Examples in Cultural Economics

0
索取号：
作者：Snowball、 Jeanette D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Algorithmic Methods for Railway Optimization [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers

0
索取号：
作者：Geraets、 Frank.、Kroon、 Leo.、Schoebel、 Anita.、Wagner、 Dorothea.、Zaroliagis、 Christos D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Speaker Classification I [electronic resource] : Fundamentals, Features, and Methods

0
索取号：
作者：M眉ller、 Christian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007. Proceedings

0
索取号：
作者：Yuille、 Alan L.、Zhu、 Song-Chun.、Cremers、 Daniel.、Wang、 Yongtian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Applied Scanning Probe Methods X [electronic resource] : Biomimetics and Industrial Applications

0
索取号：
作者：Bhushan、 Bharat.、Tomitori、 Masahiko.、Fuchs、 Harald.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Applied Scanning Probe Methods IX [electronic resource] : Characterization

0
索取号：
作者：Tomitori、 Masahiko.、Bhushan、 Bharat.、Fuchs、 Harald.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.