関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
functionality function » functionals function, functionaries function, functional functions
proof functionality » cross functionality, drop functionality, tool functionality
parallel function » parallel functional, parallel auction, parallel union
function proof » functions proof, functions proofs, function probe
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
proof functionality » cross functionality, drop functionality, tool functionality
parallel function » parallel functional, parallel auction, parallel union
function proof » functions proof, functions proofs, function probe
function https » functions https, fiction https
1
出版事項 2006
目次:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”全文の入手
電子媒体
eBook
2
出版事項 2013
目次:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”全文の入手
電子媒体
eBook
3
出版事項 2013
目次:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”全文の入手
電子媒体
eBook
4
出版事項 2008
目次:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”全文の入手
電子媒体
eBook
5
出版事項 2007
目次:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”全文の入手
電子媒体
eBook
6
出版事項 2006
目次:
“... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...”全文の入手
電子媒体
eBook
7
出版事項 2012
主題:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”全文の入手
電子媒体
eBook
8
出版事項 2010
目次:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”全文の入手
電子媒体
eBook
9
目次:
“...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...”
全文の入手
全文の入手
電子媒体
eBook
10
出版事項 2007
目次:
“... ? Functor to IMTL Algebras: The Linearly Ordered Case -- Verification by Parallelization of Parametric Code...”全文の入手
電子媒体
eBook
11
出版事項 2005
目次:
“... Symbols -- A New Proof of an Ellis-Gohberg Theorem on Orthogonal Matrix Functions Related to the Nehari...”全文の入手
電子媒体
eBook
12
目次:
“... -- Hypersurfaces of a sphere with parallel shape operator -- Codimension reduction of a submanifold -- CR...”
全文の入手
全文の入手
電子媒体
eBook
13
出版事項 2006
目次:
“... Multiplication over Finite Fields -- Synchronous Elastic Circuits -- Theory Track -- SZK Proofs for Black-Box...”全文の入手
電子媒体
eBook
14
目次:
“... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...”
全文の入手
全文の入手
電子媒体
eBook
15
出版事項 2010
目次:
“... -- Fair Partially Blind Signatures -- Attacks -- Parallel Shortest Lattice Vector Enumeration on Graphics...”全文の入手
電子媒体
eBook
16
出版事項 2010
目次:
“...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”全文の入手
電子媒体
eBook
17
目次:
“... -- The Polynomial-Time Hierarchy -- More on the Polynomial-Time Hierarchy -- Parallel Complexity -- Relation of NC...”
全文の入手
全文の入手
電子媒体
eBook
18
出版事項 2010
目次:
“... -- Computation of Special Functions (Invited) -- Sollya: An Environment for the Development of Numerical Codes...”全文の入手
電子媒体
eBook
19
出版事項 2014
目次:
“... -- Uniform Schemata for Proof Rules -- Graph Polynomials Motivated by Gene Rearrangements in Ciliates...”全文の入手
電子媒体
eBook
20
出版事項 2014
目次:
“... There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant...”全文の入手
電子媒体
eBook