תוצאות חיפוש - ((functions computation) or (functions computational)) programming theory method tools*

1

יצא לאור 2006

תוכן הענינים: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

2

Analysis for Computer Scientists Foundations, Methods, and Algorithms /

מאת Oberguggenberger, Michael., Oberguggenberger, Michael., Ostermann, Alexander.
יצא לאור 2011

תוכן הענינים: “...Numbers -- Real-Valued Functions -- Trigonometry -- Complex Numbers -- Sequences and Series...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

3

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

יצא לאור 2005

תוכן הענינים: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

4

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

5

Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods /

מאת Nikolaev, Nikolay., Nikolaev, Nikolay., Iba, Hitoshi.
יצא לאור 2006

תוכן הענינים: “...Inductive Genetic Programming -- Tree-Like PNN Representations -- Fitness Functions and Landscapes...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

6

Trustworthy Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /

יצא לאור 2010

תוכן הענינים: “..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

7

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

8

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

יצא לאור 2006

תוכן הענינים: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

9

Exercises in Computational Mathematics with MATLAB

מאת Lyche, Tom., Lyche, Tom., Merrien, Jean-Louis.
יצא לאור 2014

תוכן הענינים: “... and Eigenvectors -- 4 Matrices, Norms and Conditioning -- 5 Iterative Methods -- 6 Polynomial Interpolation -- 7...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

10

Evolutionary Computation for Modeling and Optimization

מאת Ashlock, Daniel., Ashlock, Daniel.
יצא לאור 2006

תוכן הענינים: “... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

11

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

יצא לאור 2014

תוכן הענינים: “... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

12

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני