Search Results - integrating expression programming programming constructs https

Search alternatives:
programming programming » programming programmed , programming program
integrating expression » integration expression , integrating suppression , integrin expression
expression programming » expression profiling
programming constructs » programming concepts , programming contest
constructs https » construction https , constructs loops , constructs arti

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

Published 2008

Table of Contents: “... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”
View full text

Electronic eBook

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

Published 2011

Table of Contents: “..., and NMR: Answer Set Programming’s Contributions to Classical Logic: An Analysis of ASP Methodology...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
View full text

Electronic eBook

Integrated Graphic and Computer Modelling

by Thomas, Adrian., Thomas, Adrian.
Published 2008

Table of Contents: “...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach -- A Metamodel-Driven Process...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
View full text

Electronic eBook

A Practical Introduction to PSL

by Eisner, Cindy., Eisner, Cindy., Fisman, Dana.
Published 2006

Table of Contents: “... -- Clocks -- Aborting a Property -- Some Convenient Constructs -- The Simple Subset -- The Boolean, Modeling...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
View full text

Electronic eBook

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...

Published 2010

Table of Contents: “... and Processing -- Data Stream Analytics as Cloud Service for Mobile Applications -- On the Expressiveness...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... in Practice -- Theory of Test Modeling Based on Regular Expressions -- Integrating Separation Logic with PPTL...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...”
View full text

Electronic eBook

Expert F#

by Cisternino, Antonio., Cisternino, Antonio., Granicz, Adam., Syme, Don.
Published 2007

Table of Contents: “...Getting Started with F# and .NET -- Introducing Functional Programming -- Introducing Imperative...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... -- Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications -- A Business...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Approximations from Noisy Point Clouds -- Coresets for Discrete Integration and Clustering -- Self-assemblying...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
View full text

Electronic eBook

Narrow Search