Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
computational programming » computation programming, computational program, computing programming
programming programming » programming programmed, programming program
general computational » neural computational, generation computational, mengenai computational
programming contracts » programming contract, programming constructs, programming constraints
https » http
computational programming » computation programming, computational program, computing programming
programming programming » programming programmed, programming program
general computational » neural computational, generation computational, mengenai computational
programming contracts » programming contract, programming constructs, programming constraints
https » http
1
Matèries:
“...Business and Management, general. https://scigraph.springernature.com/ontologies/product-market...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
2
Taula de continguts:
“...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
3
Publicat 2013
Taula de continguts:
“... Parameter Learning for Markov Logic Networks Using Bayes Nets -- Bounded Least General Generalization...”Obtenir text complet
Electrònic
eBook
4
Publicat 2013
Taula de continguts:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Obtenir text complet
Electrònic
eBook
5
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publicat 2010
Taula de continguts:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”Obtenir text complet
Electrònic
eBook
6
Publicat 2010
Taula de continguts:
“... of Programming -- Reasoning about Loops in Total and General Correctness -- Lazy UTP -- Monadic Maps and Folds...”Obtenir text complet
Electrònic
eBook
7
Publicat 2006
Taula de continguts:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“... Refactoring of Concurrent Java Code -- Programming Coordinated Behavior in Java -- JCoBox: Generalizing Active...”Obtenir text complet
Electrònic
eBook
9
Publicat 2006
Taula de continguts:
“... -- Algorithmic Graph Minor Theory: Improved Grid Minor Bounds and Wagner’s Contraction -- Best Student Paper 2006...”Obtenir text complet
Electrònic
eBook
10
Publicat 2010
Taula de continguts:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Obtenir text complet
Electrònic
eBook
11
Publicat 2005
Taula de continguts:
“... -- Monotonicity in the Framework of Generalized Convexity -- Contributed Papers -- On the Contraction...”Obtenir text complet
Electrònic
eBook
12
Taula de continguts:
“...Introduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“... -- Lazy Contract Checking for Immutable Data Structures -- The Reduceron: Widening the von Neumann...”Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Taula de continguts:
“... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...”Obtenir text complet
Electrònic
eBook
15
Publicat 2006
Taula de continguts:
“... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”Obtenir text complet
Electrònic
eBook
16
Publicat 2005
Taula de continguts:
“... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”Obtenir text complet
Electrònic
eBook
17
Publicat 2007
Taula de continguts:
“... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...”Obtenir text complet
Electrònic
eBook
18
Publicat 2010
Taula de continguts:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”Obtenir text complet
Electrònic
eBook
19
Publicat 2008
Taula de continguts:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”Obtenir text complet
Electrònic
eBook
20
Publicat 2005
Taula de continguts:
“... with Type Inheritance -- Modelling Parametric Contracts and the State Space of Composite Components by Graph...”Obtenir text complet
Electrònic
eBook