提案スペルによる検索:
program computing » program comparing, programs compiling, problem computing
functional source » functional surface, functional score, function resource
https functional » cots functional, cuts functional, dots functional
source https » resources https, space https
1
出版事項 2011
主題: ...Programming languages (Electronic computers)....
全文の入手
電子媒体 eBook
2
著者: Addis, Tom., Addis, Tom., Addis, Jan.
出版事項 2010
目次: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
全文の入手
電子媒体 eBook
3
出版事項 2015
目次: ...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...
全文の入手
電子媒体 eBook
4
著者: Johnson, Chris., Johnson, Chris.
出版事項 2010
目次: ...Hello, World! Your First Shell Program -- Input, Output, and Throughput -- Looping and Branching...
全文の入手
電子媒体 eBook
5
出版事項 2005
目次: ... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...
全文の入手
電子媒体 eBook
6
出版事項 2013
目次: ... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...
全文の入手
電子媒体 eBook
7
著者: Kall, Peter., Kall, Peter., Mayer, János.
出版事項 2011
主題: ...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...
全文の入手
電子媒体 eBook
8
著者: Smith, Joshua B., Smith, Joshua B.
出版事項 2007
目次: ... -- The Objective Part of Caml -- Digression: OCaml Is Not Pure -- Digression: Functional Programming -- Practical...
全文の入手
電子媒体 eBook
9
著者: Moodie, Matthew., Moodie, Matthew.
出版事項 2006
主題: ...Computer programming....
全文の入手
電子媒体 eBook
10
著者: Petersen, Richard., Petersen, Richard.
出版事項 2013
主題: ...Computer programming....
全文の入手
電子媒体 eBook
11
著者: Turnbull, James., Turnbull, James.
出版事項 2006
主題: ...Computer programming....
全文の入手
電子媒体 eBook
12
著者: Mehta, Prateek., Mehta, Prateek.
出版事項 2013
主題: ...Computer programming....
全文の入手
電子媒体 eBook
13
著者: Bradley, Aaron R., Bradley, Aaron R.
出版事項 2011
主題: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
全文の入手
電子媒体 eBook
14
出版事項 2015
目次: ... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...
全文の入手
電子媒体 eBook
15
出版事項 2006
目次: ... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...
全文の入手
電子媒体 eBook
16
出版事項 2005
目次: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
全文の入手
電子媒体 eBook
17
著者: Kalicharan, Noel., Kalicharan, Noel.
出版事項 2015
目次: ...1. Elementary Programming Concepts -- 2. C The Basics -- 3. Programs with Sequence Logic -- 4...
全文の入手
電子媒体 eBook
18
出版事項 2010
目次: ...Strategic Orientation in the Globalization of Software Firms -- Strategic Sourcing of R&D...
全文の入手
電子媒体 eBook
19
著者: Liu, G.R., Liu, G.R., Gu, Y.T.
出版事項 2005
目次: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
全文の入手
電子媒体 eBook
20
出版事項 2013
目次: ... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...
全文の入手
電子媒体 eBook