Rekommenderade teman
Rekommenderade teman
Menade du:
programming programming » programming programmed, programming program
computation programming » communication programming, computation programmatic, computing programming
programming contracts » programming contract, programming constructs, programming constraints
general computation » general computational, neural computation, genetic computation
https » http
programming programming » programming programmed, programming program
computation programming » communication programming, computation programmatic, computing programming
programming contracts » programming contract, programming constructs, programming constraints
general computation » general computational, neural computation, genetic computation
https » http
1
Ämnen:
“...Business and Management, general. https://scigraph.springernature.com/ontologies/product-market...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
2
Innehållsförteckning:
“...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2013
Innehållsförteckning:
“... Parameter Learning for Markov Logic Networks Using Bayes Nets -- Bounded Least General Generalization...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2013
Innehållsförteckning:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Hämta fulltext
Elektronisk
E-bok
5
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publicerad 2010
Innehållsförteckning:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2010
Innehållsförteckning:
“... of Programming -- Reasoning about Loops in Total and General Correctness -- Lazy UTP -- Monadic Maps and Folds...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2006
Innehållsförteckning:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2010
Innehållsförteckning:
“... Refactoring of Concurrent Java Code -- Programming Coordinated Behavior in Java -- JCoBox: Generalizing Active...”Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2006
Innehållsförteckning:
“... -- Algorithmic Graph Minor Theory: Improved Grid Minor Bounds and Wagner’s Contraction -- Best Student Paper 2006...”Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2010
Innehållsförteckning:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2005
Innehållsförteckning:
“... -- Monotonicity in the Framework of Generalized Convexity -- Contributed Papers -- On the Contraction...”Hämta fulltext
Elektronisk
E-bok
12
Innehållsförteckning:
“...Introduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2008
Innehållsförteckning:
“... -- Lazy Contract Checking for Immutable Data Structures -- The Reduceron: Widening the von Neumann...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2010
Innehållsförteckning:
“... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2006
Innehållsförteckning:
“... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2005
Innehållsförteckning:
“... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2007
Innehållsförteckning:
“... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2010
Innehållsförteckning:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2008
Innehållsförteckning:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2008
Innehållsförteckning:
“... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...”Hämta fulltext
Elektronisk
E-bok