1
Publié 2007
Table des matières: ... Elimination – Making Index Vectors Affordable -- FunctionalBased Synthesis of a Systolic Array for GCD...
Accéder au texte intégral
Électronique eBook
2
Publié 2005
Table des matières: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
Accéder au texte intégral
Électronique eBook
3
Publié 2012
Table des matières: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Accéder au texte intégral
Électronique eBook
4
Publié 2011
Sujets: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Accéder au texte intégral
Électronique eBook
5
Publié 2008
Table des matières: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Accéder au texte intégral
Électronique eBook
6
Publié 2013
Table des matières: ... JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java...
Accéder au texte intégral
Électronique eBook
7
Publié 2010
Table des matières: ...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...
Accéder au texte intégral
Électronique eBook
8
Publié 2011
Sujets: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Accéder au texte intégral
Électronique eBook
9
Publié 2013
Table des matières: ... Complexity of Constraint Satisfaction and Reasoning -- Translating Nondeterministic Functional Language based...
Accéder au texte intégral
Électronique eBook
10
Publié 2008
Table des matières: ... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...
Accéder au texte intégral
Électronique eBook
11
Publié 2005
Table des matières: ... -- Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis....
Accéder au texte intégral
Électronique eBook
12
Sujets: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Accéder au texte intégral
Électronique eBook
13
Table des matières: ...Building Blocks of IEC 61131-3 -- Variables, Data Types and Common Elements -- The Programming...
Accéder au texte intégral
Électronique eBook
14
Table des matières: .... Differentiation -- Chapter 19. Convex Functions -- Chapter 20 -- Nonlinear Programs....
Accéder au texte intégral
Électronique eBook
15
Publié 2010
Table des matières: ... Functions Conflicts Calculation -- Credal Sets Approximation by Lower Probabilities: Application to Credal...
Accéder au texte intégral
Électronique eBook
16
Publié 2015
Table des matières: ... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...
Accéder au texte intégral
Électronique eBook
17
Publié 2005
Table des matières: ... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...
Accéder au texte intégral
Électronique eBook
18
Publié 2008
Table des matières: ... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...
Accéder au texte intégral
Électronique eBook
19
Publié 2010
Table des matières: ...Data Analysis Applications -- Data-Driven Design of Takagi-Sugeno Fuzzy Systems for Predicting NOx...
Accéder au texte intégral
Électronique eBook
20
Publié 2010
Table des matières: ... -- Trust Propagation Based on Group Opinion -- Application of IF-Sets to Modeling of Lip Shapes...
Accéder au texte intégral
Électronique eBook