1
出版 2006
书本目录: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
获取全文
电子 电子书
2
出版 2007
书本目录: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
获取全文
电子 电子书
3
出版 2005
书本目录: ... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...
获取全文
电子 电子书
4
出版 2012
书本目录: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
获取全文
电子 电子书
5
书本目录: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
获取全文
电子 电子书
6
出版 2011
书本目录: ... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...
获取全文
电子 电子书
7
书本目录: ...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...
获取全文
电子 电子书
8
9
出版 2015
书本目录: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
获取全文
电子 电子书
10
出版 2006
书本目录: ... Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative...
获取全文
电子 电子书
11
出版 2005
书本目录: ... -- Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles -- Component...
获取全文
电子 电子书
12
Lent, Craig S., 1956-.
出版 2013
书本目录: ... Graphical User Interface Chapter 10: Transferring a MATLAB Program into a GUI Tool Chapter 11: GUI...
图书
13
出版 2008
书本目录: ... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...
获取全文
电子 电子书
14
主题: ...Programming languages (Electronic computers)....
获取全文
电子 电子书
15
16
出版 2013
书本目录: ... -- Computation of Gröbner Bases -- Markov Bases and Designed Experiments -- Convex Polytopes and Gröbner Bases...
获取全文
电子 电子书
17
出版 2006
书本目录: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
获取全文
电子 电子书
18
出版 2010
书本目录: ... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...
获取全文
电子 电子书
19
出版 2008
书本目录: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
获取全文
电子 电子书
20
出版 2008
书本目录: ... and Evaluating Complexity of Textual Case Bases -- Learning Similarity Functions from Qualitative Feedback...
获取全文
电子 电子书