Canlyniadau Chwilio - ((functions computation) or (function computation)) programming using theory can*

1

Drawing Programs: The Theory and Practice of Schematic Functional Programming

gan Addis, Tom., Addis, Tom., Addis, Jan.
Cyhoeddwyd 2010

Tabl Cynhwysion: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Cael y testun llawn

Electronig eLyfr

2

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”
Cael y testun llawn

Electronig eLyfr

3

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

gan Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Cyhoeddwyd 2005

Tabl Cynhwysion: “... Linear Models -- Functional Principal Components -- Canonical Correlation -- Functional Cluster Analysis...”
Cael y testun llawn

Electronig eLyfr

4

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Reasoning in Description Logics with Functionality Constraints -- Toward a Theory of Self-explaining...”
Cael y testun llawn

Electronig eLyfr

5

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Sequences -- Functional Equations in Shostak Theories -- All Semi-local Longest Common Subsequences...”
Cael y testun llawn

Electronig eLyfr

6

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Cael y testun llawn

Electronig eLyfr

7

Autonomic Computing Principles, Design and Implementation /

gan Lalanda, Philippe., Lalanda, Philippe., McCann, Julie A., Diaconescu, Ada.
Cyhoeddwyd 2013

Tabl Cynhwysion: “... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
Cael y testun llawn

Electronig eLyfr

8

Dynamic Programming A Computational Tool /

gan Lew, Art., Lew, Art., Mauch, Holger.
Cyhoeddwyd 2007

Tabl Cynhwysion: “...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Cael y testun llawn

Electronig eLyfr

9

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

gan Klawonn, Frank., Klawonn, Frank.
Cyhoeddwyd 2012

Tabl Cynhwysion: “... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...”
Cael y testun llawn

Electronig eLyfr

10

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...”
Cael y testun llawn

Electronig eLyfr

11

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...”
Cael y testun llawn

Electronig eLyfr

12

Genetic Programming Theory and Practice X

Cyhoeddwyd 2013

Tabl Cynhwysion: “... of Prostate Cancer Using Computational Evolution, Pareto-Optimization and Post-Processing -- Meta-dimensional...”
Cael y testun llawn

Electronig eLyfr

13

Discrete Mathematics Using a Computer

gan O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
Cyhoeddwyd 2006

Tabl Cynhwysion: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Cael y testun llawn

Electronig eLyfr

14

Convex Functions and their Applications A Contemporary Approach /

gan Niculescu, Constantin., Niculescu, Constantin., Persson, Lars-Erik.
Cyhoeddwyd 2006

Tabl Cynhwysion: “...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
Cael y testun llawn

Electronig eLyfr

15

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... of Generalized Satisfiability for Linear Temporal Logic -- Formalising the ?-Calculus Using Nominal Logic...”
Cael y testun llawn

Electronig eLyfr

16

Evolutionary Computation for Modeling and Optimization

gan Ashlock, Daniel., Ashlock, Daniel.
Cyhoeddwyd 2006

Tabl Cynhwysion: “... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...”
Cael y testun llawn

Electronig eLyfr

17

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... with P Systems Using Antimatter -- Tissue P systems can be Simulated Efficiently with Counting Oracles...”
Cael y testun llawn

Electronig eLyfr

18

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security...”
Cael y testun llawn

Electronig eLyfr

19

Guide to Scientific Computing in C++

gan Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Cyhoeddwyd 2012

Tabl Cynhwysion: “... Using MPI -- Designing Object–Oriented Numerical Libraries -- Linear Algebra -- Other Programming...”
Cael y testun llawn

Electronig eLyfr

20

Network Performance Analysis Using the J Programming Language /

gan Holt, Alan., Holt, Alan.
Cyhoeddwyd 2008

Tabl Cynhwysion: “...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad