Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
composition problem » decomposition problem, compositional problems, competition problems
https composition » hops composition, states composition, status composition
program method » programs method, program mentor, programming method
problem https » problem hips, problem has, problem hip
method https » methods https
composition problem » decomposition problem, compositional problems, competition problems
https composition » hops composition, states composition, status composition
program method » programs method, program mentor, programming method
problem https » problem hips, problem has, problem hip
method https » methods https
1
Subjects:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Formal Methods -- Formal Modelling of Systems -- Compositional Binding in Network Domains -- Formal...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
7
Table of Contents:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
View full text
View full text
Electronic
eBook
8
Published 2011
Table of Contents:
“...-Evolution of Problem-Solving Genetic Programming Systems -- The Rubik Cube and GP Temporal Sequence Learning...”View full text
Electronic
eBook
9
Table of Contents:
“... Hamilton: Group Efforts -- Grigori Perelman: A New Clay Problem -- Eric Allender: Solvable Groups -- Enrico...”
View full text
View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“...Automating Test Case Design, Selection and Evaluation -- Human-Oriented Formal Methods -- Modelling...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Invited Speakers -- Security Issues in Service Composition -- Separating Distribution from...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... with Problem-Based Learning -- Encouraging the Uptake of Formal Methods Training in an Industrial Context...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... with Communication Actions -- Concurrent Kleene Algebra with Tests -- Algebras for Program Correctness in Isabelle...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... and Dynamic Attribute-Based Ensembles in SCEL -- On Programming and Policing Autonomic Computing Systems...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...Keynote -- Optimization Problems in Service Provisioning Systems -- Markov Chains -- Untold Horrors...”View full text
Electronic
eBook
18
Energy Minimization Methods in Computer Vision and Pattern Recognition 5th International Workshop...
Published 2005
Table of Contents:
“... Appearance Models -- Kernel Methods for Nonlinear Discriminative Data Analysis -- Reverse-Convex Programming...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... of Permuted Submodular MinSum Problems -- Efficient Shape Matching Via Graph Cuts -- Simulating Classic...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“...-Objective Vehicle Routing Problems with Time Windows -- Speculative Evaluation in Particle Swarm...”View full text
Electronic
eBook