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