Arama Sonuçları - ((function computing) or (functions computation)) programming using method tools*

1

Baskı/Yayın Bilgisi 2006

İçindekiler: “... OF A DEEP BEAM USING AN EFFICIENT FINITE-DIFFERENCE SCHEME -- COMPUTATIONAL METHOD OF SEA LOADS...”
Tam Metin Erişim

Elektronik Ekitap

2

Functional and Phylogenetic Ecology in R

Yazar: Swenson, Nathan G., Swenson, Nathan G.
Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Phylogenetic & Functional Beta Diversity -- Null Models -- Comparative Methods & Phylogenetic Signal...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Yazar: Hunt, John., Hunt, John.
Baskı/Yayın Bilgisi 2014

İçindekiler: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Yazar: Klawonn, Frank., Klawonn, Frank.
Baskı/Yayın Bilgisi 2012

İçindekiler: “... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...”
Tam Metin Erişim

Elektronik Ekitap

5

Analysis for Computer Scientists Foundations, Methods, and Algorithms /

Yazar: Oberguggenberger, Michael., Oberguggenberger, Michael., Ostermann, Alexander.
Baskı/Yayın Bilgisi 2011

İçindekiler: “...Numbers -- Real-Valued Functions -- Trigonometry -- Complex Numbers -- Sequences and Series...”
Tam Metin Erişim

Elektronik Ekitap

6

Quantifying Functional Biodiversity

Yazar: Pla, Laura., Pla, Laura., Casanoves, Fernando., Di Rienzo, Julio.
Baskı/Yayın Bilgisi 2012

İçindekiler: “...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...”
Tam Metin Erişim

Elektronik Ekitap

7

Discrete Mathematics Using a Computer

Yazar: O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
Baskı/Yayın Bilgisi 2006

İçindekiler: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Bandwidth Use for Matrix-Vector Multiplication in Iterative Methods -- Design of a Financial Application...”
Tam Metin Erişim

Elektronik Ekitap

10

Network Performance Analysis Using the J Programming Language /

Yazar: Holt, Alan., Holt, Alan.
Baskı/Yayın Bilgisi 2008

İçindekiler: “...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
Tam Metin Erişim

Elektronik Ekitap

11

Evolutionary Computation for Modeling and Optimization

Yazar: Ashlock, Daniel., Ashlock, Daniel.
Baskı/Yayın Bilgisi 2006

İçindekiler: “... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Tam Metin Erişim

Elektronik Ekitap

13

Innovations in Computing Sciences and Software Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “.../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...”
Tam Metin Erişim

Elektronik Ekitap

15

DNA Cloning and Assembly Methods

Baskı/Yayın Bilgisi 2014

İçindekiler: “...-Independent Assembly of PCR Fragments -- USER-Derived Cloning Methods and Their Primer Design -- Application...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Using Potential Active Contour Method -- Inductive Learning Methods in the Simple Image Understanding...”
Tam Metin Erişim

Elektronik Ekitap

17

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Tam Metin Erişim

Elektronik Ekitap

18

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions -- Attribute-Based Authentication...”
Tam Metin Erişim

Elektronik Ekitap

19

Computational Social Network Analysis Trends, Tools and Research Advances /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Social Network Mining Tools -- An Overview of Methods for Virtual Social Networks Analysis...”
Tam Metin Erişim

Elektronik Ekitap

20

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt