Rezultaty - ((function computing) or (function computation)) programming using methods tools*

1

Wydane 2006

Spis treści: “... OF A DEEP BEAM USING AN EFFICIENT FINITE-DIFFERENCE SCHEME -- COMPUTATIONAL METHOD OF SEA LOADS...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Functional and Phylogenetic Ecology in R

od Swenson, Nathan G., Swenson, Nathan G.
Wydane 2014

Spis treści: “... -- Phylogenetic & Functional Beta Diversity -- Null Models -- Comparative Methods & Phylogenetic Signal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

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

od Hunt, John., Hunt, John.
Wydane 2014

Spis treści: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Analysis for Computer Scientists Foundations, Methods, and Algorithms /

od Oberguggenberger, Michael., Oberguggenberger, Michael., Ostermann, Alexander.
Wydane 2011

Spis treści: “...Numbers -- Real-Valued Functions -- Trigonometry -- Complex Numbers -- Sequences and Series...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

od Klawonn, Frank., Klawonn, Frank.
Wydane 2012

Spis treści: “... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Quantifying Functional Biodiversity

od Pla, Laura., Pla, Laura., Casanoves, Fernando., Di Rienzo, Julio.
Wydane 2012

Spis treści: “...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Discrete Mathematics Using a Computer

od O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
Wydane 2006

Spis treści: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

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

Wydane 2007

Spis treści: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

DNA Cloning and Assembly Methods

Wydane 2014

Spis treści: “...-Independent Assembly of PCR Fragments -- USER-Derived Cloning Methods and Their Primer Design -- Application...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

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

Wydane 2010

Spis treści: “... Bandwidth Use for Matrix-Vector Multiplication in Iterative Methods -- Design of a Financial Application...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Network Performance Analysis Using the J Programming Language /

od Holt, Alan., Holt, Alan.
Wydane 2008

Spis treści: “...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Evolutionary Computation for Modeling and Optimization

od Ashlock, Daniel., Ashlock, Daniel.
Wydane 2006

Spis treści: “... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

Wydane 2007

Spis treści: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Innovations in Computing Sciences and Software Engineering

Wydane 2010

Spis treści: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

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

Wydane 2007

Spis treści: “.../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

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

Wydane 2010

Spis treści: “... Using Potential Active Contour Method -- Inductive Learning Methods in the Simple Image Understanding...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

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

Wydane 2014

Spis treści: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

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

Wydane 2006

Spis treści: “... Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions -- Attribute-Based Authentication...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Computational Social Network Analysis Trends, Tools and Research Advances /

Wydane 2010

Spis treści: “...Social Network Mining Tools -- An Overview of Methods for Virtual Social Networks Analysis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

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

Wydane 2012

Spis treści: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty