1
Được phát hành 2010
Mục lục: ... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...
lấy văn bản
Điện tử eBook
2
Được phát hành 2005
Mục lục: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
lấy văn bản
Điện tử eBook
3
Được phát hành 2008
Mục lục: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
lấy văn bản
Điện tử eBook
4
Được phát hành 2005
Mục lục: ... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...
lấy văn bản
Điện tử eBook
5
Được phát hành 2005
Mục lục: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
lấy văn bản
Điện tử eBook
6
Được phát hành 2015
Mục lục: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
lấy văn bản
Điện tử eBook
7
Được phát hành 2008
Mục lục: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
lấy văn bản
Điện tử eBook
8
Được phát hành 2013
Mục lục: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
lấy văn bản
Điện tử eBook
9
Được phát hành 2014
Mục lục: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
lấy văn bản
Điện tử eBook
10
Được phát hành 2008
Mục lục: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
lấy văn bản
Điện tử eBook
11
Bằng Langtangen, Hans Petter., Langtangen, Hans Petter.
Được phát hành 2011
Mục lục: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
lấy văn bản
Điện tử eBook
12
Bằng Langtangen, Hans Petter., Langtangen, Hans Petter.
Được phát hành 2012
Mục lục: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
lấy văn bản
Điện tử eBook
13
Bằng Langtangen, Hans Petter., Langtangen, Hans Petter.
Được phát hành 2014
Mục lục: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
lấy văn bản
Điện tử eBook
14
Được phát hành 2006
Mục lục: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
lấy văn bản
Điện tử eBook
15
Được phát hành 2006
Mục lục: ... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...
lấy văn bản
Điện tử eBook
16
Bằng Pickering, Robert., Pickering, Robert.
Được phát hành 2010
Mục lục: ...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...
lấy văn bản
Điện tử eBook
17
Được phát hành 2015
Mục lục: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
lấy văn bản
Điện tử eBook
18
Bằng Karrenberg, Ralf., Karrenberg, Ralf.
Được phát hành 2015
Những chủ đề: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
lấy văn bản
Điện tử eBook
19
Được phát hành 2014
Mục lục: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
lấy văn bản
Điện tử eBook
20
Mục lục: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
lấy văn bản
Điện tử eBook