Rezultati - functions computation programming function based tool*

Poišči alternative:
computation programming » communication programming , computation programmatic , computing programming
functions computation » function computation , functions composition , function composition
programming function » programming functional , programming functionals , programme function

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Izdano 2006

Kazalo: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Polni tekst

Elektronski eKnjiga

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Izdano 2007

Kazalo: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Polni tekst

Elektronski eKnjiga

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

Izdano 2005

Kazalo: “... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”
Polni tekst

Elektronski eKnjiga

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Izdano 2012

Kazalo: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Polni tekst

Elektronski eKnjiga

Functional and Phylogenetic Ecology in R

od Swenson, Nathan G., Swenson, Nathan G.
Izdano 2014

Kazalo: “...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Polni tekst

Elektronski eKnjiga

Genes and Cardiovascular Function

Izdano 2011

Kazalo: “... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...”
Polni tekst

Elektronski eKnjiga

Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms /

od Benis-Sinaceur, Hourya., Benis-Sinaceur, Hourya., Panza, Marco., Sandu, Gabriel.
Izdano 2015

Kazalo: “...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
Polni tekst

Elektronski eKnjiga

Corpus-based study of lexical bundles in academic lectures across three disciplinary divisions

od Kashiha, Hadi
Izdano 2015

Teme: “...Lexical-functional grammar...”
Polni tekst

Thesis

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Izdano 2015

Kazalo: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Polni tekst

Elektronski eKnjiga

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Izdano 2006

Kazalo: “... Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative...”
Polni tekst

Elektronski eKnjiga

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /

Izdano 2005

Kazalo: “... -- Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles -- Component...”
Polni tekst

Elektronski eKnjiga

Learning to program with MATLAB : building GUI tools /

od Lent, Craig S., 1956-.
Izdano 2013

Kazalo: “... Graphical User Interface Chapter 10: Transferring a MATLAB Program into a GUI Tool Chapter 11: GUI...”

Knjiga

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Izdano 2008

Kazalo: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Polni tekst

Elektronski eKnjiga

Beginning Haskell A Project-Based Approach /

od Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Izdano 2014

Teme: “...Programming languages (Electronic computers)....”
Polni tekst

Elektronski eKnjiga

Topology-aware hypergraph based approach to optimize scheduling of parallel applications onto distributed parallel architectures

od Koohi, Sina Zangbari
Izdano 2020

Teme: “...Parallel programming (Computer science) - Research...”
Polni tekst

Thesis

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

Izdano 2006

Kazalo: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Polni tekst

Elektronski eKnjiga

Gröbner Bases Statistics and Software Systems /

Izdano 2013

Kazalo: “... -- Computation of Gröbner Bases -- Markov Bases and Designed Experiments -- Convex Polytopes and Gröbner Bases...”
Polni tekst

Elektronski eKnjiga

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International...

Izdano 2010

Kazalo: “... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”
Polni tekst

Elektronski eKnjiga

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Izdano 2008

Kazalo: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Polni tekst

Elektronski eKnjiga

Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, Proceedings /

Izdano 2008

Kazalo: “... and Evaluating Complexity of Textual Case Bases -- Learning Similarity Functions from Qualitative Feedback...”
Polni tekst

Elektronski eKnjiga

1
2
3
4
5
6
7
8
9
10
11
Naslednji »
[26]

Zoži iskanje