檢索結果 - functions computational programming functionals based tool*

搜索替代詞:
computational programming » computation programming , computational program , computing programming
functions computational » functions computation , function computation , directions computational
programming functionals » programming functional , programming function , programming fundamentals
functionals based » functional based , functionally based , functions based

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

出版 2006

書本目錄: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”
獲取全文

電子電子書

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

出版 2012

書本目錄: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
獲取全文

電子電子書

Functional and Phylogenetic Ecology in R

由 Swenson, Nathan G., Swenson, Nathan G.
出版 2014

書本目錄: “...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
獲取全文

電子電子書

Genes and Cardiovascular Function

出版 2011

書本目錄: “... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...”
獲取全文

電子電子書

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

由 Benis-Sinaceur, Hourya., Benis-Sinaceur, Hourya., Panza, Marco., Sandu, Gabriel.
出版 2015

書本目錄: “...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
獲取全文

電子電子書

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

由 Kashiha, Hadi
出版 2015

主題: “...Lexical-functional grammar...”
獲取全文

Thesis

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

出版 2015

書本目錄: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
獲取全文

電子電子書

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

出版 2006

書本目錄: “... Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “... -- Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles -- Component...”
獲取全文

電子電子書

Learning to program with MATLAB : building GUI tools /

由 Lent, Craig S., 1956-.
出版 2013

書本目錄: “... Graphical User Interface Chapter 10: Transferring a MATLAB Program into a GUI Tool Chapter 11: GUI...”

圖書

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

出版 2008

書本目錄: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
獲取全文

電子電子書

Beginning Haskell A Project-Based Approach /

由 Serrano Mena, Alejandro., Serrano Mena, Alejandro.
出版 2014

主題: “...Programming languages (Electronic computers)....”
獲取全文

電子電子書

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

由 Koohi, Sina Zangbari
出版 2020

主題: “...Parallel programming (Computer science) - Research...”
獲取全文

Thesis

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

出版 2006

書本目錄: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
獲取全文

電子電子書

Gröbner Bases Statistics and Software Systems /

出版 2013

書本目錄: “... -- Computation of Gröbner Bases -- Markov Bases and Designed Experiments -- Convex Polytopes and Gröbner Bases...”
獲取全文

電子電子書

Genetic Systems Programming Theory and Experiences /

出版 2006

書本目錄: “...Evolutionary Computation: from Genetic Algorithms to Genetic Programming -- Automatically Defined...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
獲取全文

電子電子書

1
2
3
4
5
6
7
8
9
10
11
下一個 »
[26]

縮小搜索