Søgeresultater - integrating expression programming program construction https

Søg alternativer:
integrating expression » integration expression , integrating suppression , integrin expression
expression programming » expression profiling
program construction » programmed instruction
programming program » programming programmed , programming problem , programming problems
construction https » instruction https , conservation https , construction history

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Udgivet 2008

Indholdsfortegnelse: “... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...”
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: “... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”
Få fuldtekst

Electronisk eBog

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday /

Udgivet 2011

Indholdsfortegnelse: “..., and NMR: Answer Set Programming’s Contributions to Classical Logic: An Analysis of ASP Methodology...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
Få fuldtekst

Electronisk eBog

Integrated Graphic and Computer Modelling

af Thomas, Adrian., Thomas, Adrian.
Udgivet 2008

Indholdsfortegnelse: “...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
Få fuldtekst

Electronisk eBog

Reliable Software Technologies - Ada-Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach -- A Metamodel-Driven Process...”
Få fuldtekst

Electronisk eBog

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Udgivet 2010

Indholdsfortegnelse: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Få fuldtekst

Electronisk eBog

A Practical Introduction to PSL

af Eisner, Cindy., Eisner, Cindy., Fisman, Dana.
Udgivet 2006

Indholdsfortegnelse: “... -- Clocks -- Aborting a Property -- Some Convenient Constructs -- The Simple Subset -- The Boolean, Modeling...”
Få fuldtekst

Electronisk eBog

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
Få fuldtekst

Electronisk eBog

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
Få fuldtekst

Electronisk eBog

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /

Udgivet 2014

Indholdsfortegnelse: “... in Practice -- Theory of Test Modeling Based on Regular Expressions -- Integrating Separation Logic with PPTL...”
Få fuldtekst

Electronisk eBog

On the Move to Meaningful Internet Systems: OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 1010, Proceeding...

Udgivet 2010

Indholdsfortegnelse: “... and Processing -- Data Stream Analytics as Cloud Service for Mobile Applications -- On the Expressiveness...”
Få fuldtekst

Electronisk eBog

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...”
Få fuldtekst

Electronisk eBog

Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...”
Få fuldtekst

Electronisk eBog

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Approximations from Noisy Point Clouds -- Coresets for Discrete Integration and Clustering -- Self-assemblying...”
Få fuldtekst

Electronisk eBog

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...”
Få fuldtekst

Electronisk eBog

Expert F#

af Cisternino, Antonio., Cisternino, Antonio., Granicz, Adam., Syme, Don.
Udgivet 2007

Indholdsfortegnelse: “...Getting Started with F# and .NET -- Introducing Functional Programming -- Introducing Imperative...”
Få fuldtekst

Electronisk eBog

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... -- Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications -- A Business...”
Få fuldtekst

Electronisk eBog

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Få fuldtekst

Electronisk eBog

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
Få fuldtekst

Electronisk eBog

1
2
3
4
Næste »
[4]

Indsnæver søgning