Zoekresultaten - ((functions computation) or (structure function)) programming using methods computer*

1

Gepubliceerd in 2006

Inhoudsopgave: “... OF A DEEP BEAM USING AN EFFICIENT FINITE-DIFFERENCE SCHEME -- COMPUTATIONAL METHOD OF SEA LOADS...”
Volledige tekst

Elektronisch E-boek

2

An Introduction to Programming and Numerical Methods in MATLAB

door Otto, Steve., Otto, Steve., Denier, James P.
Gepubliceerd in 2005

Inhoudsopgave: “...Simple Calculations with MATLAB -- Writing Scripts and Functions -- Loops and Conditional...”
Volledige tekst

Elektronisch E-boek

3

Reflections on the Teaching of Programming Methods and Implementations /

Gepubliceerd in 2008

Inhoudsopgave: “... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....”
Volledige tekst

Elektronisch E-boek

4

Normal Forms, Melnikov Functions and Bifurcations of Limit Cycles

door Han, Maoan., Han, Maoan., Yu, Pei.
Gepubliceerd in 2012

Inhoudsopgave: “...Hopf Bifurcation and Normal Form Computation -- Comparison of Methods for Computing Focus Values...”
Volledige tekst

Elektronisch E-boek

5

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

Gepubliceerd in 2013

Inhoudsopgave: “... -- On Bistability Causing Structures in Escherichia Coli’s Metabolism -- Mathematical Modelling of the Function...”
Volledige tekst

Elektronisch E-boek

6

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

Gepubliceerd in 2008

Inhoudsopgave: “... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”
Volledige tekst

Elektronisch E-boek

7

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

Gepubliceerd in 2012

Inhoudsopgave: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
Volledige tekst

Elektronisch E-boek

8

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

Gepubliceerd in 2010

Onderwerpen: “...Programming languages (Electronic computers)....”
Volledige tekst

Elektronisch E-boek

9

The Finite Element Method and Applications in Engineering Using ANSYS®

door Madenci, Erdogan., Madenci, Erdogan., Guven, Ibrahim.
Gepubliceerd in 2006

Inhoudsopgave: “... and Postprocessing -- Finite Element Equations -- Use of Commands in Ansys -- Linear Structural Analysis -- Linear...”
Volledige tekst

Elektronisch E-boek

10

The Finite Element Method and Applications in Engineering Using ANSYS®

door Madenci, Erdogan., Madenci, Erdogan., Guven, Ibrahim.
Gepubliceerd in 2015

Inhoudsopgave: “... of Discretization -- ANSYS® Preprocessor -- ANSYS® Solution And Postprocessing -- Finite Element Equations -- Use...”
Volledige tekst

Elektronisch E-boek

11

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

Gepubliceerd in 2010

Inhoudsopgave: “... on the Cell BE Architecture -- Automatic Restructuring of Linked Data Structures -- Using the Meeting Graph...”
Volledige tekst

Elektronisch E-boek

12

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

Gepubliceerd in 2008

Inhoudsopgave: “...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”
Volledige tekst

Elektronisch E-boek

13

Linear Genetic Programming

door Brameier, Markus F., Brameier, Markus F., Banzhaf, Wolfgang.
Gepubliceerd in 2007

Inhoudsopgave: “...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
Volledige tekst

Elektronisch E-boek

14

Discrete Mathematics Using a Computer

door O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
Gepubliceerd in 2006

Inhoudsopgave: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Volledige tekst

Elektronisch E-boek

15

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

Gepubliceerd in 2010

Inhoudsopgave: “... -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level...”
Volledige tekst

Elektronisch E-boek

16

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

Gepubliceerd in 2006

Inhoudsopgave: “... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”
Volledige tekst

Elektronisch E-boek

17

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

Gepubliceerd in 2013

Inhoudsopgave: “... Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures (D. Bartosova...”
Volledige tekst

Elektronisch E-boek

18

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

Gepubliceerd in 2010

Inhoudsopgave: “...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”
Volledige tekst

Elektronisch E-boek

19

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

Gepubliceerd in 2015

Inhoudsopgave: “... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”
Volledige tekst

Elektronisch E-boek

20

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

Gepubliceerd in 2007

Inhoudsopgave: “... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken