1
Vydáno 2007
Obsah: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2010
Obsah: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2005
Obsah: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2014
Obsah: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2010
Obsah: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Získat plný text
Elektronický zdroj E-kniha
6
Vydáno 2013
Obsah: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2005
Obsah: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
Získat plný text
Elektronický zdroj E-kniha
8
Autor Bjørner, Dines., Bjørner, Dines.
Vydáno 2006
Obsah: ... ?-Calculus -- Algebras -- Mathematical Logic -- Simple RSL -- Atomic Types and Values in RSL -- Function...
Získat plný text
Elektronický zdroj E-kniha
9
Autor Sharan, Kishori., Sharan, Kishori.
Vydáno 2014
Témata: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Získat plný text
Elektronický zdroj E-kniha
10
Vydáno 2015
Obsah: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Získat plný text
Elektronický zdroj E-kniha
11
Vydáno 2010
Obsah: ... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...
Získat plný text
Elektronický zdroj E-kniha
12
Vydáno 2015
Obsah: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
Získat plný text
Elektronický zdroj E-kniha
13
Vydáno 2015
Obsah: ... and Internal Layers -- The Finite Difference Method for Boundary Value Problem with Singularity...
Získat plný text
Elektronický zdroj E-kniha
14
Vydáno 2008
Obsah: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Získat plný text
Elektronický zdroj E-kniha
15
Vydáno 2008
Obsah: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
Získat plný text
Elektronický zdroj E-kniha
16
Vydáno 2008
Obsah: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
Získat plný text
Elektronický zdroj E-kniha
17
Vydáno 2012
Obsah: ... for Set-Valued Mappings.-Optimal Control of Multibody Systems in Resistive Media.-Classical and Relaxed...
Získat plný text
Elektronický zdroj E-kniha
18
Vydáno 2005
Obsah: ... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...
Získat plný text
Elektronický zdroj E-kniha
19
Vydáno 2007
Obsah: ... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...
Získat plný text
Elektronický zdroj E-kniha
20
Vydáno 2015
Obsah: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání