1
Publicado em 2005
Sumário: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2008
Sumário: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2005
Sumário: ... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2015
Sumário: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2005
Sumário: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2006
Sumário: ... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2006
Sumário: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2015
Sumário: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Sumário: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2014
Sumário: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2007
Sumário: ... System for Cross-Organizational Workflows Management Based on Process-View -- Towards a Formal Foundation...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Sumário: ... Programming -- Using LINQ -- Windows Presentation Foundation....
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2014
Sumário: ... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2015
Sumário: ... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2014
Sumário: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2013
Sumário: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Assuntos: ...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2015
Sumário: ... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2008
Sumário: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2012
Sumário: ...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...
Obter o texto integral
Recurso Electrónico livro electrónico