Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
implementation https » instrumentation https, implementation _
https implementation » states implementation, its implementation, cites implementation
program a » program _
implementation https » instrumentation https, implementation _
https implementation » states implementation, its implementation, cites implementation
program a » program _
1
Published 2005
Table of Contents:
“...Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... to OOP/Java — A Never Ending Story -- Using BlueJ to Introduce Programming -- Model-Driven Programming...”View full text
Electronic
eBook
3
Subjects:
“...IT in Business. https://scigraph.springernature.com/ontologies/product-market-codes/522000...”
View full text
View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Nondeterministic Finite Tree Automata -- Testing Whether a Binary and Prolongeable Regular Language L...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”View full text
Electronic
eBook
8
Table of Contents:
“... -- Passing Variables to a PHP Script I -- Passing Variables to a PHP Script II -- PHP in Action: Managing a...”
View full text
View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Bottleneck for Graph Reduction Using an FPGA -- A Supercompiler for Core Haskell -- Checking Dependent Types...”View full text
Electronic
eBook
11
Published 2011
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...”View full text
Electronic
eBook
13
Published 2011
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
14
Table of Contents:
“..., Design, Implementation and Refactoring -- Elementary Design Patterns -- Analysing a System -- Design...”
View full text
View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Removals of ?-transitions in a Genomic Weighted Finite Automaton -- Hybrid Extended Finite Automata...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Checking: Automata Theory in Practice -- OpenFst: A General and Efficient Weighted Finite-State Transducer...”View full text
Electronic
eBook
17
Table of Contents:
“... to Java Mapping -- Important Elements of the ORB Runtime -- A First Example -- Generating Remote Objects...”
View full text
View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... -- On the Equivalence Problem for Programs with Mode Switching -- Automata and AB-Categorial Grammars -- On a Class...”View full text
Electronic
eBook
19
Table of Contents:
“... Nets: A Class of Petri Nets -- Bellman Net Representations of DP Problems -- Design and Implementation...”
View full text
View full text
Electronic
eBook
20
Table of Contents:
“...Introduction.- The Food Safety Management Team.- The Food Safety Management Program -- Systems...”
View full text
View full text
Electronic
eBook