Recherches alternatives:
implementation https » instrumentation https, implementation _
https implementation » states implementation, its implementation, cites implementation
program a » program _
1
Publié 2005
Table des matières: ...Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object...
Accéder au texte intégral
Électronique eBook
2
Publié 2008
Table des matières: ... to OOP/Java — A Never Ending Story -- Using BlueJ to Introduce Programming -- Model-Driven Programming...
Accéder au texte intégral
Électronique eBook
3
Sujets: ...IT in Business. https://scigraph.springernature.com/ontologies/product-market-codes/522000...
Accéder au texte intégral
Électronique eBook
4
Publié 2008
Table des matières: ... Nondeterministic Finite Tree Automata -- Testing Whether a Binary and Prolongeable Regular Language L...
Accéder au texte intégral
Électronique eBook
5
Publié 2006
Table des matières: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
Accéder au texte intégral
Électronique eBook
6
Publié 2007
Table des matières: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Accéder au texte intégral
Électronique eBook
7
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
8
Table des matières: ..., Design, Implementation and Refactoring -- Elementary Design Patterns -- Analysing a System -- Design...
Accéder au texte intégral
Électronique eBook
9
par Bramer, Max., Bramer, Max.
Publié 2015
Table des matières: ... -- Passing Variables to a PHP Script I -- Passing Variables to a PHP Script II -- PHP in Action: Managing a...
Accéder au texte intégral
Électronique eBook
10
Publié 2012
Table des matières: ... -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just...
Accéder au texte intégral
Électronique eBook
11
Publié 2008
Table des matières: ... Bottleneck for Graph Reduction Using an FPGA -- A Supercompiler for Core Haskell -- Checking Dependent Types...
Accéder au texte intégral
Électronique eBook
12
Publié 2011
Sujets: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Accéder au texte intégral
Électronique eBook
13
Publié 2013
Table des matières: ... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...
Accéder au texte intégral
Électronique eBook
14
Publié 2011
Sujets: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Accéder au texte intégral
Électronique eBook
15
Table des matières: ... to Java Mapping -- Important Elements of the ORB Runtime -- A First Example -- Generating Remote Objects...
Accéder au texte intégral
Électronique eBook
16
Publié 2006
Table des matières: ... Removals of ?-transitions in a Genomic Weighted Finite Automaton -- Hybrid Extended Finite Automata...
Accéder au texte intégral
Électronique eBook
17
Publié 2007
Table des matières: ... Checking: Automata Theory in Practice -- OpenFst: A General and Efficient Weighted Finite-State Transducer...
Accéder au texte intégral
Électronique eBook
18
Publié 2006
Table des matières: ... -- On the Equivalence Problem for Programs with Mode Switching -- Automata and AB-Categorial Grammars -- On a Class...
Accéder au texte intégral
Électronique eBook
19
par Lew, Art., Lew, Art., Mauch, Holger.
Publié 2007
Table des matières: ... Nets: A Class of Petri Nets -- Bellman Net Representations of DP Problems -- Design and Implementation...
Accéder au texte intégral
Électronique eBook
20
par King, Hal., King, Hal.
Publié 2013
Table des matières: ...Introduction.- The Food Safety Management Team.- The Food Safety Management Program -- Systems...
Accéder au texte intégral
Électronique eBook