Sökresultat - ((function computation) or (functions computational)) programming computational methods tools*

1

Publicerad 2006

Innehållsförteckning: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Hämta fulltext

Elektronisk E-bok

2

Computational Methods for Physicists Compendium for Students /

av Sirca, Simon., Sirca, Simon., Horvat, Martin.
Publicerad 2012

Innehållsförteckning: “...Basics of numerical analysis -- Solution of nonlinear equations -- Matrix methods...”
Hämta fulltext

Elektronisk E-bok

3

Analysis for Computer Scientists Foundations, Methods, and Algorithms /

av Oberguggenberger, Michael., Oberguggenberger, Michael., Ostermann, Alexander.
Publicerad 2011

Innehållsförteckning: “...Numbers -- Real-Valued Functions -- Trigonometry -- Complex Numbers -- Sequences and Series...”
Hämta fulltext

Elektronisk E-bok

4

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

Publicerad 2007

Innehållsförteckning: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Hämta fulltext

Elektronisk E-bok

5

A Beginner's Guide to Scala, Object Orientation and Functional Programming

av Hunt, John., Hunt, John.
Publicerad 2014

Innehållsförteckning: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Hämta fulltext

Elektronisk E-bok

6

Computational Analysis of Surface Plasmon Resonance

av Mokhtar, Rosmiza
Publicerad 2008

“... as characterizing materials. To achieve these, two computer programs were developed to carry out an accurate curve...”
Hämta fulltext

Lärdomsprov

7

Computational Analysis of Surface Plasmon Resonance

av Mokhtar, Rosmiza
Publicerad 2008

“... as characterizing materials. To achieve these, two computer programs were developed to carry out an accurate curve...”
Hämta fulltext

Lärdomsprov

8

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

Publicerad 2007

Innehållsförteckning: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Hämta fulltext

Elektronisk E-bok

9

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... for Reconfigurable -- Towards Analytical Methods for FPGA Architecture Investigation -- Session 1: Architectures 1...”
Hämta fulltext

Elektronisk E-bok

10

Evolutionary Computation for Modeling and Optimization

av Ashlock, Daniel., Ashlock, Daniel.
Publicerad 2006

Innehållsförteckning: “... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...”
Hämta fulltext

Elektronisk E-bok

11

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

Publicerad 2006

Innehållsförteckning: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Hämta fulltext

Elektronisk E-bok

12

Introduction to Computer Graphics Using Java 2D and 3D /

av Klawonn, Frank., Klawonn, Frank.
Publicerad 2012

Innehållsförteckning: “... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...”
Hämta fulltext

Elektronisk E-bok

13

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

Publicerad 2010

Innehållsförteckning: “..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...”
Hämta fulltext

Elektronisk E-bok

14

Computer Vision and Graphics Second International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part I /

Publicerad 2010

Innehållsförteckning: “... Using Potential Active Contour Method -- Inductive Learning Methods in the Simple Image Understanding...”
Hämta fulltext

Elektronisk E-bok

15

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... to Monoprocess Servers -- Delegating Secure Logging in Pervasive Computing Systems -- Implementing Minimized...”
Hämta fulltext

Elektronisk E-bok

16

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

Publicerad 2007

Innehållsförteckning: “... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...”
Hämta fulltext

Elektronisk E-bok

17

Data Analysis Statistical and Computational Methods for Scientists and Engineers /

av Brandt, Siegmund., Brandt, Siegmund.
Publicerad 2014

Innehållsförteckning: “...) The Gamma Function and Related Functions: Methods and Programs for their Computation -- E) Utility Programs...”
Hämta fulltext

Elektronisk E-bok

18

Functional and Phylogenetic Ecology in R

av Swenson, Nathan G., Swenson, Nathan G.
Publicerad 2014

Innehållsförteckning: “... -- Phylogenetic & Functional Beta Diversity -- Null Models -- Comparative Methods & Phylogenetic Signal...”
Hämta fulltext

Elektronisk E-bok

19

Innovations in Computing Sciences and Software Engineering

Publicerad 2010

Innehållsförteckning: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
Hämta fulltext

Elektronisk E-bok

20

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

Publicerad 2014

Innehållsförteckning: “... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen