Arama Sonuçları - ((functions computation) or (functions computational)) programming using theory can*

1

Drawing Programs: The Theory and Practice of Schematic Functional Programming

Yazar: Addis, Tom., Addis, Tom., Addis, Jan.
Baskı/Yayın Bilgisi 2010

İçindekiler: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Tam Metin Erişim

Elektronik Ekitap

2

Computational and Analytical Mathematics In Honor of Jonathan Borwein's 60th Birthday /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”
Tam Metin Erişim

Elektronik Ekitap

3

S+Functional Data Analysis User's Manual for Windows ® /

Yazar: Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Baskı/Yayın Bilgisi 2005

İçindekiler: “... Linear Models -- Functional Principal Components -- Canonical Correlation -- Functional Cluster Analysis...”
Tam Metin Erişim

Elektronik Ekitap

4

In Search of Elegance in the Theory and Practice of Computation Essays dedicated to Peter Buneman /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Reasoning in Description Logics with Functionality Constraints -- Toward a Theory of Self-explaining...”
Tam Metin Erişim

Elektronik Ekitap

5

Dynamic Programming A Computational Tool /

Yazar: Lew, Art., Lew, Art., Mauch, Holger.
Baskı/Yayın Bilgisi 2007

İçindekiler: “...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Tam Metin Erişim

Elektronik Ekitap

6

Computer Science -- Theory and Applications First International Symposium on Computer Science...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Sequences -- Functional Equations in Shostak Theories -- All Semi-local Longest Common Subsequences...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Tam Metin Erişim

Elektronik Ekitap

8

Autonomic Computing Principles, Design and Implementation /

Yazar: Lalanda, Philippe., Lalanda, Philippe., McCann, Julie A., Diaconescu, Ada.
Baskı/Yayın Bilgisi 2013

İçindekiler: “... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
Tam Metin Erişim

Elektronik Ekitap

9

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

10

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...”
Tam Metin Erişim

Elektronik Ekitap

12

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

13

Convex Functions and their Applications A Contemporary Approach /

Yazar: Niculescu, Constantin., Niculescu, Constantin., Persson, Lars-Erik.
Baskı/Yayın Bilgisi 2006

İçindekiler: “...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
Tam Metin Erişim

Elektronik Ekitap

14

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... of Generalized Satisfiability for Linear Temporal Logic -- Formalising the ?-Calculus Using Nominal Logic...”
Tam Metin Erişim

Elektronik Ekitap

15

Genetic Programming Theory and Practice X

Baskı/Yayın Bilgisi 2013

İçindekiler: “... of Prostate Cancer Using Computational Evolution, Pareto-Optimization and Post-Processing -- Meta-dimensional...”
Tam Metin Erişim

Elektronik Ekitap

16

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... with P Systems Using Antimatter -- Tissue P systems can be Simulated Efficiently with Counting Oracles...”
Tam Metin Erişim

Elektronik Ekitap

17

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security...”
Tam Metin Erişim

Elektronik Ekitap

18

Genetic Systems Programming Theory and Experiences /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Evolutionary Computation: from Genetic Algorithms to Genetic Programming -- Automatically Defined...”
Tam Metin Erişim

Elektronik Ekitap

19

Guide to Scientific Computing in C++

Yazar: Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Baskı/Yayın Bilgisi 2012

İçindekiler: “... Using MPI -- Designing Object–Oriented Numerical Libraries -- Linear Algebra -- Other Programming...”
Tam Metin Erişim

Elektronik Ekitap

20

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

Aramayı Daralt