Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
program implementation » project implementation
implementation https » instrumentation https, implementation _
program test » programs test, program text, program crest
test program » test programs, tvet program, testing program
program implementation » project implementation
implementation https » instrumentation https, implementation _
program test » programs test, program text, program crest
test program » test programs, tvet program, testing program
1
Vydáno 2008
Obsah:
“...Issues in Introductory Programming Courses -- to Part I Issues in Introductory Programming Courses...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2006
Obsah:
“... in Prolog -- Static Memory Management for Logic Programming Languages -- Deductive Databases: Implementation...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2008
Obsah:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2005
Obsah:
“... Analysis of Logic Programs -- Testing for Termination with Monotonicity Constraints -- A Well-Founded...”Získat plný text
Elektronický zdroj
E-kniha
5
Obsah:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2007
Obsah:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2008
Obsah:
“... and Mosses’s Rewrite System Revisited -- Antichain-Based Universality and Inclusion Testing over...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2015
Obsah:
“... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”Získat plný text
Elektronický zdroj
E-kniha
9
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Vydáno 2007
Obsah:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2010
Obsah:
“... for Programs with Quantified First-Order Logic Specifications -- Efficient Distributed Test Architectures...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2013
Obsah:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2011
Témata:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2012
Obsah:
“...-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2007
Obsah:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2008
Obsah:
“...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...”Získat plný text
Elektronický zdroj
E-kniha
16
Témata:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2014
Témata:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Získat plný text
Elektronický zdroj
E-kniha
18
19
Vydáno 2014
Obsah:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2005
Obsah:
“... with Aggregates -- A DLP System with Object-Oriented Features -- Testing Strong Equivalence of Datalog Programs...”Získat plný text
Elektronický zdroj
E-kniha