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

Formal Methods for Eternal Networked Software Systems [electronic resource] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Issarny、 Val茅rie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Linear and Nonlinear Integral Equations [electronic resource] : Methods and Applications

0
索取号：
作者：Wazwaz、 Abdul-Majid.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

0
索取号：
作者：Butler、 Michael.、Schulte、 Wolfram.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Injection Molding [electronic resource] : Integration of Theory and Modeling Methods

0
索取号：
作者：Zheng、 Rong.、Tanner、 Roger I.、Fan、 Xi-Jun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Relational and Algebraic Methods in Computer Science [electronic resource] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 鈥ʵne 3, 2011. Proceedings

0
索取号：
作者：Swart、 Harrie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advanced Statistical Methods for the Analysis of Large Data-Sets [electronic resource]

0
索取号：
作者：Di Ciaccio、 Agostino.、Coli、 Mauro.、Angulo Ibanez、 Jose Miguel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Innovative Computing Methods and Their Applications to Engineering Problems [electronic resource]

0
索取号：
作者：Nedjah、 Nadia.、Santos Coelho、 Leandro.、Mariani、 Viviana Cocco.、Macedo Mourelle、 Luiza.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computational Optimization, Methods and Algorithms [electronic resource]

0
索取号：
作者：Koziel、 Slawomir.、Yang、 Xin-She.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Numerical Methods for the Life Scientist [electronic resource] : Binding and Enzyme Kinetics Calculated with GNU Octave and MATLAB

0
索取号：
作者：Prinz、 Heino.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Viability and Resilience of Complex Systems [electronic resource] : Concepts, Methods and Case Studies from Ecology and Society

0
索取号：
作者：Deffuant、 Guillaume.、Gilbert、 Nigel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

0
索取号：
作者：Bobaru、 Mihaela.、Havelund、 Klaus.、Holzmann、 Gerard J.、Joshi、 Rajeev.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Statistics for High-Dimensional Data [electronic resource] : Methods, Theory and Applications

0
索取号：
作者：B眉hlmann、 Peter.、van de Geer、 Sara.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Engineering Methods in the Service-Oriented Context [electronic resource] : 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings

0
索取号：
作者：Ralyt茅、 Jolita.、Mirbel、 Isabelle.、Deneck猫re、 R茅becca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

0
索取号：
作者：Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Numerical Methods for Two-phase Incompressible Flows [electronic resource]

0
索取号：
作者：Gross、 Sven.、Reusken、 Arnold.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

BAIL 2010 - Boundary and Interior Layers, Computational and Asymptotic Methods [electronic resource]

0
索取号：
作者：Clavero、 Carmelo.、Gracia、 Jos茅 Luis.、Lisbona、 Francisco J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.