檢索結果 - ((functions computation) or (structure functions)) programming using methods computer*

1

Computational Methods

出版 2006

書本目錄: “... OF A DEEP BEAM USING AN EFFICIENT FINITE-DIFFERENCE SCHEME -- COMPUTATIONAL METHOD OF SEA LOADS...”
獲取全文

電子電子書

2

An Introduction to Programming and Numerical Methods in MATLAB

由 Otto, Steve., Otto, Steve., Denier, James P.
出版 2005

書本目錄: “...Simple Calculations with MATLAB -- Writing Scripts and Functions -- Loops and Conditional...”
獲取全文

電子電子書

3

Reflections on the Teaching of Programming Methods and Implementations /

出版 2008

書本目錄: “... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....”
獲取全文

電子電子書

4

Normal Forms, Melnikov Functions and Bifurcations of Limit Cycles

由 Han, Maoan., Han, Maoan., Yu, Pei.
出版 2012

書本目錄: “...Hopf Bifurcation and Normal Form Computation -- Comparison of Methods for Computing Focus Values...”
獲取全文

電子電子書

5

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings /

出版 2013

書本目錄: “... -- On Bistability Causing Structures in Escherichia Coli’s Metabolism -- Mathematical Modelling of the Function...”
獲取全文

電子電子書

6

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

出版 2008

書本目錄: “... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”
獲取全文

電子電子書

7

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

出版 2012

書本目錄: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
獲取全文

電子電子書

8

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

出版 2010

主題: “...Programming languages (Electronic computers)....”
獲取全文

電子電子書

9

The Finite Element Method and Applications in Engineering Using ANSYS®

由 Madenci, Erdogan., Madenci, Erdogan., Guven, Ibrahim.
出版 2006

書本目錄: “... and Postprocessing -- Finite Element Equations -- Use of Commands in Ansys -- Linear Structural Analysis -- Linear...”
獲取全文

電子電子書

10

The Finite Element Method and Applications in Engineering Using ANSYS®

由 Madenci, Erdogan., Madenci, Erdogan., Guven, Ibrahim.
出版 2015

書本目錄: “... of Discretization -- ANSYS® Preprocessor -- ANSYS® Solution And Postprocessing -- Finite Element Equations -- Use...”
獲取全文

電子電子書

11

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

出版 2010

書本目錄: “... on the Cell BE Architecture -- Automatic Restructuring of Linked Data Structures -- Using the Meeting Graph...”
獲取全文

電子電子書

12

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods...

出版 2008

書本目錄: “...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”
獲取全文

電子電子書

13

Linear Genetic Programming

由 Brameier, Markus F., Brameier, Markus F., Banzhaf, Wolfgang.
出版 2007

書本目錄: “...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
獲取全文

電子電子書

14

Discrete Mathematics Using a Computer

由 O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
出版 2006

書本目錄: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
獲取全文

電子電子書

15

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /

出版 2010

書本目錄: “... -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level...”
獲取全文

電子電子書

16

Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings /

出版 2006

書本目錄: “... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”
獲取全文

電子電子書

17

Asymptotic Geometric Analysis Proceedings of the Fall 2010 Fields Institute Thematic Program /

出版 2013

書本目錄: “... Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures (D. Bartosova...”
獲取全文

電子電子書

18

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

出版 2010

書本目錄: “...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”
獲取全文

電子電子書

19

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

出版 2015

書本目錄: “... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”
獲取全文

電子電子書

20

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

出版 2007

書本目錄: “... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”
獲取全文

電子電子書

縮小搜索