関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
computation programming » communication programming, computation programmatic, computing programming
function computation » function computing, function decomposition, section computational
programming design » program design
using tools » cutting tools, making tools, mining tools
computation programming » communication programming, computation programmatic, computing programming
function computation » function computing, function decomposition, section computational
programming design » program design
using tools » cutting tools, making tools, mining tools
1
目次:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
全文の入手
全文の入手
電子媒体
eBook
2
出版事項 2012
目次:
“... -- Describing and Optimising Reversible Logic Using a Functional Language -- Hardware Design with Generalized...”全文の入手
電子媒体
eBook
3
目次:
“...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
全文の入手
全文の入手
電子媒体
eBook
4
著者: Lent, Craig S., 1956-.
出版事項 2013
目次:
“...: Writing Your Own MATLAB Functions Chapter 8: More MATLAB Data Classes and Structures Chapter 9: Building a...”出版事項 2013
図書
5
6
目次:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
全文の入手
全文の入手
電子媒体
eBook
7
著者: Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
出版事項 2005
目次:
“... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”出版事項 2005
全文の入手
電子媒体
eBook
8
目次:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
全文の入手
全文の入手
電子媒体
eBook
9
出版事項 2005
目次:
“... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...”全文の入手
電子媒体
eBook
10
出版事項 2010
目次:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”全文の入手
電子媒体
eBook
11
出版事項 2015
目次:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”全文の入手
電子媒体
eBook
12
出版事項 2010
目次:
“... on Functional System-Level Design and Modeling -- Design Automation Model for Application-Specific Processors...”全文の入手
電子媒体
eBook
13
出版事項 2010
目次:
“... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”全文の入手
電子媒体
eBook
14
出版事項 2007
目次:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”全文の入手
電子媒体
eBook
15
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
出版事項 2005
目次:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”全文の入手
電子媒体
eBook
16
出版事項 2006
目次:
“... Genetic Programming Ensembles -- Evolutionary Digital Circuit Design Using Genetic Programming -- Evolving...”全文の入手
電子媒体
eBook
17
出版事項 2008
目次:
“... -- Functional Verification of Power Gated Designs by Compositional Reasoning -- A Practical Approach to Word...”全文の入手
電子媒体
eBook
18
目次:
“... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
全文の入手
全文の入手
電子媒体
eBook
19
目次:
“...-Based Tools -- Logic Data Modeling Tools -- Web User Interface Tools -- XML in Analysis and Design...”
全文の入手
全文の入手
電子媒体
eBook
20
出版事項 2010
目次:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”全文の入手
電子媒体
eBook