Søgeresultater - interval computer programming program constructs loops

Søg alternativer:
computer programming » computer program , computer programs
programming program » programming programmed , programming problem , programming problems
program constructs » program construction , program constructing , programming constructs
interval computer » interface computer , interval computing , internet computer
constructs loops » constructs lists , constructs coders , constructs core

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates -- Loops: Relevant or Redundant...”
Få fuldtekst

Electronisk eBog

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference...

Udgivet 2013

Indholdsfortegnelse: “...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”
Få fuldtekst

Electronisk eBog

Principles and Practice of Constraint Programming - CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...”
Få fuldtekst

Electronisk eBog

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM...”
Få fuldtekst

Electronisk eBog

Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Interval Job Distribution -- Average Schedule Length and Resource Selection Policies on Computational Grids...”
Få fuldtekst

Electronisk eBog

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Udgivet 2014

Indholdsfortegnelse: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
Få fuldtekst

Electronisk eBog

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I /

Udgivet 2012

Indholdsfortegnelse: “... -- Decoding Network Activity from LFPs: A Computational Approach -- Evolutionary Design of the Closed Loop...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning