1
出版事項 2007
目次: ...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...
全文の入手
電子媒体 eBook
2
著者: Swenson, Nathan G., Swenson, Nathan G.
出版事項 2014
目次: ... -- Phylogenetic & Functional Beta Diversity -- Null Models -- Comparative Methods & Phylogenetic Signal...
全文の入手
電子媒体 eBook
3
目次: ...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...
全文の入手
電子媒体 eBook
4
目次: ...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...
全文の入手
電子媒体 eBook
5
目次: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
全文の入手
電子媒体 eBook
6
出版事項 2015
目次: ... For Gene Functional Enrichments -- A Comparative Study of Methodologies of Protein Secondary Structure -- A...
全文の入手
電子媒体 eBook
7
出版事項 2005
目次: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
全文の入手
電子媒体 eBook
8
出版事項 2006
目次: ... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...
全文の入手
電子媒体 eBook
9
出版事項 2007
目次: ... Calculus for a Comparative Analysis of Bio-inspired Calculi -- Applicative Programming -- A Rewriting...
全文の入手
電子媒体 eBook
10
出版事項 2006
目次: ... -- Deterministic Extractors for Independent-Symbol Sources -- Randomness -- Gap Amplification in PCPs Using Lazy...
全文の入手
電子媒体 eBook
11
出版事項 2015
目次: ... Degree Univariates -- Approximating CSPs Using LP Relaxation -- Comparator Circuits over Finite Bounded...
全文の入手
電子媒体 eBook
12
著者: Zhang, Yue., Zhang, Yue.
出版事項 2015
目次: ... Python Program -- Branching and Looping -- Problem solving using branches and loops -- Functions -- Lists...
全文の入手
電子媒体 eBook
13
目次: ... the Vehicle Radiator -- Using VEE Pro to Create UserFunctions -- Using VEE Pro for Application Simulations...
全文の入手
電子媒体 eBook
14
目次: ... Abstraction -- The Object-Oriented Paradigm -- The Functional Paradigm -- The Logic Programming Paradigm -- A...
全文の入手
電子媒体 eBook
15
出版事項 2006
目次: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
全文の入手
電子媒体 eBook
16
出版事項 2013
目次: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
全文の入手
電子媒体 eBook
17
出版事項 2007
目次: ... Partial Evaluation of Logic Programs Using Online Techniques -- Improving Offline Narrowing-Driven Partial...
全文の入手
電子媒体 eBook
18
出版事項 2015
目次: ... in Mechatronics-Driven Companies – A Comparative Case Study -- An Industrial Case Study on Test Cases...
全文の入手
電子媒体 eBook
19
出版事項 2014
目次: ...-organized Learning in Software Factory: Experiences and Lessons Learned -- Part Methods and Metrics -- Using...
全文の入手
電子媒体 eBook
20
主題: ...Neurosciences. https://scigraph.springernature.com/ontologies/product-market-codes/B18006...
全文の入手
電子媒体 eBook