Canlyniadau Chwilio - ((functions computational) or (structure function)) programming using methods based*

1

Cyhoeddwyd 2006

Tabl Cynhwysion: “... OF A DEEP BEAM USING AN EFFICIENT FINITE-DIFFERENCE SCHEME -- COMPUTATIONAL METHOD OF SEA LOADS...”
Cael y testun llawn

Electronig eLyfr

2

Reflections on the Teaching of Programming Methods and Implementations /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....”
Cael y testun llawn

Electronig eLyfr

3

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- On Bistability Causing Structures in Escherichia Coli’s Metabolism -- Mathematical Modelling of the Function...”
Cael y testun llawn

Electronig eLyfr

4

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”
Cael y testun llawn

Electronig eLyfr

5

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

Cyhoeddwyd 2012

Tabl Cynhwysion: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
Cael y testun llawn

Electronig eLyfr

6

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

Cyhoeddwyd 2010

Pynciau: “...Programming languages (Electronic computers)....”
Cael y testun llawn

Electronig eLyfr

7

The Finite Element Method and Applications in Engineering Using ANSYS®

gan Madenci, Erdogan., Madenci, Erdogan., Guven, Ibrahim.
Cyhoeddwyd 2006

Tabl Cynhwysion: “... and Postprocessing -- Finite Element Equations -- Use of Commands in Ansys -- Linear Structural Analysis -- Linear...”
Cael y testun llawn

Electronig eLyfr

8

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... on the Cell BE Architecture -- Automatic Restructuring of Linked Data Structures -- Using the Meeting Graph...”
Cael y testun llawn

Electronig eLyfr

9

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”
Cael y testun llawn

Electronig eLyfr

10

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level...”
Cael y testun llawn

Electronig eLyfr

11

Advance in Structural Bioinformatics

Cyhoeddwyd 2015

Tabl Cynhwysion: “... -- The Functional Analysis of Biological Macromolecules -- The Structure-Based Drug Design....”
Cael y testun llawn

Electronig eLyfr

12

Meshless Methods in Solid Mechanics

gan Chen, Youping., Chen, Youping., Lee, James., Eskandarian, Azim.
Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- Basic Concepts of Finite Element Methods -- An Overview of Meshless Methods -- Procedures of Meshless...”
Cael y testun llawn

Electronig eLyfr

13

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”
Cael y testun llawn

Electronig eLyfr

14

Linear Genetic Programming

gan Brameier, Markus F., Brameier, Markus F., Banzhaf, Wolfgang.
Cyhoeddwyd 2007

Tabl Cynhwysion: “...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
Cael y testun llawn

Electronig eLyfr

15

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”
Cael y testun llawn

Electronig eLyfr

16

Java Methods for Financial Engineering Applications in Finance and Investment /

gan Barker, Philip., Barker, Philip.
Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
Cael y testun llawn

Electronig eLyfr

17

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Cael y testun llawn

Electronig eLyfr

18

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...”
Cael y testun llawn

Electronig eLyfr

19

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Cael y testun llawn

Electronig eLyfr

20

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming /

gan Kormanyos, Christopher., Kormanyos, Christopher.
Cyhoeddwyd 2015

Tabl Cynhwysion: “... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad