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